Formal Verification Research Scientist

Volt AI
Palo Alto
Workplace: OnsiteFull timeFunction: Data Science & Machine LearningExperience: 5+ yearsSkills: []

Develop new formal verification methods to prove hardware design correctness using model checking, property verification, and equivalence analysis. Collaborate with RTL, verification, and ML research teams to build hybrid formal engines for AI-generated hardware at scale. Define formal properties, automate assertion synthesis, prototype and evaluate research ideas on real RTL designs, and help turn novel methods into practical verification systems.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Volt AI
Volt AI
1 month ago

Formal Verification Research Scientist

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 14 hours agoStatus: Live

Job Summary

Develop new formal verification methods to prove hardware design correctness using model checking, property verification, and equivalence analysis. Collaborate with RTL, verification, and ML research teams to build hybrid formal engines for AI-generated hardware at scale. Define formal properties, automate assertion synthesis, prototype and evaluate research ideas on real RTL designs, and help turn novel methods into practical verification systems.
Location: Palo Alto
Workplace: Onsite
Employment Type: Full time
Job Function: Data Science & Machine Learning
Seniority: Mid level

Key Responsibilities

  • •Develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis.
  • •Collaborate with RTL, verification, and ML research teams to build hybrid formal engines that reason about AI-generated hardware at scale.
  • •Define formal properties and automate assertion synthesis to improve verification effectiveness and speed.
  • •Prototype research ideas and evaluate them on real RTL designs.
  • •Work with RTL, ML, and verification teams to turn novel methods into practical verification systems.

Key Requirements

  • •5+ years of research experience in formal methods, theorem proving, model checking, or program analysis
  • •Experience with formal verification tools such as JasperGold or VC Formal
  • •Hands-on assertion-based verification using SVA (SystemVerilog Assertions)
  • •Strong skills in model checking and property decomposition
  • •Experience with equivalence checking, abstraction refinement, and formal coverage
Experience:5+ yearsFormal methodsHardware verificationSemiconductorRTL
Tech Stack:Formal methodsTheorem provingModel checkingJasperGoldVC FormalAssertion-based verificationSVAProperty decompositionEquivalence checkingAbstraction refinement

Company Brief

Volt AI
Builds AI-driven software and solutions to automate business workflows, extract insights, and augment decision-making for enterprise customers across industries.
Industry: Enterprise Software
Website