Formal Verification Engineer - AI

About the role

We are looking for exceptional analytical minds to join our verification team. Our work centers on a hard and rewarding problem: mathematically proving that complex systems behave exactly as specified — no edge cases, no exceptions.

Key Responsibilities

• Develop and apply formal verification environments for complex systems.
• Translate specifications and design documents into rigorous formal properties.
• Perform property checking, model checking, and automated proof development; debug and root-cause counterexamples.
• Improve verification coverage, methodology, and reusability across projects.
• Develop scripts and utilities to support verification productivity.

Required Qualifications

• BS, MS, or Ph.D. in Computer Science, Mathematics, Physics, or another rigorous quantitative field.
• Demonstrated strength in mathematical reasoning — through formal verification experience, research, competition mathematics, or comparable evidence of rigor.
• Solid programming skills (e.g., Python, C++) and the drive to rapidly master new tools and domains.

Preferred Qualifications

• Hands-on experience with formal verification: model checking, property specification, or automated theorem proving.
• Experience with interactive theorem provers (e.g., Coq, Lean, Isabelle, ACL2) or SMT solvers (e.g., Z3, CVC5).
• Experience building verification tooling or contributing to open-source formal methods projects.
• Background in logic, type theory, discrete mathematics, or mathematical physics.

What We Offer

• The chance to work on genuinely hard correctness problems where rigor matters.
• Mentorship from experienced formal methods engineers and a structured ramp-up into the field.
• A culture that values depth, precision, and first-principles thinking.