Formal Verification Engineer

Highlights

• Verify production hardware and software with Aristotle formal reasoning agent.
• Translate customer design intent into precise properties and reproducible proofs.
• Feed field observations back to improve product and research direction.

What they offer

• Unlimited PTO
• 401(k) matching
• 100% employer-paid health, vision and dental for employees and 50% for dependents
• Health Savings Account available for qualifying health plans

Ideal candidate

A rigorous, adaptable problem-solver who loves mathematical precision and customer-facing technical work, thriving in unfamiliar domains to turn critical real-world systems into provably correct results.

Requirements

• BS in Computer Science, Mathematics or related field or equivalent industry experience
• Direct experience in hardware verification, software verification or interactive theorem proving
• Proficiency with at least one proof assistant and strong foundation in formal methods and logic
• Proficiency in programming languages such as Python, C++ or Matlab
• Ability to independently navigate complex concepts and manage risks and deadlines
• Ability to communicate clearly with technical and non-technical customer audiences