Formal Verification Engineer

Volt AI
Palo Alto
Workplace: OnsiteFull timeFunction: Software EngineeringExperience: 5+ yearsSkills: ["Communication","Collaboration"]

We’re seeking a Formal Verification Engineer to build formal proofs of design correctness for AI-enabled hardware. You’ll use model checking, property verification, and equivalence analysis, collaborating with RTL, verification, and ML teams to develop hybrid formal engines that scale to AI-generated hardware. You’ll define formal properties and automate assertion synthesis to verify designs quickly and accurately.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Volt AI
Volt AI
10 months ago

Formal Verification Engineer

✓ Verified Job

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

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

Job Summary

We’re seeking a Formal Verification Engineer to build formal proofs of design correctness for AI-enabled hardware. You’ll use model checking, property verification, and equivalence analysis, collaborating with RTL, verification, and ML teams to develop hybrid formal engines that scale to AI-generated hardware. You’ll define formal properties and automate assertion synthesis to verify designs quickly and accurately.
Location: Palo Alto
Workplace: Onsite
Employment Type: Full time
Job Function: Software Engineering

Key Responsibilities

  • •Build formal proofs of design correctness using model checking, property verification, and equivalence analysis.
  • •Collaborate with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale.
  • •Define formal properties and automate assertion synthesis to enable rapid, scalable verification.
  • •Build systems that verify at the speed of thought and improve formal coverage across designs.
  • •Contribute to verification strategy and continue to advance formal verification methodologies within the team.

Key Requirements

  • •Experience with JasperGold, VC Formal, or similar formal verification tools
  • •Proficiency in assertion-based verification (SVA)
  • •Experience with model checking and property decomposition
  • •Experience with equivalence checking, abstraction refinement, and formal coverage
  • •Ability to define formal properties and automate assertion synthesis and verification workflows
Experience:5+ yearsHardwareSemiconductorsAI hardwareFormal verification
Skills:CommunicationCollaboration
Tech Stack:JasperGoldVC FormalSVAModel checkingProperty decompositionEquivalence checkingAbstraction refinementFormal coverage

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