ZipRecruiter

Log In

1

Verification Researcher Jobs in California (NOW HIRING)

Kardion

Verification Manager

Irvine, CA · On-site

Support onsite R&D work in Irvine by ensuring the right equipment and processes are in place and accessible to engineering. * Participate in product verification activities at the Stuttgart site ...

ChipAgents

Formal Verification Engineer

San Jose, CA · On-site

$350K/yr

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 ...

Voltai

Formal Verification Engineer

Palo Alto, CA · On-site

$159K/yr

We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc ... You'll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal ...

Voltai, Inc

Formal Verification Engineer

Palo Alto, CA · On-site

$159K/yr

We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc ... You'll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal ...

Waymo

Senior Formal Verification Engineer

Mountain View, CA · Hybrid

$123K - $169K/yr

Informed of latest developments in formal verification research and industry practice, identify opportunities for Waymo's silicon development process * Experience in formally proving correctness of ...

Intel

Physical Verification Engineer

Santa Clara, CA · On-site

$159K/yr

Key Responsibilities Physical Verification Support & Issue Resolution * Provide comprehensive ... research. The preferred qualifications are in addition to the minimum requirements and are ...

Waymo

Senior Formal Verification Engineer

Mountain View, CA · On-site

$204K - $259K/yr

Informed of latest developments in formal verification research and industry practice, identify opportunities for Waymo's silicon development process * Experience in formally proving correctness of ...

Voltai, Inc

Design Verification Engineer

Palo Alto, CA · On-site

$159K - $195K/yr

We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc ... As a Senior Verification Engineer, your role isn't just verifying chips but redefining how teams ...

Voltai

Design Verification Engineer

Palo Alto, CA · On-site

$159K - $195K/yr

We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc ... As a Senior Verification Engineer, your role isn't just verifying chips but redefining how teams ...

Skyworks

$154K/yr

Research, evaluate, and deploy AI/ML tools and techniques to enhance verification quality, predict bugs earlier, enable intelligent coverage closure, and improve overall efficiency * Develop and ...

next page

Showing results 1-20

All JobsVerification Researcher JobsVerification Researcher Jobs in California

Verification Researcher information

See California salary details

$29.6K

$111.6K

$162.3K

How much do verification researcher jobs pay per year?

As of Aug 1, 2026, the average yearly pay for verification researcher in California is $111,621.00, according to ZipRecruiter salary data. Most workers in this role earn between $66,100.00 and $152,000.00 per year, depending on experience, location, and employer.

What is a Verification Researcher job?

A Verification Researcher is responsible for developing and applying formal methods, mathematical proofs, and automated verification techniques to ensure the correctness of hardware or software systems. They work on verifying algorithms, protocols, or complex designs to detect errors before implementation. This role often involves using formal verification tools, model checking, and theorem proving. Verification Researchers collaborate with engineers and developers to improve system reliability and security. Their work is crucial in industries like semiconductor design, cybersecurity, and safety-critical systems such as automotive or aerospace.

What are the typical daily responsibilities of a Verification Researcher?

As a Verification Researcher, your daily tasks usually include designing and executing tests or experiments, reviewing documentation, analyzing results to identify inconsistencies or errors, and reporting findings to development or engineering teams. You may also participate in meetings to refine verification strategies, collaborate closely with product designers, and help establish best practices for quality assurance. The role often involves using specialized software tools and keeping up with evolving verification methodologies. This variety ensures you stay engaged and continuously contribute to the improvement of products or systems. You'll have opportunities to grow your expertise in testing and validation while making a meaningful impact on your organization's reliability standards.

What are the key skills and qualifications needed to thrive in the Verification Researcher position, and why are they important?

To excel as a Verification Researcher, you should possess strong analytical skills, attention to detail, and a relevant degree such as in engineering, computer science, or a related field. Familiarity with verification tools and methodologies (such as formal verification software, simulation environments, or industry certifications like ISTQB) is often required. Excellent communication, critical thinking, and collaboration abilities help you work effectively within multidisciplinary teams. These competencies are essential for ensuring the accuracy, reliability, and compliance of products or systems being verified.

What are popular job titles related to Verification Researcher jobs in California? For Verification Researcher jobs in California, the most frequently searched job titles are:
What job categories do people searching Verification Researcher jobs in California look for? The top searched job categories for Verification Researcher jobs in California are:
Verification Researcher jobs near you
Infographic showing various Verification Researcher job openings in California as of July 2026, with employment types broken down into 1% As Needed, 87% Full Time, 7% Part Time, 1% Temporary, and 4% Contract. Highlights an 89% Physical, 4% Hybrid, and 7% Remote job distribution, with an average salary of $111,621 per year, or $53.7 per hour.

Formal Verification Research Scientist

Voltai, Inc

Palo Alto, CA • On-site

Full-time

Posted 9 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
  • 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

Apply