About Turing Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems. Turing supports customers in two ways: Accelerating frontier research with…
Mathematics Expert (Master's/Ph.D.)
Remote (Global)
July 20, 2026
Job description
Turing is seeking Mathematics Experts with a Master's, PhD, or Postdoctoral background to help improve and evaluate frontier Large Language Models (LLMs). In this remote contractor role, you will create advanced mathematics problems, develop rigorous solutions, evaluate AI-generated reasoning, and contribute to benchmark datasets spanning undergraduate through PhD-level mathematics.
You will also work on computational projects involving Python and formal theorem proving using Lean, helping improve the mathematical reasoning capabilities of next-generation AI systems.
Key Responsibilities
Develop AI Evaluation Content
Design original and challenging mathematics problems that test the reasoning limits of LLMs.
Create problems covering:
- Multi-step reasoning
- Abstract mathematics
- Proof-based mathematics
- Computational mathematics
Contribute to benchmark datasets spanning undergraduate to PhD-level curricula.
Evaluate AI Mathematical Reasoning
Solve mathematical problems independently.
Produce detailed, logically structured solutions with rigorous justifications.
Review AI-generated solutions and identify:
- Mathematical errors
- Missing proofs
- Logical inconsistencies
- Invalid assumptions
Provide structured annotations, corrections, and feedback.
Develop Computational Solutions
- Write and validate Python solutions for computational mathematics tasks.
- Verify numerical correctness using approved scientific libraries.
- Create precise, closed-ended prompts for AI evaluation.
Support Formal Mathematics
- Translate mathematical problems into Lean.
- Verify theorem-prover outputs.
- Ensure formal proofs compile correctly and satisfy logical requirements.
Required Qualifications
Strong analytical and research skills.
Excellent problem-solving and mathematical reasoning abilities.
Ability to provide detailed annotations and constructive feedback.
Strong written communication and collaboration skills.
Self-motivated with the ability to work independently in a remote environment.
Reliable desktop or laptop with a stable internet connection.
Preferred Qualifications
Master's, PhD, or Postdoctoral studies in:
- Mathematics
- Applied Mathematics
- Statistics
- Related quantitative disciplines
Strong knowledge of:
- Algebra
- Calculus
- Mathematical Analysis
- Geometry
- Topology
Experience with:
- Python
- Lean Theorem Prover
- Mathematical proof writing
- AI evaluation
- Large Language Models (LLMs)
Ability to explain advanced mathematical concepts using clear language and practical examples.
Compensation
- Competitive contractor compensation (not specified)
Work Arrangement
- Remote
- Contractor/Freelancer
- Flexible commitment options:
- 20 hours/week
- 30 hours/week
- 40 hours/week
- Minimum 4 hours/day with 4 hours overlap with Pacific Standard Time (PST)
- Potential contract extension based on project performance
Apply now
You will be redirected to the company's website to complete your application.
Role Title: Statistics Expert (PhD) Role Type: Contractor Location: Remote micro1 is engaging Statistics Experts (PhD) to contribute their advanced subject-matter expertise to a customer's AI training initiative.
Role Title: Math Expert (PhD) Role Type: Contractor Location: Remote micro1 is engaging Math Experts (PhD) to contribute to an advanced AI training project for a customer. In this role, you'll apply your expertise to help train next-generation AI systems.
Math Expert (Contract) Labelbox • Remote (United States preferred) Shape the data that powers frontier AI Quick facts - Engagement - Hourly, at‑will contractor- Schedule - Fully remote & asynchronous (min.