Formal Verification Engineer

Highlights

• Verify production hardware and software using Aristotle reasoning agent.
• Find edge cases and silent bugs before mission-critical code ships.
• Shape product and research with direct insights from the field.

What they offer

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

Ideal candidate

A rigorous problem-solver who loves proof and thrives in unfamiliar codebases. You enjoy working directly with customers, translating critical intent into guarantees and pushing verification boundaries.

Requirements

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