AI training jobs for mathematicians and statisticians
32 live math & statistics roles today. The median hourly listing pays $100, and the best pays up to $200. 10 ask for a PhD. AI labs pay for this work because models need experts to write, check and grade answers in the field.
Median hourly by platform
- Alignerr (23)$185
- Handshake AI (6)$75
- Mercor (3)$70
Spread of hourly pay, median marked
- AlignerrNew
Applied Formal Methods Researcher (Lean 4)
Math & statistics · Remote · 38 locations
$170-200/hr - AlignerrNew
Formal Verification Scientist (Lean 4 & Mathlib)
Math & statistics · Remote · 29 locations
$170-200/hr - AlignerrNew
Lean 4 Mathematical Formalization Expert
Math & statistics · Remote · 2 locations
$170-200/hr - AlignerrNew
Lean 4 Proof Engineer - Mathematical Formalization
Math & statistics · Remote · 29 locations
$170-200/hr - AlignerrNew
Mathematician – Formal Proof & AI Foundations
Math & statistics · Remote · 3 locations
$170-200/hr - AlignerrNew
Mathematician – Formal Proof & AI Research
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician – Formal Systems & AI Foundations
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician – Formalization & AI Foundations
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician – Foundations & Formal Proof (AI Training)
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician – Foundations & Formalization (AI Research Contract)
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician – Proof Formalization & AI Research
Math & statistics · Remote
$170-200/hr - AlignerrNew
Mathematician (Foundations / Formalization)
Math & statistics · Remote · 2 locations
$170-200/hr - AlignerrNew
Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)
Math & statistics · Remote
$170-200/hr - AlignerrNew
Researcher - Lean 4 & Formal Proof Systems
Math & statistics · Remote · 32 locations
$170-200/hr - AlignerrNew
Mathematical Formalization Specialist
Math & statistics · Remote · 20 locations
$50-150/hr - AlignerrNew
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Math & statistics · Remote · 2 locations
$50-150/hr - AlignerrNewPhD
Mathematician, PhD
Math & statistics · Remote · 2 locations
$90-120/hr - AlignerrNew
Math Expert
Math & statistics · Remote · 2 locations
$20-120/hr - AlignerrNew
Statistics Expert
Math & statistics · Remote · 2 locations
$20-120/hr - Mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Math & statistics · Remote
$90-110/hr - AlignerrNewPhDMaster's
Mathematics Expert (Masters/PhDs)
Math & statistics · Remote · 21 locations
$75-90/hr - AlignerrNewPhDMaster's
Mathematics Researcher (Masters/PhDs)
Math & statistics · Remote · 21 locations
$75-90/hr - AlignerrNewPhDMaster's
Mathematics Specialist (Masters/PhDs)
Math & statistics · Remote · 21 locations
$75-90/hr - Mercor
Mathematician Talent Network
Math & statistics · Remote
$60-80/hr - Handshake AIPhD
Math Expert
Math & statistics · United States
$75/hr - Handshake AIPhD
Mathematics Expert
Math & statistics · United States
$75/hr - Handshake AIPhDMaster's
Statistical Modeling Researcher
Math & statistics · United States
$75/hr - Handshake AIPhDMaster's
Statistician
Math & statistics · United States
$75/hr - Mercor
Mathematics Expert
Math & statistics · Remote
$40-75/hr - AlignerrNewPhD
Math Expert or Specialist
Math & statistics · Remote · 2 locations
$40-60/hr - Handshake AIMaster's
Math Specialist
Math & statistics · United States
$50/hr - Handshake AIPhD
Mathematics Expert (India)
Math & statistics · United States
$47/hr
Disclosure: Mercor and micro1 pay us a referral bonus if someone we send gets hired. Neither program's rules deduct it from your pay, and roles are ranked by pay, never by bonus. How we make money