Formal Verification Engineer

Voltai; Palo Alto (CA); On-site; USD 120,000 - 160,000; Full time

Job summary

A cutting-edge technology company in Palo Alto is seeking a professional to build formal proofs of design correctness. This role involves collaboration with various teams and requires over 5 years of experience in formal verification tools. Candidates should be adept in model checking and assertion-based verification. Attractive opportunities await those with a strong background in verification.

Qualifications

• 5+ years of experience with formal verification tools.
• Experience with assertion‑based verification.
• Familiarity with model checking and property decomposition.

Responsibilities

• Build formal proofs of design correctness using model checking.
• Collaborate with RTL, verification, and ML research teams.
• Define formal properties and automate assertion synthesis.

Skills

JasperGold

VC Formal

assertion‑based verification

model checking

equivalence checking

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.

Qualifications

• 5+ years of experience with JasperGold, VC Formal, or similar formal verification tools
• Experience with assertion‑based verification (SVA)
• Experience with model checking and property decomposition
• Experience with equivalence checking, abstraction refinement, and formal coverage

Referrals increase your chances of interviewing at Voltai by 2x.