Principal Formal Verification Engineer — Prove CPU Correctness
Listed on 2026-10-12
-
Engineering
Test Engineer, Quality Engineering, Validation Engineer, Hardware Engineer
NUVACORE is seeking Formal Verification Engineers at multiple levels to prove the correctness of its next-generation high-performance CPU using formal methods. You will convert micro-architecture specs into proving properties and build verification environments to exhaustively validate designs.
Roles span Senior Engineer to Principal, requiring deep experience in formal verification, model checking, and debugging counterexamples in collaboration with the design team.
This is a strong position to take on the Principal Formal Verification Engineer — Prove CPU Correctness role at NUVACORE.
The Principal Formal Verification Engineer — Prove CPU Correctness position in the IT & Technology, Engineering field is open for applications.
We have an opening for a Principal Formal Verification Engineer — Prove CPU Correctness in Austin, TX, United States within IT & Technology, Engineering.
This role, Principal Formal Verification Engineer — Prove CPU Correctness at NUVACORE, could be your next move.
(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).