DirectJobHub
Jobs · Quality Assurance · California

Formal Verification Engineer

Voltai · Palo Alto, CA · 8 mo ago
On-siteQuality AssuranceFull-time

About the 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 toolsAssertion-based verification (SVA)Model checking and property decompositionEquivalence checking, abstraction refinement, and formal coverage.

Responsibilities

  • Build formal proofs of design correctness using model checking, property verification, and equivalence analysis.
  • Collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale.
  • Define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.
  • Experience with JasperGold, VC Formal, or similar formal verification tools.
  • Experience with Assertion-based verification (SVA).
  • Experience with Model checking and property decomposition.
  • Experience with Equivalence checking, abstraction refinement, and formal coverage.

Requirements

  • 5+ years of experience in formal verification tools.
  • Experience with Assertion-based verification (SVA).
  • Experience with Model checking and property decomposition.
  • Experience with Equivalence checking, abstraction refinement, and formal coverage.

Qualifications

  • PhD in Computer Science, Electrical Engineering, or related field.
  • Strong background in formal methods and verification techniques.
  • Experience with hardware design and verification.
  • Ability to work effectively in a multidisciplinary team environment.

Skills

  • Formal verification tools (JasperGold, VC Formal, etc.)
  • Assertion-based verification (SVA)
  • Model checking and property decomposition
  • Equivalence checking, abstraction refinement, and formal coverage

Benefits

  • Competitive compensation package
  • Flexible working hours
  • Professional development opportunities
  • Work-life balance

Pay

Competitive compensation package

Schedule

Flexible working hours

Benefits

  • Professional development opportunities
  • Work-life balance

Similar jobs