Remote Formal Verification Engineer: High-Performance CPUs

Tenstorrent is seeking a Formal Verification Engineer to verify high‑performance RISC‑V CPUs and AI compute platforms using formal methods. You will develop properties, run proofs, and analyze failures in collaboration with CPU architects and RTL designers. The role is remote, based out of North America or Spain, and open to candidates at various experience levels with offers aligned to level reached in the interview process.