Remote Lean 4 Proof Engineer: Formalize Advanced Math

A dynamic AI research firm is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. This role requires a strong mathematical background and experience with Lean and other proof assistants. You will convert informal mathematical proofs into precise formalizations while collaborating with researchers. The position offers competitive pay, flexible remote work, and opportunities to work on cutting-edge AI projects.
#J-18808-Ljbffr

Apply for this Position