Senior Formal Verification Scientist — AI-Driven Hardware Proofs

Voltai; Palo Alto (CA); On-site; USD 140,000 - 210,000; Full time

Job summary

Voltai in California (Palo Alto) seeks a senior formal verification researcher to develop new methods for formal proofs of design correctness. You will collaborate with RTL, verification, and ML teams to scale AI-hardware verification, prototype ideas on real RTL, and turn research into practical systems.

You will work closely with cross-functional teams to drive advances in formal methods and create scalable verification tools for complex hardware.

Qualifications

• Research experience in formal methods, theorem proving, model checking, or program analysis.
• JasperGold, VC Formal, or similar formal verification tools.
• Assertion-based verification (SVA).
• Model checking and property decomposition.
• Equivalence checking, abstraction refinement, and formal coverage.

Responsibilities

• Develop formal verification methods for proofs of design correctness.
• Collaborate with RTL, verification, and ML teams to build hybrid engines.
• Prototype research ideas, evaluate on real RTL designs, and translate methods into practical systems.

Skills

Formal verification

Theorem proving

Model checking

Program analysis

Tools

JasperGold

VC Formal

SVA

Job description

Voltai in California (Palo Alto) seeks a senior formal verification researcher to develop new methods for formal proofs of design correctness. You will collaborate with RTL, verification, and ML teams to scale AI-hardware verification, prototype ideas on real RTL, and turn research into practical systems.

You will work closely with cross-functional teams to drive advances in formal methods and create scalable verification tools for complex hardware.