Mathematics
Research
AI
+12
Scientific Computing
Optimization
Simulation
Algorithms
Python
Analysis
Linear
Algebra
Operations
Probability
Statistics
Geometry
Turn computational work from your own math research into paid evaluation tasks for AI models. Open to research-track Bachelor's students, Master's and PhD students, postdocs, and recent graduates.
AI
Reasoning
Analysis
+12
Testing
Interpretation
Communication
Model Training
Rubrics
Calibration
Statistics
Python
English
Training
Compliance
Licensing
We are looking for statisticians to help train and evaluate AI models on statistical reasoning and data analysis. You will design analysis tasks, review AI-generated statistical work, and write the reference answers that models are measured against.
Mathematics
AI
Reasoning
+12
Make
Rubrics
Training
Calibration
Analysis
Algebra
Probability
Combinatorics
Geometry
English
Research
Python
We are looking for mathematicians to help train and evaluate AI models on advanced mathematical reasoning. You will write problems with complete solutions, verify model reasoning step by step, and classify the errors that models make.
Mathematics
AI
Reasoning
+12
STEM
Engineering
Research
Problem Solving
English
Communication
Infrastructure
Physics
Collaboration
Education
Annotation
Assurance
About Turing Turing is one of the world’s fastest-growing AI companies, accelerating the advancement and deployment of powerful AI systems.
Mathematics
mathlib
AI
+12
Writing
Algebra
Analysis
Combinatorics
Logic
Rubrics
Research
Communication
Strategic Thinking
Coq
Isabelle
Agda
Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.
Mathematics
Infrastructure
AI
+12
Training
Engineering
Command Line
Analysis
Optimization
Statistics
Modeling
Probability
Algorithms
Research
Python
C++
About Turing Turing is one of the world's leading AGI infrastructure companies, working with frontier AI labs to accelerate model development through high-quality training data, evaluations, and engineering talent.
The research teams behind the best-known AI models come to Mercor for mathematical judgment they can't generate on their own. Your standards and expertise become the rubric that frontier AI is graded against.
We're looking for professionals with hands-on, real-world experience in specialized applications. Application Expertise and Access You must already have MATLAB installed/available on your own PC running Windows, and be able to open it today.
Join Verita AI's Mathematician Expert Network to connect with leading AI labs and companies seeking your expertise. This is an open application for future contract opportunities that match your background and interests.
Join Workbolt AI's Mathematics PhD Talent Network to be considered for flexible contract opportunities with leading AI labs and technology companies. This is an open application for future projects, not a guarantee of immediate work.
Experimentation
Testing
AI
+12
Reasoning
Statistics
Analysis
Interpretation
Modeling
Python
Monitoring
Onboarding
MATCH
Training
Biostatistics
Causal Inference
Statisticians and experimentation experts in causal inference and A/B testing to build the scenarios frontier AI labs use to test model reasoning. AfterQuery builds the expert evaluation data that frontier AI labs use to measure and improve their models.
AI
Training
STEM
+12
Mathematics
Physics
Chemistry
Engineering
Problem Solving
English
Mandarin Chinese
Vietnamese
Flexible
Payments
AI Training
Mechanical Engineering
We are seeking experienced professionals from STEM fields (Mathematics, Physics, Chemistry, Mechanical Engineering) to join the artificial intelligence (AI) revolution.
Statistics
AI
Mathematics
+12
Training
Reasoning
Accuracy
Probability
Operations
Research
Benchmarking
Flexible
LLM Evaluation
Advanced Mathematics
AI Training
Applied Mathematics
Rise Data Labs is seeking advanced Mathematics and Statistics experts to support the training and evaluation of state-of-the-art AI systems.
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. We are seeking a highly analytical and computationally proficient individual with a strong research background. You will craft challenging and insightful problems in your research domain and devise elegant computational solutions. Quantitative problem design and solutioning Develop and conceptualize original, resea
Research
Physics
Chemistry
+12
Biology
AI
Engineering
Education
Communication
Flexible
Formal Methods
Scientific Computing
Professional Experience
Written communication
Structured Feedback
Remote Work
We're building a research cohort of senior domain experts in formal methods and computational science — spanning math, physics, chemistry, and biology — to help evaluate how frontier AI models reason about hard, real-world expert-level problems.
We are hiring math experts. This assessment is the first step to potentially qualify you for a range of paid opportunities at AfterQuery, from ongoing project work to specialized math roles.
AI
Training
Modeling
+12
Biostatistics
Python
Statistics
Accuracy
Research
English
Flexible
Payments
Contracts
AI Training
Statistical Modeling
Experimental Design
Bring statistical and biostatistical expertise to AI training — validate quantitative content, annotate study designs, and improve analytics-focused AI models.
Reasoning
RLHF
Algebra
+12
Calculus
Combinatorics
Annotation
Accuracy
Flexible
Engineering
Physics
Verification
LaTeX
Data Classification
Linear
Probability
You'll spend your time evaluating model-generated solutions to math problems — ranging from algebra and calculus to combinatorics and proof-based reasoning.
Labelbox
AI
Annotation
+12
Expressions
Microsoft Word
Mapping
Mathematics
Problem Solving
Verification
Training
Research
Teaching
RLHF
Flexible
Microsoft Teams
Labelbox • Remote (United States preferred) Shape the data that powers frontier AI Quick facts - Engagement - Hourly, at‑will contractor- Schedule - Fully remote & asynchronous (min.
Labelbox
AI
Annotation
+12
Expressions
Microsoft Word
Mapping
Mathematics
Problem Solving
Verification
Training
Research
Teaching
Microsoft Excel
Communication
RLHF
Labelbox • Remote (United States preferred) Shape the data that powers frontier AI Quick facts - Engagement - Hourly, at‑will contractor- Schedule - Fully remote & asynchronous (min.
Statistics
Labelbox
AI
+12
Annotation
Expressions
Mapping
Probability
Testing
Modeling
Verification
Accuracy
Training
Research
Teaching
Problem Solving
Labelbox • Remote (United States preferred) Shape the data that powers frontier AI Quick facts Engagement - Hourly, at‑will contractor Schedule - Fully remote & asynchronous (min.
Training
AI
Reasoning
+12
Flexible
Mathematics
Express.js
Organization
Verification
Logic
Writing
Algebra
Analysis
Topology
Coq
Isabelle
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
AI
Training
Mathematics
+12
Automation
Flexible
Verification
Organization
Research
Consistency
Logic
Reasoning
Coq
Isabelle
Agda
Annotation
What if your deep knowledge of formal proof and mathematical rigor could directly shape how AI reasons about mathematics? We're looking for Lean 4 experts to translate rigorous mathematical content into machine-verified formal proofs — working at the cutting edge of AI…
Training
AI
Logic
+12
Flexible
Verification
Precision
Organization
Automation
Mathematics
Writing
Algebra
Analysis
Topology
Coq
Isabelle
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic?
