Formal Verification Engineer

voltai.careers· Chips & Silicon
Apply Now ↗
📍 Palo Alto OfficeFullTime

About this role

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

Frequently Asked Questions

Is the salary disclosed for the Formal Verification Engineer position at voltai.careers?
The salary for this Formal Verification Engineer role at voltai.careers is not publicly listed. Click "Apply Now" to learn more about the compensation package on their official careers page.
Where is the Formal Verification Engineer position at voltai.careers located?
This Formal Verification Engineer role at voltai.careers is based in Palo Alto Office. The position is listed as on-site or hybrid. Check the full job description or apply directly to confirm the work arrangement.
Is the Formal Verification Engineer role at voltai.careers full-time or part-time?
This is listed as a FullTime position. It is posted as a Formal Verification Engineer role in the Chips & Silicon department at voltai.careers.
Which team or department does the Formal Verification Engineer at voltai.careers belong to?
This Formal Verification Engineer position is part of the Chips & Silicon department at voltai.careers. See the full job description for more information about the team structure and responsibilities.
How do I apply for the Formal Verification Engineer position at voltai.careers?
Click the "Apply Now" button on this page. You will be redirected to voltai.careers's official application portal hosted on ashby where you can submit your application directly.
When was the Formal Verification Engineer job at voltai.careers posted?
This Formal Verification Engineer position at voltai.careers was posted on Nov 12, 2025. Apply as soon as possible — early applications are often reviewed first.
Formal Verification Engineer
voltai.careers
Apply for this role ↗

You'll be redirected to voltai.careers's official application page on Ashby ATS.