Skip to content
aitrainer.work - AI Training Jobs Platform

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.

27 jobs available β€’ Avg pay: $58/hr

Part of: STEM & Science

Type:
Popular:

28 Jobs

Page 1 of 1

Turing remote developer platform

Mathematics Expert (Master’s/Ph.D.)

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ πŸ†• Today
Mathematics Expert
SuperAnnotate SME Careers platform

Mathematics Quality Assurance Lead (QAL)

$50-70 ? Estimated range. Actual pay varies by experience, location, and task type.

SME Careers β€’ πŸŽ“ Any β€’ 16d ago
QA Testing AI Training
SuperAnnotate SME Careers platform

Mathematics Specialist

$50-70 ? Estimated range. Actual pay varies by experience, location, and task type.

SME Careers β€’ πŸŽ“ Any β€’ 16d ago
Mathematics AI Training
Turing remote developer platform

Mathematics Specialist

$10-25 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 13d ago
πŸ‡©πŸ‡ͺ
Mathematics German Multilingual
Mercor AI hiring platform

Mathematics Research Collaborator (Part-time)

$80-110 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 19d ago
Mathematics Expert
Newsletter subscription
AI Training Jobs

Weekly AI Training Intelligence

Trending jobs + new guides + real pay data. Every Tuesday.

βœ… 500+πŸ”’ No spam

Unsubscribe anytime. We respect your inbox.

Mercor AI hiring platform

Mathematics PhD Researchers

$70-90 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 19d ago
Mathematics English Expert PhD
Micro1 AI training platform

Mathematics Expert

$20-40 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Micro1 β€’ πŸŽ“ Any β€’ 27d ago
Mathematics Expert
Micro1 AI training platform

Mathematics Professor/Researcher (PhD)

$60-90 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Micro1 β€’ πŸŽ“ Any β€’ 31d ago
Mathematics Expert PhD
Mercor AI hiring platform

Mathematics Researchers (Part-time)

$90-120 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 44d ago
Mathematics Expert
Mercor AI hiring platform

Mathematics Researchers (India, Part-time)

$35-50 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 42d ago
Mathematics Expert
Turing remote developer platform

Mathematics Specialist

$20-45 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 44d ago
Mathematics Expert
Mercor AI hiring platform

Computational Bayesian Statistics and Applied Mathematics Expert

$70-100 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 49d ago
Mathematics Expert
Turing remote developer platform

Mathematics Expert (Competition & Olympiad-Level) - AI Training & Evaluation

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 55d ago
Mathematics Expert
Mercor AI hiring platform

STEM Expert (Physics, Chemistry, Mathematics, Biology)

$70-90 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 96d ago
Mathematics Expert
Mercor AI hiring platform

Mathematics Assessment Specialist

$25-60 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 112d ago
Mathematics Expert
Mercor AI hiring platform

Mathematics Model Prompt Evaluator

$25-50 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 114d ago
Mathematics English Expert
Turing remote developer platform

Mathematics Expert (Master’s/Ph.D.)

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 120d ago
Mathematics English Expert
New job posted today
Mercor AI hiring platform

Formal Methods (Lean 4) Expert

$90-120 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 4d ago
Mathematics Expert
High demand
Micro1 AI training platform

Statistics Expert (PhD)

$90-120 ? Estimated range. Actual pay varies by experience, location, and task type.

Micro1 β€’ πŸŽ“ Any β€’ 15d ago
Mathematics Expert PhD
High demand
Micro1 AI training platform

Math Expert (PhD)

$80-90 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Micro1 β€’ πŸŽ“ Any β€’ 15d ago
Expert PhD
Turing remote developer platform

Research Quality Specialist - Computational Math

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 13d ago
πŸ‡―πŸ‡΅
Voice Acting Japanese Expert
Mercor AI hiring platform

Mathematics Expert (Undergraduate/Master's)

$35-45 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 168d ago
Mathematics English Expert Master's
Micro1 AI training platform

Math Expert (PhD)

$80-90 ? Estimated range. Actual pay varies by experience, location, and task type.

Micro1 β€’ πŸŽ“ Any β€’ 36d ago
Expert PhD
Mercor AI hiring platform

Math Expert

$40-60 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 96d ago
Finance Expert
Turing remote developer platform

Research Analyst - Advanced Math

$15-30 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing β€’ πŸŽ“ Any β€’ 120d ago
English Expert
Mercor AI hiring platform

Math (PhD)

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 201d ago
Mathematics Data Annotation English Entry Level PhD
Promoted job
Mercor AI hiring platform

STEM PhDs – Math

$70-100 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Mercor β€’ πŸŽ“ Any β€’ 208d ago
Mathematics English Expert
Turing remote developer platform

Research Quality Specialist - Computational Math

$30-70 ? Estimated range. Actual pay varies by experience, location, and task type.

/hr

Turing Full-Time β€’ πŸŽ“ Any β€’ 13d ago
Expert AI Training Languages Specialist Voice Acting Japan +1 more

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: Research Quality Specialist - Computational Math

Similar to: Mathematics Specialist

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