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.
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.
AI
Training
Accuracy
+12
Flexible
Reasoning
Logic
Expressions
Microsoft Word
Mathematics
Research
Teaching
Problem Solving
Microsoft Excel
Communication
Precision
What if the mathematical expertise you spent years developing could directly shape how AI reasons, proves, and solves problems for millions of people worldwide?
Statistics
AI
Training
+12
Reasoning
Probability
Testing
Organization
Labelbox
Flexible
Expressions
Research
Teaching
Mathematics
English
Econometrics
We're looking for Statistics Experts to help evaluate and improve AI systems trained on quantitative reasoning and statistical content.
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
Flexible
Verification
Organization
Consistency
Logic
Reasoning
Coq
Isabelle
Agda
Annotation
Research
Contracts
What if your deep expertise in formal mathematics could directly shape how AI reasons, proves, and verifies mathematical truths?
Training
AI
Reasoning
+12
Flexible
Precision
Organization
Verification
Mathematics
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?
Mathematics
AI
Training
+12
Reasoning
Flexible
Algebra
Calculus
Statistics
Organization
Precision
Python
MATLAB
Research
Problem Solving
English
What if your years of advanced mathematical training could directly influence how AI reasons through the world's hardest problems?
Mathematics
AI
Training
+12
Algebra
Calculus
Statistics
Flexible
Precision
Organization
Reasoning
Consistency
Python
MATLAB
Research
Logic
What if your expertise in advanced mathematics could directly shape how AI reasons, solves problems, and thinks — for millions of people around the world?
Mathematics
AI
Training
+12
Reasoning
Flexible
Research
Microsoft Teams
Organization
Algebra
Calculus
Statistics
Precision
Python
MATLAB
Problem Solving
What if your deep knowledge of mathematics could directly shape how AI reasons, solves problems, and communicates with millions of people around the world?
AI
Training
Reasoning
+12
Flexible
Organization
Accuracy
Mathematics
Statistics
Precision
Writing
Problem Solving
Annotation
Logic
Research
Microsoft Teams
What if your years of rigorous mathematical training could directly shape how AI reasons through the world's hardest problems?
AI
Training
Mathematics
+12
Express.js
Flexible
Precision
Verification
Go
Organization
Logic
Writing
Algebra
Analysis
Topology
Coq
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About the Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the foundations of mathematics?
AI
Mathematics
Reasoning
+12
mathlib
Flexible
Logic
Organization
Research
Audit
Writing
Verification
Annotation
Coq
Isabelle
Agda
What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics?
Econometrics
AI
Training
+12
Analysis
Organization
Labelbox
Accuracy
Interpretation
Reasoning
Teaching
Economics
Precision
Consistency
Statistics
Stata
We're looking for experienced econometrics instructors and quantitative economists to help shape how AI understands and reasons through statistical and economic analysis.
Mathematics
AI
Reasoning
+12
STEM
Training
Python
English
Research
Modeling
NumPy
SciPy
Pandas
Algorithms
Writing
Optimization
Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.
AI
Mathematics
Flexible
+12
Logic
Research
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathematician – Formalization & AI Foundations (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Mathematics
Flexible
+12
Logic
Research
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathematician – Formal Proof & AI Foundations (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Research
Mathematics
+12
Flexible
Logic
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
Mathematics
AI
Flexible
+12
Logic
Research
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Research
Mathematics
+12
Flexible
Logic
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathematician – Proof Formalization & AI Research (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Mathematics
Flexible
+12
Logic
Research
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathematician – Formal Systems & AI Foundations (Remote Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Research
Mathematics
+12
Flexible
Logic
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Training
Topology
Algebra
Mathematician – Foundations & Formalization (AI Research Contract) About the Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
AI
Training
Mathematics
+12
Flexible
Logic
Research
Organization
mathlib
Reasoning
Audit
Writing
Verification
Annotation
Topology
Algebra
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
Mathematics
AI
Reasoning
+12
Training
Logic
Probability
Analysis
Optimization
Algebra
Programming
Syntax
Operations
Communication
Insurance
Pure Mathematics
Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data.
