Principal Formal Verification Engineer; CPU
-
Engineering
Job Description & How to Apply Below
NUVACORE is building a high-performance, low-power CPU and seeks Formal Verification Engineers from Senior to Principal levels to prove correctness with formal methods. You will convert micro-architecture specs into properties, build formal environments, and drive proofs using model checking and equivalence checking.
As part of the DV team, you will collaborate with design engineers to chase deep bugs, establish coverage, and automate flows with Python/TCL.
The Principal Formal Verification Engineer (CPU) role at NUVACORE is now open for applications in Santa Clara, CA, United States.
For the Principal Formal Verification Engineer (CPU) position at NUVACORE, we are reviewing applications now.
Step into the Principal Formal Verification Engineer (CPU) role at NUVACORE in Santa Clara, CA, United States and grow with us.
Please review the full job details above before applying.
(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).
View / Apply for Jobs
Matching My Jurisdiction