Formal Verification Engineer
Job Fit Check
Base Career helps you apply smarter for this job.
Key skills for this role
Role Overview
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
Key Skills for This Role
Full Job Posting
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
About Voltai
Building AI world models and agents for semiconductor design.
Apply for this job in 1 click
Skip the repetitive application forms
Install the Base Career Chrome Extension and autofill job applications across major job boards with your profile.
Trusted by over 500,000 job seekers on Base Career
More from this employer
More jobs at Voltai
Software Engineer
Palo Alto, USA
Operation Specialist
Palo Alto, USA
Senior Forward Deployed Engineer (FDE)
Palo Alto, USA
Research Engineer - CUDA Kernel Engineering
Palo Alto, USA
System Engineer
Palo Alto, USA
Power Electronics Engineer
Palo Alto, USA
Machine Learning Engineer
Palo Alto, USA
System Architect
Palo Alto, USA