$170-200/hrAs published by the platform.
This contract role involves turning mathematical theorems, lemmas, and proofs from textbooks and articles into precise, machine-checked Lean 4 code. The work also includes checking existing formalizations for logical soundness and flagging gaps in informal arguments, with the output used to build datasets that teach AI systems to reason about mathematics. It suits mathematicians and formal verification experts who can work independently and on their own schedule.
$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/cacb1f43-f6b2-4af7-a525-c54cc62e7aaf
Last checked on October 8, 2026.
This contract role asks mathematics experts to label, organize and check math content that trains AI models. The work is remote and asynchronous, with a minimum weekly commitment. It suits people with strong math backgrounds in research, teaching or applied problem solving.
This freelance contract is for PhD-level mathematicians who will evaluate and improve how AI systems handle mathematical reasoning. The work covers writing and reviewing advanced problems, checking AI-generated proofs and calculations, and organizing mathematical content for training datasets. It suits holders of a doctorate in mathematics or a closely related field who can work independently and remotely on their own schedule.
You apply your expertise in quality inspection and regulatory compliance to AI model training scenarios in the aerospace, defense, and maritime sectors. Your job is to evaluate inspections, document compliance decisions, and generate high-quality data to fuel machine learning, without requiring prior AI experience.
Posted September 29, 2026
Referral link to micro1's job list: search for this role there. Open this exact job
You will create realistic programming tasks and verifiers to train AI systems, leveraging your expertise in backend development and your awareness of software security issues. This role is for experienced engineers in service architecture and security best practices, with no AI prerequisite.
Posted September 20, 2026
Referral link to micro1's job list: search for this role there. Open this exact job
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
