Remote Formal Verification Engineer CPUs
Oakland, Alameda County, California, 94601, USA
Listed on 2026-10-27
-
Engineering
Test Engineer
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.
The following role is for a Remote Formal Verification Engineer:
High-Performance CPUs with Tenstorrent.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Remote Formal Verification Engineer:
High-Performance CPUs role in the description above.
We appreciate your interest in this position.
Join Tenstorrent and contribute to our ongoing work.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).