Formal Verification Research Scientist
- Location
- Palo Alto, CA · On-site
- Job type
- Full-time
- Level
- Senior
- Experience
- 5+ years
- Listed
- 23 days ago
Skills & highlights for this role
- formal verification
- model checking
- SystemVerilog Assertions (SVA)
- equivalence checking
Also useful
- JasperGold
- VC Formal
About this Role
In this role, you’ll develop new formal verification methods to enable 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 will prototype research ideas, evaluate them on real RTL designs, and work closely with RTL, ML, and verification teams to turn novel methods into practical systems.
You might thrive if you have 5+ years of experience in
- Research experience in formal methods, theorem proving, model checking, or program analysis
- 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
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.
From Voltai's careers page, first listed on Rolev.ai on October 17, 2026. Rolev.ai is not the employer.
How Rolev.ai helps with this application
Rolev.ai is a job search and application tool for US job seekers. For this Formal Verification Research Scientist role at Voltai, it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.
See how you fit
Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.
Tailor without inventing
Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.
Draft the full kit
Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.
1-Click Extension Autofill
The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.
Similar roles
All Research Scientist jobs- AI Research Intern: Wireless Foundation ModelsBosch Group · Pittsburgh, PA · Junior/ Lower Tariff
- Research, Pre-Training DataThinking Machines Lab · San Francisco, CA
- Member of Technical Staff, Post-Training, RLMirendil · San Francisco, CA
- Research ScientistLatent · San Francisco, CA
- Principal Researcher, Office Product GroupMicrosoft · Redmond, WA
- Research Member of Technical Staff- Video Generation ModelingRhoda AI · Mountain View, CA
Common questions
Where is the Formal Verification Research Scientist job at Voltai located?
This Formal Verification Research Scientist position at Voltai is located in Palo Alto, CA (On-site). Always check Voltai's application page for specific state eligibility or relocation policies.
What qualifications are required for Formal Verification Research Scientist at Voltai?
For the Formal Verification Research Scientist role, Voltai highlights 5+ years of relevant experience; experience with formal verification, model checking, SystemVerilog Assertions (SVA), equivalence checking. Rolev.ai can score your existing resume against these requirements and show any skill gaps before you apply.
How do I apply for the Formal Verification Research Scientist position at Voltai?
This listing links directly to Voltai's Ashby application page. You can apply directly on Voltai's site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the Ashby application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.