1

Verification Researcher Jobs (NOW HIRING)

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

Verification Specialist SmartHRCheqs, a division of Alliance Risk Group, provides comprehensive ... Communicate professionally with internal staff, clients, vendors, researchers, employers, and ...

R&D Verification Engineer II

Loveland, CO · On-site

$139K/yr

Health benefits * 401(k) Reporting to the Product Assurance Engineering Manager, the R&D Verification Engineer II is responsible for contributing to the design, development, and sustainment of water ...

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

Researcher

Cleveland, OH · On-site

$26/hr

Contact the contractual chain by phone and email to verify and/or confirm project information. * Conduct project research using internet-based tools to verify and/or obtain information at the county ...

Researcher

Cleveland, OH · On-site

$26/hr

Contact the contractual chain by phone and email to verify and/or confirm project information. * Conduct project research using internet-based tools to verify and/or obtain information at the county ...

Researcher

Cleveland, OH · On-site

$26/hr

Contact the contractual chain by phone and email to verify and/or confirm project information. * Conduct project research using internet-based tools to verify and/or obtain information at the county ...

Verification Engineer II

Chaska, MN · On-site

$90K - $110K/yr

... and research laboratories, and physician offices around the world. Every hour around the world ... The Verification Engineer II is responsible for leading and executing verification and validation ...

Verification Engineer II

Chaska, MN · On-site

$90K - $110K/yr

... and research laboratories, and physician offices around the world. Every hour around the world ... The Verification Engineer II is responsible for leading and executing verification and validation ...

next page

Showing results 1-20

Verification Researcher information

See salary details

$30K

$113.1K

$164.5K

How much do verification researcher jobs pay per year?

As of Jul 15, 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 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.

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:
Senior Formal Verification Engineer

Senior Formal Verification Engineer

Waymo

Mountain View, CA • Hybrid

$123K - $169K/yr

Other

Re-posted 4 days 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