Global opportunities

Remote job listings

Find your next remote opportunity from thousands of listings across the globe.

Filters

15 remote jobs found
AI Expert - Mathematics Contractor · Part-time Ongoing
Mathematical Proofs Number Theory Algebra +11 Topology Analysis PDEs Probability Combinatorics Logic Statistics Mathematical Modeling Research Writing LLM Evaluation Mathematical Research
  • India
  • $35-$50/hr
  • Jun 16, 2026

Part-time opportunity for accomplished mathematics researchers to help train and evaluate frontier AI systems through advanced mathematical reasoning, proof verification, and research-level problem creation.

AI Expert - Mathematics Contractor Ongoing
Mathematical Research Proof Verification Proof Construction +14 Advanced Mathematics Logical Reasoning Technical Writing research-evaluation Academic Review Number Theory Algebra Topology Analysis Probability Combinatorics AI Evaluation LLM Evaluation Benchmark Development
  • United States
  • $90 – $150/hr
  • Jun 15, 2026

Research mathematicians are needed to help train and evaluate frontier AI systems capable of advanced mathematical reasoning. Responsibilities include authoring research-level problems, evaluating proofs, identifying model failures, and contributing expert mathematical insight across pure and applied mathematics domains.

AI Mathematics Flexible +12 Logic Research Organization Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

Mathematician – Formal Proof & 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?

Mathematics AI Flexible +12 Logic Research Organization Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Training Topology Algebra Analysis
  • Remote (Global)
  • $170 – $200/hr
  • Jun 15, 2026

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 Reasoning Audit Writing Verification Annotation Topology Algebra Analysis
  • Remote (Global) (US: NY)
  • $170 – $200/hr
  • Jun 15, 2026

Mathematician – Foundations & Formal Proof (AI Training) 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 & Data Training Contractor
AI Training Verification +12 Flexible Organization Automation Mathematics Logic Writing Algebra Analysis Topology Communication Reasoning Annotation
  • Remote (Global)
  • $170 – $200/hr
  • Jun 10, 2026

Researcher – Lean 4 & Formal Proof Systems (AI Training) About the Role What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?

AI & Data Training Contractor
Verification Training AI +12 Research Mathematics Flexible Organization Logic Writing Algebra Analysis Topology Precision Communication Automation
  • Remote (Global)
  • $170 – $200/hr
  • Jun 10, 2026

Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify?

AI & Data Training Contractor
AI Training Verification +12 Research Mathematics Flexible Precision Organization Automation Logic Writing Algebra Analysis Topology Communication
  • Remote (Global)
  • $170 – $200/hr
  • Jun 10, 2026

Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About the Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — and help push the boundaries of what machines can verify?

xAI
AI Engineering Organization +12 Leadership Communication Problem Solving Annotation Training Algebra Analysis Topology Mathematics Writing English Databases
  • Remote (Global)
  • May 19, 2026

ABOUT xAI xAI’s mission is to create AI systems that can accurately understand the universe and aid humanity in its pursuit of knowledge. Our team is small, highly motivated, and focused on engineering excellence.

Tips for finding remote jobs

  • Set up job alerts on multiple platforms to never miss an opportunity.
  • Highlight your remote work experience and self-management skills.
  • Prepare for video interviews and remote work assessments.
  • Customize your resume and cover letter for each remote position.
  • Build a strong online presence on LinkedIn and professional networks.

Stay in the loop.

One email per week, 5 hand-picked roles.