$170-200/hrAs published by the platform.
This role involves translating mathematical proofs into machine-verifiable Lean 4 formalizations for an AI research organization. Mathematicians with formal proof system experience will work on bridging informal mathematical arguments and automated reasoning, identifying gaps in current verification tools and helping advance mechanized mathematics at the intersection of AI and rigorous proof.
$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/07e04035-19d1-4f28-bc61-8dd8afca8e6c
Last checked on October 8, 2026.
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 invites PhD-level applied physicists to evaluate and improve how AI models reason about physical systems. You will design advanced physics problems, author rigorous solutions, audit AI-generated reasoning for physical consistency, and provide expert feedback to refine model behavior across classical mechanics, electrodynamics, quantum mechanics, and related domains.
This role involves evaluating and improving large language models' understanding of physics by designing advanced problems, authoring ground-truth solutions, and auditing AI-generated reasoning across quantum mechanics, electrodynamics, thermodynamics, and other domains. It is suited for PhD-level applied physicists who want to contribute to AI training while working independently on a flexible schedule.
This role involves evaluating AI models' physics reasoning across mechanics, electromagnetism, quantum mechanics, and thermodynamics. You will create problems to test AI understanding, identify errors in AI solutions, and write gold-standard solutions that clearly explain the physics at each step.
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
