Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)
$170–200/hr
Remote math contract with Alignerr, $170–200/hr, open to people in France. Posted Oct 22.
$170–200/hr
Apply on AlignerrIs this job worth applying to?
- Pay
- Above typicalTops out at $200/hr. The typical top rate across 47 priced math listings is $90/hr.
- Getting in
- Hard to get in~1–2 hours of assessments. Valid government photo ID.
- Steady work
- Work is patchyFeast-or-famine project volume.
- Payout record
- Some delaysSchedule: weekly, by Friday for the prior Monday–Sunday. Paid via Stripe or PayPal (depends on country).
- Freshness
- RecentPosted 2w ago. Still listed on Alignerr on Nov 6, 2026.
- Where you live
- Named countries onlyOpen in France.
The job description
About the Role
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.
This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. France has a world-class mathematical tradition, and we want rigorous thinkers who can translate that tradition into formal, machine-verifiable proof. If you know your way around Lean 4, this is your opportunity.
What You'll Do
- Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines
- Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib
- Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form
- Audit and verify existing formal proofs for correctness, completeness, and logical integrity
- Work at the frontier of AI research, helping train the next generation of mathematically capable language models
Who You Are
- Hold a Master's degree or PhD in Mathematics or a closely related field
- Possess a strong background in rigorous mathematical proof writing and logical reasoning
- Have hands-on experience with formal proof assistants — Lean 4 strongly preferred
- Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs
- Self-motivated and comfortable working independently in a remote, asynchronous environment
Nice to Have
- Prior experience with proof verification, theorem proving, or mathematical formalization projects
- Familiarity with mathlib or other large-scale formal mathematical libraries
- Background in data annotation, data quality evaluation, or AI training workflows
- Experience across multiple mathematical domains — topology, algebra, analysis, logic, and beyond
Why Join Us
- Work on frontier AI research alongside the world's leading AI labs and research teams
- Fully remote and flexible — structure your work around your life, not the other way around
- Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
- Contribute directly to formal mathematical libraries that will outlast any single project
- Gain rare exposure to how cutting-edge large language models are built and trained
- Potential for ongoing work and contract extension as new projects launch
How do you apply to Alignerr?
Apply on Alignerr
The Apply button opens this post on Alignerr's own site. You apply with them, not with Rubric. Budget about 1–2 hours of assessments.
Get through screening
What Alignerr asks for after you apply:
- Take the TestGorilla skills assessment (usually one attempt per role)
- Verify your identity with Persona
- Join the Alignerr Slack community
- Set up payouts once you are assigned to a project
Start work and get paid
Pay schedule: weekly, by Friday for the prior Monday–Sunday. Paid via Stripe or PayPal (depends on country). You're paid for the work they hand out, not a fixed salary.
Alignerr also needs
- Valid government photo ID
- Degree or professional experience for expert roles
- Webcam for proctored assessments on some roles
Red flags
- Red flagLong gaps with no project after passing
- Red flagWorker reports of delayed or withheld payments on Glassdoor
What is Alignerr like to work for?
Labelbox's contractor network, which hires generalists and domain experts to label data and write and grade AI training tasks.
| Advertised pay | $15–150/hr |
|---|---|
| Getting in | Hard to get in |
| Application takes | ~1–2 hours of assessments |
| How you get paid | Weekly, by Friday for the prior Monday–Sunday, via Stripe or PayPal (depends on country) |
| Payout record | Some delays |
| Countries | Accepts most countries but blocks signups from about two dozen; posts India-specific roles such as Hindi, Telugu and Indian-English language and cultural review work. |
Generalist and bilingual work is around $15–20/hr, coding QA $30–40/hr, and senior software, advanced math, medical and law roles $70–150/hr; some projects pay per approved task.
