Formal Mathematics Specialist (Lean / Coq / Isabelle)
Posted 9 Nov 2026
$80–130/hr
ApplyPlatform
Mercor
Work
Remote · Part time · 20 hrs/wk · United States
Eligibility
Open to United States
Field
Science & research
Skills
Formal MathematicsLean 4MathlibCoqRocqIsabelle/HOLInteractive Theorem ProvingFormal VerificationFormalized ProofsProof-Based MathematicsAlgebraAnalysisNumber TheoryCombinatoricsMathematical Logic
About this role
Join a leading AI lab's cutting-edge GenAI team to be at the core of the AI revolution, where your expertise fuels the development of the most advanced Large Language Models. 1. Overview Join a leading AI lab's cutting-edge GenAI team and help build foundational AI models from…
Read the full description on MercorDisclosure: Skillora is independent of Mercor. The apply button carries our referral code, and if you are placed, Mercor pays Skillora a fee. It does not change what you are paid. If Mercor asks you to confirm a referrer, it is Skillora’s founder.