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 ...
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 ...
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 ...
Quick apply
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 ...
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 ...
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 ...
Demonstrated programming ability and experience with typed or functional programming languages ... research, or formal verification. * Ability to work with GPT-5.6 and successor OpenAI models in ...
Demonstrated programming ability and experience with typed or functional programming languages ... research, or formal verification. * Ability to work with GPT-5.6 and successor OpenAI models in ...
Senior Formal Verification Engineer
Mountain View, CA · Hybrid
$123K - $169K/yr
This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You ... Informed of latest developments in formal verification research and industry practice, identify ...
Senior Formal Verification Engineer
Mountain View, CA · Hybrid
$123K - $169K/yr
This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You ... Informed of latest developments in formal verification research and industry practice, identify ...
Formal Verification Engineer
San Jose, CA · On-site
$250/hr
In this role, you will work closely with our AI engineering, research, and EDA teams to build advanced agentic AI systems for semiconductor verification. Your expertise in formal methods, property ...
Formal Verification Engineer
San Jose, CA · On-site
$250/hr
In this role, you will work closely with our AI engineering, research, and EDA teams to build advanced agentic AI systems for semiconductor verification. Your expertise in formal methods, property ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$134K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$134K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Senior Formal Verification Engineer
Mountain View, CA · On-site
$204K - $259K/yr
This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You ... Informed of latest developments in formal verification research and industry practice, identify ...
Senior Formal Verification Engineer
Mountain View, CA · On-site
$204K - $259K/yr
This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You ... Informed of latest developments in formal verification research and industry practice, identify ...
Formal Verification Engineer
San Jose, CA · On-site
$159K/yr
Formal Verification Engineer Location: San Jose, CA - Full Time We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced ...
Formal Verification Engineer
San Jose, CA · On-site
$159K/yr
Formal Verification Engineer Location: San Jose, CA - Full Time We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$115K - $194K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$115K - $194K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Beaverton, OR · On-site
$143K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Beaverton, OR · On-site
$143K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$115K - $194K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$115K - $194K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$184K - $324K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
Formal Verification Engineer
Austin, TX · On-site
$150K - $277K/yr
Description As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP ...
$100K/yr
About the Role We are seeking a Formal Verification Engineer to verify production hardware and ... research. We are looking for a rigorous problem-solver with expertise in formal verification that ...
$100K/yr
About the Role We are seeking a Formal Verification Engineer to verify production hardware and ... research. We are looking for a rigorous problem-solver with expertise in formal verification that ...
Formal Verification Research Engineer information
See salary details
$80K - $91.2K
1% of jobs
$91.2K - $102.5K
1% of jobs
$102.5K - $113.7K
1% of jobs
$113.7K - $124.9K
1% of jobs
$131.5K is the 25th percentile. Wages below this are outliers.
$124.9K - $136.1K
35% of jobs
The median wage is $138.3K / yr.
$136.1K - $147.4K
54% of jobs
$147.4K - $158.6K
1% of jobs
$158.6K - $169.8K
1% of jobs
$169.8K - $181K
2% of jobs
$181K - $192.3K
1% of jobs
$192.3K - $203.5K
1% of jobs
$80K
$142.6K
$203.5K
How much do formal verification research engineer jobs pay per year?
As of Sep 9, 2026, the average yearly pay for formal verification research engineer in the United States is $142,619.00, according to ZipRecruiter salary data. Most workers in this role earn between $136,000.00 and $136,000.00 per year, depending on experience, location, and employer.
What are popular job titles related to Formal Verification Research Engineer jobs?
For Formal Verification Research Engineer jobs, the most frequently searched job titles are:
Formal Verification Research Scientist
Palo Alto, CA • On-site
Voltai, Inc
Full-time
Re-posted 18 days ago
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 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
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 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