Curated remote opportunities

Remote AI Expert - Mathematics Jobs in Germany 2026

52 remote jobs open to candidates in Germany in AI Expert - Mathematics. Updated daily.

Alignerr
AI Training Accuracy +12 Flexible Reasoning Logic Expressions Microsoft Word Mathematics Research Teaching Problem Solving Microsoft Excel Communication Precision
  • Remote (Global) (not 24 countries)
  • $90–$120/hour
  • Jul 14, 2026

What if the mathematical expertise you spent years developing could directly shape how AI reasons, proves, and solves problems for millions of people worldwide?

Alignerr
Training AI Reasoning +12 Flexible Mathematics Express.js Organization Verification Logic Writing Algebra Analysis Topology Coq Isabelle
  • Remote (Global) (not 24 countries)
  • $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 the future of AI reasoning?

Alignerr
AI Training Mathematics +12 Express.js Flexible Precision Verification Go Organization Logic Writing Algebra Analysis Topology Coq
  • Remote (Global) (not 24 countries)
  • $170–$200/hour
  • Jul 14, 2026

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?

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Alignerr
Mathematics AI Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Alignerr
AI Research Mathematics +12 Flexible Logic Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Alignerr
AI Research Mathematics +12 Flexible Logic Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • Remote (Global) (not 24 countries)
  • $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?

Mercor
AI Expert - Mathematics Contractor Talent pool ↻ Reposted
AI MATCH Training +8 Mathematics Research Analysis Modeling Communication Professional Experience Statistical Analysis Communication Skills
  • Remote (Global)
  • $60 – $80/hr
  • Feb 27, 2026

Join our 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.

Stay in the loop.

Occasional emails with our new remote-work guides. No spam, unsubscribe anytime.