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: $49-$80/hr.

60 open jobs
Typical pay
$70/hr
Most roles pay
$49 to $80/hr
Based on
28 posted rates
Updated
October 3, 2026

Part of: STEM & Science

Type:
Popular:

61 Jobs

Page 1 of 3

AfterQuery expert AI training platform

Mathematics Teacher Expert

$50-70

/hr

AfterQuery • 29d ago
SuperAnnotate SME Careers platform

Mathematics Quality Assurance Lead (QAL)

$50-70

SME Careers • PhD • 53d ago
QA Testing AI Training
SuperAnnotate SME Careers platform

Mathematics Specialist

$50-70

SME Careers • PhD • 53d ago
Mathematics AI Training
Handshake AI fellowship program

Mathematics Expert

$90-120

/hr

Handshake • PhD • 7d ago
Handshake AI fellowship program

Mathematics Expert (India)

$35-45

/hr

Handshake • PhD • 7d ago
Newsletter subscription
AI Training Jobs

Weekly AI Training Intelligence

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

✅ 500+🔒 No spam

Unsubscribe anytime.

Turing remote developer platform

Google : Mathematics and Finance Expert

$30-70

/hr · estimate

Turing • Master's • 24d ago
Turing remote developer platform

Scientific Coding - Mathematics and Python

$20-50

/hr · estimate

Turing • Master's • 25d ago
Turing remote developer platform

Mathematics Research Specialist – Algebraic Geometry

$30-70

/hr · estimate

Turing • PhD • 26d ago
Mercor AI hiring platform

Mathematics PhD Coding Experts

$60-80

/hr

Mercor • PhD • 42d ago
Mercor AI hiring platform

Applied Mathematics Benchmark Specialist

$60-80

/hr

Mercor • PhD • 51d ago
Meridial expert contractor network, by Invisible Technologies

Pure Mathematics Specialist – Freelance AI Trainer Project

$35-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Hindi - Roman Script) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist - AI Trainer Project- Freelance

$8-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Spanish - Spain) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Dutch) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Indonesian) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in French) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Japanese) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in German) - Freelance Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Arabic) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Korean) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Spanish - Latin America) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Hindi) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Portuguese - Brazil) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Swedish) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Russian) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Italian) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Finance AI Training
Meridial expert contractor network, by Invisible Technologies

Mathematics Specialist (Fluent in Portuguese - Portugal) - Freelance AI Trainer Project

$6-70

/hr

Meridial • 54d ago
Mercor AI hiring platform

Mathematics Research Collaborator (Part-time)

$80-110

/hr

Mercor • PhD • 84d ago
Mercor AI hiring platform

Mathematics PhD Researchers

$70-90

/hr

Mercor • Bachelor's • 84d ago
Page 1 of 3 Next →

Get new Mathematics jobs as they open

One browser alert a day when new roles land, Mathematics first. No email needed.

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: Mathematics Expert

Similar to: Mathematics Expert (India)

Frequently Asked Questions

Do I need a math PhD?

Strongly preferred, and PhD holders qualify for the highest rates. Bachelor's-only candidates usually don't qualify unless they have 5+ years of specialized research or teaching experience.

What is Lean 4 and do I need to know it?

Lean 4 is a theorem prover for formal mathematics. You don't need it to start, but the highest-paying formal verification roles use it, and free online courses cover the basics.

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.

How many Mathematics AI training jobs are open right now?

This page is showing 61 listings, sourced from 10 platforms: Meridial (19), Mercor (17), Turing (10), Handshake (4) and Micro1 (3). The most recent one was picked up today. The count moves as platforms post and close roles, so treat it as a snapshot of today rather than a fixed figure.

What do Mathematics AI training jobs pay?

Most sit between $49 and $80 an hour, with a median of $70, measured across the 47 listings on this page that quote an hourly rate. The highest rate currently posted here is $125 an hour. These are the figures the platforms published, not our estimates, and the rate you are offered depends on how you do in that platform's assessment.

Are Mathematics roles paid hourly or per task?

Both appear here. 2 listings pay per task or per project rather than by the hour, and the rest quote an hourly rate. Per-task work suits people who are fast and accurate, since your effective hourly rate depends on how long each unit takes you.

Which platforms hire for Mathematics work?

Meridial (19), Mercor (17), Turing (10), Handshake (4) and Micro1 (3). No single one dominates this category, so it is worth holding accounts on more than one. Most contracts allow you to work through several platforms at the same time.

Explore more opportunities

Browse all job categories and find your next AI training opportunity.

View All Categories