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.
Remote job listings
Find your next remote opportunity from thousands of listings across the globe.
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.
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?
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?
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?
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?
Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics?
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?
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?
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?
This position is listed on behalf of a partner company, who manages all applications and next steps. Our partner is looking for an Advanced Mathematics Consultant - AI Training based in India.
Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data.
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.
Create and evaluate advanced mathematics problems to help improve AI reasoning and chatbot performance in this flexible remote role.
Opportunity Overview Handshake is looking for Mathematics PhDs to support AI research through flexible, hourly contract work. This is not a traditional academic or industry research role.
About the Role: TELUS Digital is seeking a Math & AI Evaluation Specialist to support the assessment of AI-generated mathematical content.
About the Role: TELUS Digital is seeking a Math & AI Evaluation Expert to support the assessment of AI-generated mathematical content. In this role, you will play an important part in ensuring the quality, accuracy, and reliability of mathematical outputs produced by AI systems.
Are you a mathematics expert fluent in Hindi (Roman Script), eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Hindi, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Russian, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Dutch, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Swedish, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Italian, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Portuguese (Portugal), eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Portuguese (Brazil), eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in French, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Spanish (Latin America), eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in German, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Korean, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Spanish (Spain), eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Indonesian, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Japanese, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert fluent in Arabic, eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
Are you a mathematics expert eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery.
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.