Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)
Alignerr · Remote · Translation / linguistics
Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) is an open role at Alignerr, available remotely, with pay listed as $170–$200/hr.
Applications open on Alignerr’s own site. How we make money.
At a glance
- Pay
- $170–$200/hrStated by Alignerr
- Location
- Remote
- Work type
- Translation / linguistics
- Field
- Science / STEM
- Listed
- Since Oct 4, last confirmed Oct 23
How the pay compares
Higher than 94% of the 117 distinct hourly rates advertised for Science / STEM roles right now. Hourly USD, top of each advertised range, one count per distinct rate. Same method as the Pay Index.
From Alignerr’s listing
“Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) 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?”
Show the full listing
Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) 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. Organization : Alignerr Type : Hourly Contract Location : Remote Commitment : 10–40 hours/week 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 o
About Alignerr: part of Labelbox. See the full profile →
Similar open roles
Frequently asked questions
How do I apply for the Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) role at Alignerr?
Applications go through Alignerr's own portal - HumanSourcer links to the listing and never collects applications or handles hiring. Alignerr's access model is "Open / self-serve" (Open roles / applications). This listing was first seen here on October 4, 2026 and was still live at the last check.
Is the Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) role at Alignerr remote?
Yes - Alignerr lists this role as remote.
What does the Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) role at Alignerr pay?
Alignerr lists this role's pay as $170–$200/hr, quoted from the listing rather than estimated.
What kind of work is Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)?
Translation / linguistics. AI training, evaluation, coding, writing and specialist review
Is Alignerr a legitimate AI-training platform?
Labelbox expert network - and that relationship is rated "Confirmed" here because it can be checked against labelbox.com rather than taken on Alignerr's word. Confidence describes how well the ownership is evidenced. It is not a rating of how the platform treats the people who work for it, which no public source covers reliably.
Get new AI-training roles by email
One email a week: the new roles worth opening, what new listings pay, and a count from every network we track. No spam, unsubscribe anytime.
Free. See how we make money.