Remote Lean 4 Proof Engineer: Formalize Advanced Math

A leading AI research partner is seeking a Lean 4 Proof Engineer for mathematical formalization. The role emphasizes translating informal proofs into structured, formal documentation using Lean. Ideal candidates are mathematicians with a Master’s degree, strong in proof writing and verification. Responsibilities include analyzing mathematical arguments, collaborating with researchers, and pushing the boundaries of formal verification. This opportunity offers competitive pay and flexible remote work arrangements.
#J-18808-Ljbffr

Apply for this Position