Loading opportunity…
All opportunities
AI Training · part-time
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Help a leading AI lab teach its models to write real, machine checked mathematics in Lean. 1\. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.…
PLATFORMMercor
LOCATIONRemote
PAY$90–$110/hr
SCHEDULE20 hrs/week
LAST CHECKED1 Oct 2026
THE OPPORTUNITY
Put your skills to work.
Help a leading AI lab teach its models to write real, machine checked mathematics in Lean. 1\. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.…
Relevant skills
Life, Physical, and Social ScienceLean EngineerFormal Mathematics
A few things to check
- Location and experience requirements.
- Schedule, compensation, and assessment process.
- Current availability on Mercor.