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.
#J-18808-LjbffrCPU Formal Verification Architect in austin at Unknown Company
This position is listed as full time and onsite.