Formal Verification Engineer

Full-time Multiple Levels US / Canada / India 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 level to help prove the Nuvacore CPU correct with formal methods. As part of the design verification (DV) team , you will turn micro-architecture specifications into properties, build the environments to prove them, and use model checking and equiva…