Curated remote opportunities

Remote AI Expert - Mathematics Jobs in Guadeloupe 2026

42 remote jobs open to candidates in Guadeloupe in AI Expert - Mathematics. Updated daily.

Alignerr
Training AI Verification +12 Express.js Flexible Precision Organization Mathematics Logic Writing Algebra Analysis Topology Coq Isabelle
  • 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 —…

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Alignerr
Mathematics AI Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Alignerr
AI Research Mathematics +12 Flexible Logic Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Alignerr
AI Mathematics Flexible +12 Logic Research Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Alignerr
AI Research Mathematics +12 Flexible Logic Organization mathlib Reasoning Audit Writing Verification Annotation Training Topology Algebra
  • 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?

Stay in the loop.

One email per week, 5 hand-picked roles.