CPU Formal Verification Architect
Listed on 2026-10-18
-
Engineering
Test Engineer
Nuvacore is seeking Formal Verification Engineers at multiple levels to help validate a high-performance CPU using formal methods. You will translate micro-architecture specs into verifiable properties and build environments to prove them, working closely with the DV team.
Responsibilities include planning verification scope, creating formal models, and performing proof convergence with model and equivalence checking. Strong scripting and debugging skills are essential.
Consider building your career as a CPU Formal Verification Architect at Nuvacore.
The CPU Formal Verification Architect role at Nuvacore is now open for applications in Austin, TX, United States.
Join us at Nuvacore as our next CPU Formal Verification Architect in Austin, TX, United States.
We are currently recruiting a CPU Formal Verification Architect for our team in Austin, TX, United States.
This is an excellent opening to take on the CPU Formal Verification Architect role at Nuvacore.
(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).