Remote AI Expert - Mathematics Jobs in Europe 2026

Lean 4 Mathematical Formalization Expert

• Remote (Global)
• $170–$200/hour
• Jul 14, 2026

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…

Mathematical Formalization Specialist

• Remote (Global)
• $50–$150/hour
• Jul 14, 2026

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 Expert (Masters/PhDs)

• Remote (Global)
• $75–$90/hour
• Jul 14, 2026

What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world?

Mathematics Researcher (Masters/PhDs)

• Remote (Global)
• $75–$90/hour
• Jul 14, 2026

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 Specialist (Masters/PhDs)

• Remote (Global)
• $75–$90/hour
• Jul 14, 2026

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…

Math Expert or Specialist

• Remote (Global)
• $40–$60/hour
• Jul 14, 2026

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?

Lean 4 Proof Engineer - Mathematical Formalization

• Remote (Global)
• $170–$200/hour
• Jul 14, 2026

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 —…

Mathematician (Foundations / Formalization)

• Remote (Global)
• $170–$200/hour
• Jul 14, 2026

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 Instructor

• Remote (Global)
• $35–$70/hour
• Jul 14, 2026

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 Expert (Romania)

• Romania
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Poland)

• Poland
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Italy)

• Italy
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Portugal)

• Portugal
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Spain)

• Spain
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (France)

• France
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Netherlands)

• Netherlands
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (UK)

• United Kingdom
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Sweden)

• Sweden
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematics Expert (Finland)

• Finland
• $40 per hour
• Jun 19, 2026

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.

Mathematician – Formalization & AI Foundations (Remote Contract)

• 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?

Mathematician – Formal Proof & AI Foundations (Remote Contract)

• 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?

Mathematician – Formal Proof & AI Research (Remote Contract)

• Remote (Global)
• $170-200/hr
• Jun 15, 2026

What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?

Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)

• 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?

Mathematician – Proof Formalization & AI Research (Remote Contract)

• 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?