CPU Formal Verification Architect

NUVACORE, Inc.; Town of Texas, Northern (WI, KY); Hybrid; USD 140,000 - 230,000; Full time

Job summary

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 to Principal—to prove the CPU correct with formal methods, working with the DV team on properties, environments, and proofs.

Responsibilities include driving verification scope, building formal environments, conducting proofs, debugging counterexamples with designers, and automating the end-to-end formal flow using

Qualifications

• Degree in Electrical/Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience.
• 15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience with hands-on formal verification.
• Hands-on formal techniques—model checking and/or equivalence checking—through to proof convergence.
• Strong Verilog/SystemVerilog and assertions/temporal logic.
• Strong knowledge of CPU micro-architecture and digital logic.
• Strong scripting (Python; TCL/Perl a plus), analytical, and debugging skills.

Responsibilities

• Plan & Strategy: Drive the verification scope and formal test plan for each problem.
• Formal Environment: Build assumptions, constraints, assertions, and cover properties.
• Proof & Bug Hunting: Apply model checking, equivalence checking, and abstraction to prove correctness.
• Debug & Design Feedback: Debug counterexamples and collaborate with designers to fix issues.
• Flow & Automation: Build end-to-end formal flow and shared assertion libraries.
• Cross-functional Collaboration: Review formal setups and proofs with the design team.

Skills

Formal verification

Model checking

Equivalence checking

Verilog/SystemVerilog

Python scripting

Debugging

CPU architecture

Temporal logic

Education

Bachelor's degree in Electrical/Computer Engineering, CS, or Mathematics

Tools

Cadence JasperGold

Synopsys VC Formal

Siemens Questa Formal

Job description

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 to Principal—to prove the CPU correct with formal methods, working with the DV team on properties, environments, and proofs.

Responsibilities include driving verification scope, building formal environments, conducting proofs, debugging counterexamples with designers, and automating the end-to-end formal flow using