Formal Verification Engineer

Voltai; United States; On-site; USD 150,000 - 210,000; Full time

Job summary

Voltai seeks an experienced verification engineer to build formal proofs of design correctness for advanced hardware systems. You will work with RTL, verification, and ML teams to develop scalable formal engines and automate assertion synthesis.

The role focuses on formal verification techniques such as model checking, property decomposition, and equivalence checking to ensure design correctness and reliability at scale.

Qualifications

• 5+ years of experience in formal verification or related fields.
• Proficiency with JasperGold, VC Formal, or similar tools.
• Experience with assertion-based verification (SVA) and model checking.

Responsibilities

• Develop formal proofs of design correctness using model checking and property verification.
• Collaborate with RTL, verification, and ML research teams to scale formal engines.
• Define formal properties, automate assertion synthesis, and verify AI-generated hardware.

Skills

JasperGold

VC Formal

Assertion-based verification

Model checking

Equivalence checking

Abstraction refinement

Formal coverage

Job description

About Voltai

Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.

About the Team

Backed by Silicon Valley’s top investors, Stanford University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys & GlobalFoundries, Head of Sales & CRO of Cadence, former US Secretary of Defense, National Security Advisor, and Senior Foreign-Policy Advisor to four US presidents.

About this Role

In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.

You might thrive if you have 5+ years of experience in

• JasperGold, VC Formal, or similar formal verification tools
• Assertion-based verification (SVA)
• Model checking and property decomposition
• Equivalence checking, abstraction refinement, and formal coverage