About this role
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…
Details
- Pay: $90–$110/hr
- Location: Remote
- Type: 20 hrs/wk
- Domain: Coding
- Skills: Life, Physical, and Social Science
- Posted: Sep 30, 2026
About Mercor
Expert contracts with top AI labs: doctors, lawyers, engineers, PhDs and more. Hourly pay, fully remote. Typical pay is $30 – $200+/hr. See all Mercor jobs.
DomainExpert Jobs lists this role from Mercor. Pay, requirements and availability are set by Mercor and can change, so check the details there before you apply.