Math Expert

Lean 4 Mathematical Formalization Expert

• Science & Research
• Platform: Alignerr

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.

Mathematician, PhD

• Science & Research
• Platform: Alignerr

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.

Mathematician

• Science & Research
• Platform: DataAnnotation

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.

Mathematical Physicist (PhD)

• Science & Research
• Platform: Mercor
• Location: United States

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

Statistical Physics and Thermodynamics Physicist (PhD)

• Science & Research
• Platform: Mercor
• Location: United States

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

AI Tutor - Humanities

• Science & Research
• Platform: xAI

This role asks a humanities scholar to judge and improve how an AI model handles questions in linguistics, history, classical studies, literature, philosophy, ethics, and the arts. The work centers on checking the model's answers against primary sources, flagging errors and unsupported claims, and writing reference answers that separate evidence from interpretation and speculation. It suits candidates with deep scholarly training who write precise, carefully calibrated analysis.

Posted September 3, 2026