Mathematician – Formal Proof & AI Research (Remote Contract)
Alignerr · Remote, Netherlands · Research / analysis
Mathematician – Formal Proof & AI Research (Remote Contract) 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, Netherlands
- Time commitment
- 10-40 hours a week
- Experience
- Practical work using formal proof assistants; Lean 4 strongly preferred
- Education
- Master's or PhD in mathematics or a related field
- Work type
- Research / analysis
- Field
- Science / STEM
- Listed
- Since Oct 4, last confirmed Oct 22
The work
Convert advanced math theorems and arguments into formal proofs written in Lean 4.
What you would do
- Formalize advanced theorems from many areas of mathematics in Lean 4
- Add to large formal math libraries such as mathlib
- Check existing formal proofs for errors and gaps
You're a fit if you
- have a Master's or PhD in mathematics or a related field
- have solid grounding in writing rigorous proofs and logical reasoning
- have used formal proof assistants, ideally Lean 4
- are self-motivated and can work alone remotely
Summarised by HumanSourcer from Alignerr’s listing. Check the listing before you apply.
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
“Mathematician – Formal Proof & AI Research (Remote Contract) 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?”
About Alignerr: part of Labelbox. See the full profile →
Similar open roles
Frequently asked questions
How do I apply for the Mathematician – Formal Proof & AI Research (Remote Contract) 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 Mathematician – Formal Proof & AI Research (Remote Contract) role at Alignerr remote?
Yes - Alignerr lists this role as remote.
What does the Mathematician – Formal Proof & AI Research (Remote Contract) 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 Mathematician – Formal Proof & AI Research (Remote Contract)?
Research / analysis. 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.