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?
Remote AI Expert - Mathematics Jobs in Guadeloupe 2026
42 remote jobs open to candidates in Guadeloupe in AI Expert - Mathematics. Updated daily.
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 —…
What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics?
We're looking for experienced econometrics instructors and quantitative economists to help evaluate and improve AI systems trained on economic reasoning and statistical analysis.
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) 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?
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) 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) 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 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?
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?
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
Rise Data Labs is a leading AI training and data annotation company that specializes in creating high-quality training data for artificial intelligence systems.
Rise Data Labs is a leading AI training and data annotation company that specializes in creating high-quality training data for artificial intelligence systems.
Rise Data Labs is a leading AI training and data annotation company that specializes in creating high-quality training data for artificial intelligence systems.
Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems.
Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems.
Turing is one of the world’s fastest-growing AI companies accelerating the advancement and deployment of powerful AI systems.