Formal Verification Scientist
Job Description
Ensuring the absolute correctness and reliability of AI systems, particularly in safety-critical domains, demands rigorous formal verification. As a Formal Verification Scientist, you will be pivotal in building trust in AI by using advanced formal methods and theorem proving, making AI systems not just intelligent, but also provably sound.
Key Responsibilities
Develop and evaluate training data for AI models focusing on formal methods, theorem proving, and program verification.
Evaluate AI-generated formal specifications and proofs for correctness, completeness, and adherence to logical principles.
Utilize Lean 4 to formalize properties of AI algorithms, data structures, and system behaviors.
Assess AI's ability to identify and resolve logical inconsistencies in code or system designs.
Create ground truth data for AI to learn from, demonstrating correct application of model checking, SMT solving, and interactive theorem proving.
Provide expert feedback on AI's attempts to generate or verify invariants, pre/post-conditions, and safety properties.
Ideal Qualifications
Ph.D. in Computer Science, Mathematics, or a related field with a specialization in formal methods or logic.
3• years of experience with formal verification tools and techniques (e.g., Lean 4, Coq, Isabelle/HOL, TLA+, SPIN).
Strong background in logic (propositional, predicate, temporal), set theory, and discrete mathematics.
Experience with program verification, including Hoare logic or weakest precondition calculus.
Familiarity with functional programming paradigms is a plus.
Ability to translate complex system requirements into formal specifications.
Make AI provably correct – join our formal verification experts!