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?
Mathematics
AI
Training
+12
Flexible
Algebra
Calculus
Statistics
Make
Organization
Reasoning
Accuracy
Python
MATLAB
Research
English
What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world?
Mathematics
AI
Training
+12
Reasoning
Flexible
Organization
Algebra
Calculus
Statistics
Precision
Python
MATLAB
Research
Accuracy
English
What if your deep knowledge of mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Researchers to help train and improve cutting-edge AI models — designing rigorous problems, evaluating solutions, and pushing…
Mathematics
AI
Training
+12
Reasoning
Flexible
Precision
Organization
Algebra
Calculus
Statistics
Python
MATLAB
Research
English
Annotation
What if your expertise in mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Specialists with advanced degrees to help train and evaluate cutting-edge AI models — crafting rigorous problems, stress-testing AI…
AI
Training
Mathematics
+12
Statistics
Reasoning
Flexible
Organization
Accuracy
Analysis
Algebra
Probability
Writing
Logic
Annotation
Research
What if your years of advanced mathematical training could directly shape how AI reasons, solves problems, and thinks — for millions of people around the world?
Training
AI
Verification
+12
Express.js
Flexible
Precision
Organization
Mathematics
Logic
Writing
Algebra
Analysis
Topology
Coq
Isabelle
What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for skilled mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs —…
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
Reasoning
Analysis
Organization
Flexible
Accuracy
Interpretation
Teaching
Communication
Economics
Precision
Consistency
Statistics
We're looking for experienced econometrics instructors and quantitative economists to help evaluate and improve AI systems trained on economic reasoning and statistical analysis.
Mathematics
AI
Research
+12
Collaboration
Reasoning
Writing
Training
Accuracy
Flexible
Creativity
Consistency
Precision
Problem Solving
Communication
Coaching
Join a cutting-edge AI research initiative in collaboration with a leading frontier AI laboratory focused on advancing mathematical reasoning in next-generation AI systems.
Mathematics
AI
Training
+12
Analysis
Precision
Consistency
Reasoning
Documentation
Collaboration
Cross-Functional Collaboration
Microsoft Teams
Organized
Writing
Research
Accuracy
Role Title: Mathematics Subject Matter Expert (AI Training) Role Type: Contractor Location: Remote In this role, you'll apply your expertise to help train next-generation AI systems.
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?
