Formal Verification Engineer
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
Recommended Jobs
Payments Operations Lead
A dynamic financial software company is seeking a Payment Operations Specialist responsible for overseeing electronic payment transactions, ensuring compliance, and optimizing processes. Candidates sh…
Client Relationship Consultant 2 (Banker) - Delano, CA (35hrs)
At U.S. Bank, we’re on a journey to do our best. Helping the customers and businesses we serve to make better and smarter financial decisions and enabling the communities we support to grow and succee…
Dentist (DDS/DMD)- California
Dentist (DDS/DMD) Position Summary The Dentist provides comprehensive oral healthcare services, including preventive, restorative, and diagnostic dental care. This role focuses on promoting oral…
SAP - Project Systems - Manager - Consulting - Location OPEN
Location: Anywhere in Country At EY, we’re all in to shape your future with confidence. We’ll help you succeed in a globally connected powerhouse of diverse teams and take your career wherever …
Residential Mortgage Lending Advisor
A major global financial services provider is seeking a Mortgage Lending Officer in San Jose, California, to engage customers and provide financial advisory services related to home ownership. This r…
FOOD ADMINISTRATOR I (CORRECTIONAL FACILITY)
Job Description and Duties Effective July 1, 2025, in accordance with the applicable Memorandum of Understanding, the Personal Leave Program 2025 (PLP 2025) was implemented. PLP 2025 requires each…
SOC Engineering, Operations Manager
We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. W…
Physician Assistant Practitioner, Bakersfield, CA
$205,000 Per Year Practicing Half the Month in Bakersfield, CA Position: Physician Assistant or Family Nurse Practitioner - All new grads are welcome to apply and all training will be provided onsit…
BISO, Product Security
*To get the best candidate experience, please consider applying for a maximum of 3 roles within 12 months to ensure you are not duplicating efforts.*Job CategoryProductJob Details****About Salesforce*…
Emergency Medical Technician - EMT
Position Summary As an EMT, your mission is to maximize effective unit hours to best serve our community with responsiveness and professionalism. You will provide high-quality care, treatment, and t…