Mathematics Specialist - The United States
$50-70
SME Careers • 🎓 Any • 4d ago
Mathematics AI Training
Remote Mathematics & Formal Verification AI Jobs
Mathematics experts are critical for frontier AI training. These roles involve formal proof verification (using Lean 4), abstract algebra evaluation, calculus problem assessment, and discrete mathematics verification. You will help AI understand rigorous mathematical reasoning and logical proof. Requires advanced mathematics education (preferably PhD). These are among the highest-paying and most specialized roles. Pay: $70-$110/hr.
45 jobs available
• Avg pay: $78/hr
Part of: STEM & Science
Advanced Filters
45 Jobs
Page 1 of 2
Mathematics Expert (Masters/PhDs)
$80-90
Alignerr • 🎓 Any • 🆕 Today
Mathematics English Expert Master's
Mathematics Researcher (Masters/PhDs)
$80-90
Alignerr • 🎓 Any • 🆕 Today
Mathematics Data Annotation English Entry Level Master's
Mathematics Specialist (Masters/PhDs)
$80-90
Alignerr • 🎓 Any • 🆕 Today
Mathematics English Expert Master's
Mathematics Specialist - The United States
$20-50
SME Careers • 🎓 Any • 4d ago
Mathematics AI Training
Weekly AI Training Intelligence
Trending jobs + new guides + real pay data. Every Tuesday.
✅ 500+🔒 No spam
Mathematics Expert
$70-80
Mercor • 🎓 Any • 4d ago
Mathematics Expert
Mathematics Chart Analysis Expert
$70-80
Mercor • 🎓 Any • 4d ago
Mathematics Expert
STEM Expert (Physics, Chemistry, Mathematics, Biology)
$60-100
Mercor • 🎓 Any • 4d ago
Mathematics Expert
Mathematics Expert (Master’s/Ph.D.)
$40-70
Turing • 🎓 Any • 28d ago
Mathematics English Expert
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
$50-150
Alignerr • 🎓 Any • 🆕 Today
Mathematics Expert
Lean 4 Mathematical Formalization Expert
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics Expert
Formal Verification Scientist (Lean 4 & Mathlib)
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Lean 4 Proof Engineer - Mathematical Formalization
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics Coding Lean
Applied Formal Methods Researcher (Lean 4)
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Researcher - Lean 4 & Formal Proof Systems
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Mathematician (Foundations / Formalization)
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics Data Annotation Entry Level
Math Expert
$20-120
Alignerr • 🎓 Any • 🆕 Today
Mathematics English Expert
Mathematician, PhD
$90-120
Alignerr • 🎓 Any • 🆕 Today
Mathematics Data Annotation English Entry Level PhD
Statistics Expert
$20-120
Alignerr • 🎓 Any • 🆕 Today
Mathematics English Expert
Mathematics Assessment Specialist
$30-60
Mercor • 🎓 Any • 19d ago
Mathematics English Expert
Math Expert or Specialist
$40-60
Alignerr • 🎓 Any • 🆕 Today
Mathematics Expert
Statistics Expert
$70-80
Mercor • 🎓 Any • 4d ago
Writing Expert
Math Expert
$40-60
Mercor • 🎓 Any • 4d ago
Finance Expert
Mathematics Model Prompt Evaluator
$30-50
Mercor • 🎓 Any • 22d ago
Mathematics English Expert
Mathematics Expert (Master’s/Ph.D.)
$40-70
Turing • 🎓 Any • 39d ago
Mathematics Expert
Mathematics Specialist - The United States
$50-70
SME Careers • 🎓 Any • 28d ago
Mathematics AI Training
Mathematics Specialist - The United States
$20-50
SME Careers • 🎓 Any • 28d ago
Mathematics AI Training
Google : Mathematics and Finance Expert
$60-90
Turing • 🎓 Any • 27d ago
Business Expert
Mathematics Expert
$20-40
Alignerr • 🎓 Any • 23d ago
Mathematics Expert
Image Creation : Mathematics
$40-70
Turing • 🎓 Any • 28d ago
Mathematics Coding Data Annotation Entry Level
Page 1 of 2 Next →
What to Expect
Mathematics evaluation spans everything from calculus and linear algebra to abstract algebra, topology, and formal proof verification. Tasks present AI-generated proofs or solutions and ask you to identify logical gaps, incorrect lemma applications, or algebraic errors. Lean 4 and Mathlib formalization tasks are an emerging and well-compensated subset—if you can write formal proofs in a proof assistant, premium tasks await. Combinatorics and number theory problems appear frequently, as do probability and statistics tasks. Some tasks ask you to write counter-examples to disprove AI conjectures. Work is self-paced and intellectually engaging. Graduate-level math background is typical for advanced tasks; solid undergraduate training is sufficient for foundational problem-solving roles.
Browse by category or skill
Similar to: Statistics Expert
Similar to: Mathematics Expert
Similar to: STEM Expert (Physics, Chemistry, Mathematics, Biology)
Frequently Asked Questions
Do I need a math PhD?
Strongly preferred. PhD holders earn $80-110/hr. Master's level $70-90/hr. Bachelor's-only candidates typically don't qualify unless they have 5+ years specialized research/teaching experience.
What is Lean 4 and do I need to know it?
Lean 4 is a theorem prover for formal mathematics. Not required to start, but high-demand roles use it. Learning Lean unlocks the highest-paying formal verification roles ($90-110/hr). Online courses available free.
What math specializations are in-demand?
Abstract algebra, real analysis, topology, and discrete mathematics most common. Formal verification and Lean 4 proof roles highest-paying. Applied math, numerical analysis also valued.
How is math AI training different from teaching?
You're evaluating AI-generated proofs, problem-solving approaches, and mathematical reasoning—not teaching a class. You spot errors, verify rigor, and assess whether AI understands mathematical concepts.
Explore more opportunities
Browse all job categories and find your next AI training opportunity.
View All Categories