$170-200/hrAs published by the platform.
This contract role asks mathematicians to formalize advanced theorems and proofs in Lean 4 and to audit existing formal proofs for correctness. The work also helps train language models to reason mathematically and feeds into large formal libraries such as mathlib. It suits people with graduate training in mathematics who are comfortable working independently and asynchronously.
$170-200/hr
Pay as published by the platform. It is not a guarantee of income or hours.
The platform has not published which countries are eligible for this job.
You apply on Alignerr, Labelbox's expert network: create a profile, complete an AI-led interview and skills assessment, then get matched to projects in your field.
Official posting: https://www.alignerr.com/jobs/082ee0c2-d18d-4b41-a1cf-efa71a2bec93
Last checked on October 8, 2026.
This contract role asks mathematicians to turn dense informal proofs into structured, machine-checkable Lean 4 formalizations. The work also involves helping AI researchers understand where automated provers fail and how to improve formal verification pipelines. It is aimed at people with strong proof-writing backgrounds who want to work at the intersection of mathematics and AI.
This contract role involves turning rigorous informal mathematical proofs into machine-checkable Lean 4 formalizations and identifying gaps and hidden assumptions along the way. It is aimed at mathematicians with graduate-level training who enjoy precise proof writing and formal verification. The work is part-time and remote, with collaboration alongside AI researchers.
This role involves evaluating and improving how AI models handle rigorous mathematical reasoning. You will create challenging math problems, review AI solutions for logical errors and unjustified steps, and write correct solutions that serve as training examples for the models to learn from.
This role invites mathematical physicists to contribute to a research benchmark in fundamental physics, designed to assess whether cutting-edge AI models can solve real research problems in physics. You will work on specialized challenges in one of four proposed domains (special functions, integrable systems, permutation combinatorics, conformal geometry), creating, solving, reviewing, or validating problems at the level of academic research.
Posted September 25, 2026
This role involves contributing to the creation and evaluation of research-level physics challenges for a benchmark designed to test the physical reasoning capabilities of AI models. The work involves creating problems, solving them, examining solutions or auditing them in your area of specialization in statistical physics. This role is intended for PhDs in statistical physics with published experience on specific phenomena and who master the corresponding mathematical and computational methods.
Posted September 25, 2026
You are a physicist with a PhD or in the final stages of your thesis, specialized in an advanced field of physics. You will solve complex theoretical problems by providing rigorous and well-documented derivations, intended to train next-generation AI systems. No prior experience in AI is required: only your deep knowledge of physics matters.
Posted September 7, 2026
Referral link to micro1's job list: search for this role there. Open this exact job
