Senior/Principal Formal Verification Engineer

Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels—from Senior Engineer to Principal—to prove the CPU correct with formal methods.

As part of the design verification team, you will turn micro-architecture specifications into properties, build environments, and use model checking to hunt bugs before silicon, collaborating with the design team.