Remote Lean 4 Proof Engineer: Formalize Advanced Math

A leading AI research collaboration is seeking a Lean 4 Proof Engineer to formalize advanced mathematical proofs for cutting-edge AI research. Ideal for mathematicians, this remote position involves translating informal proofs into structured formalizations and collaborating with researchers to enhance formal verification tools. Applicants should have a Master's degree in a related field and experience with Lean and rigorous proof writing. Competitive pay and flexible work hours offered.
#J-18808-Ljbffr

Apply for this Position