Remote Lean 4 Proof Engineer: Formalize Advanced Math

A leading AI research firm is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. This remote position offers $70–$150 per hour for mathematicians passionate about formal verification. Candidates should have a Master’s degree in Mathematics or a related field, with preferred experience in Lean and rigorous proof writing. Join a team working on cutting-edge AI models and enjoy competitive pay, autonomy, and the potential for contract extension.
#J-18808-Ljbffr

Apply for this Position