AI training jobs
AI training jobs for mathematicians
Mathematical reasoning is one of the clearest tests of AI capability. Mathematicians write hard problems, verify proofs and formalize mathematics in Lean so models learn to reason rigorously.
Open roles for mathematicians
What the work looks like
- Formalize theorems and proofs in Lean 4 and Mathlib
- Write research-level problems with verified solutions
- Grade model proofs for rigor
Who qualifies
- Graduate training in mathematics
- Lean or other proof-assistant experience for formal roles
- Precision and patience
Frequently asked questions
How much do AI training jobs for mathematicians pay?+
Open roles for mathematicians on Quanta currently pay between $70 and $70 per hour, depending on the project and the expertise it needs. Every listing shows its rate up front.
Is the work remote?+
Yes. Nearly all projects are fully remote. Some are limited to specific countries or regions, which each listing states.
How many hours do I need to commit?+
Most projects are flexible and part-time, so you can work around a full-time job. A few roles ask for a minimum number of hours per week, listed on the role.
How do I apply?+
Pick a role below and apply in a few minutes. You can also join the Quanta network once to be matched to new mathematicians roles as they open.