ZipRecruiter

Log In

1

Verification Researcher Jobs (NOW HIRING)

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

Kardion

Verification Engineer Manager

Irvine, CA · On-site

$146K/yr

You'll bring a strong understanding of both R&D and product testing, with the ability to translate that knowledge into practical, effective verification strategies. If you thrive in environments ...

ChipAgents

Design and Verification Engineer

San Jose, CA · On-site

$150 - $350/hr

In this role, you will work side‑by‑side with our AI engineering and research groups to build ... Your deep domain expertise in RTL design and functional verification will shape how AI systems ...

KENTECH Consulting

VERIFICATION SPECIALIST:

$17.50 - $21.50/hr

Key Responsibilities • Verification and Outreach, contact employers, educational institutions ... Apply Now If you are a detail-driven professional with strong communication and research skills, we ...

Intel

Physical Verification Engineer

Hillsboro, OR

$148K/yr

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

previous pagenext page

Showing results 21-40

All JobsVerification Researcher Jobs

Verification Researcher information

See salary details

$30K

$113.1K

$164.5K

How much do verification researcher jobs pay per year?

As of Aug 9, 2026, the average yearly pay for verification researcher in the United States is $113,102.00, according to ZipRecruiter salary data. Most workers in this role earn between $67,000.00 and $154,000.00 per year, depending on experience, location, and employer.

What is a verification researcher?

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.

More about Verification Researcher jobs
What cities are hiring for Verification Researcher jobs? Cities with the most Verification Researcher job openings:
What states have the most Verification Researcher jobs? States with the most job openings for Verification Researcher jobs include:
What job categories do people searching Verification Researcher jobs look for? The top searched job categories for Verification Researcher jobs are:
Verification Researcher jobs near you
Infographic showing various Verification Researcher job openings in the United States as of August 2026, with employment types broken down into 1% As Needed, 80% Full Time, 14% Part Time, 4% Contract, and 1% Nights. Highlights an 91% Physical, 2% Hybrid, and 7% Remote job distribution, with an average salary of $113,102 per year, or $54.4 per hour.

Senior Formal Verification Engineer

Waymo

Mountain View, CA • Hybrid

$123K - $169K/yr

Full-time

Re-posted 3 hours ago

Job description

Waymo's Compute Team is tasked with a critical and exciting mission: We deliver the compute platform responsible for running the fully autonomous vehicle's software stack. To achieve our mission, we architect and create high-performance custom silicon; we develop system-level compute architectures that push the boundaries of performance, power, and latency; and we collaborate closely with many other teammates to ensure we design and optimize hardware and software for maximum performance. We are a multidisciplinary team seeking curious and talented teammates to work on one of the world's highest performance automotive compute platforms.

This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead.

You will:

  • Define and drive formal strategy for first-pass silicon success. Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC, etc.)
  • Architect robust and scalable FV environments. Develop and deploy reusable formal testbenches, methodology flows, and high-coverage SVA assertion suites for systemic deployment across multiple design blocks and projects
  • Technical leadership & mentorship. Serve as the team's formal Subject Matter Expert, training and guiding logic designers and verification engineers to effectively incorporate formal methods into their workflows
  • Strategic planning and test plan execution. Collaborate with Architecture and Design teams to translate complex system and IP specifications into comprehensive formal verification test plans
  • Drive FV Infrastructure & Reporting. Maintain and enhance continuous integration, regression flows, and dashboarding to provide clear, actionable formal verification status and sign-off metrics to leadership
  • Advanced bug-hunting and debugging. Apply state-of-the-art formal techniques (e.g., assume-guarantee, abstractions, reductions) to tackle and efficiently decompose the most challenging, intractable verification problems

You have:

  • BS/MS/PhD in CS/EE or related field, combined with 5+ years of hands-on formal verification experience on shipping silicon products
  • Deep, expert-level proficiency with at least one major commercial formal verification platform (e.g., Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal)
  • High level language proficiency in C++ and/or Python
  • Ability to model complex designs in SystemVerilog and advanced SystemVerilog Assertions, including writing complex cut-points and environment models for effective formal proof convergence
  • Proven track record in applying advanced formal debug techniques for problem decomposition (e.g., clock domain crossings, abstractions, assume-guarantee reasoning)
  • Excellent verbal and written communication skills with the ability to influence cross-functional teams (Design, Architecture, Software) and drive technical alignment

We prefer:

  • 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 arithmetic units such as floating point adders and multipliers
  • Knowledge/experience working with NOCs and networking topologies, protocols (Eg. AXI/AMBA)
  • Understand basic principles of cache coherency
  • Experience with high-performance designs

Apply