1

Verification Researcher Jobs (NOW HIRING)

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

Employment Verification Specialist

$17.50 - $21.50/hr

... research, the next steps to verify the information Answer inbound calls on a multi-line phone system for the Verifications Department Conduct internet research to verify education and employment ...

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

Be Seen First

We are seeking a detail-oriented Verification Specialist to join our lending operations team. This ... researching customer information to ensure compliance with company policies and lending ...

Accurately document all research, communications, attempts, and verification results within company systems. * Analyze information received from verification sources and compare it against applicant ...

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

Physical Verification Engineer

Hillsboro, OR · On-site

$148K/yr

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

Insurance Verification

Huntsville, AL · On-site

$16.75 - $21.50/hr

... research and involvement in Phase I-IV clinical trials gives our patients the opportunity to ... Monthly verification of all insurance including managed care policies. Notify other departments of ...

Insurance Verification

Huntsville, AL · On-site

$16.75 - $21.50/hr

... research and involvement in Phase I-IV clinical trials gives our patients the opportunity to ... Monthly verification of all insurance including managed care policies. Notify other departments of ...

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

Showing results 21-40

Verification Researcher information

See salary details

$30K

$113.1K

$164.5K

How much do verification researcher jobs pay per year?

As of Sep 2, 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:

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, 15% Part Time, 3% Contract, and 1% Nights. Highlights an 90% Physical, 3% Hybrid, and 7% Remote job distribution, with an average salary of $113,102 per year, or $54.4 per hour.

Formal Verification Engineer

Voltai, Inc

Palo Alto, CA • On-site

$159K/yr

Full-time

Re-posted 23 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 build 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 might thrive if you have 5+ years of experience in
  • JasperGold, VC Formal, or similar formal verification tools
  • Assertion-based verification (SVA)
  • Model checking and property decomposition
  • Equivalence checking, abstraction refinement, and formal coverage