Help define how frontier AI models reason about mathematics. 1. Overview We are looking for senior mathematicians to improve how frontier AI models reason about real mathematical research. Your mathematical judgment is the substance of this role.
Remote job listings
Find your next remote opportunity from thousands of listings across the globe.
NVIDIA pioneered accelerated computing. Today, we are building software, systems, and research platforms that help scientists and engineers solve problems that were once out of reach.
Paid, remote contract work with AfterQuery, building and reviewing technical tasks that help test AI models in parallel algorithms and HPC. For PhD-level researchers and research engineers who publish and ship code.
AI labs need physics checked by people who have done the derivation themselves. A model can recite a result and the steps that lead to it. Noticing the dropped factor, or the approximation applied outside its range, takes a physicist.
AI labs need mathematics checked by people who can follow a proof line by line. A model can state the theorem and write something that looks like a proof. Knowing where it quietly skips a step takes a mathematician. This listing is a waitlist, not an open position.
Turing is one of the world’s fastest-growing AI companies, accelerating the advancement and deployment of powerful AI systems.
Turn computational work from your own math research into paid evaluation tasks for AI models. Open to research-track Bachelor's students, Master's and PhD students, postdocs, and recent graduates.
We are looking for mathematicians to help train and evaluate AI models on advanced mathematical reasoning. You will write problems with complete solutions, verify model reasoning step by step, and classify the errors that models make.
You'll spend your time evaluating model-generated solutions to math problems — ranging from algebra and calculus to combinatorics and proof-based reasoning.
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
What if your years of advanced mathematical training could directly influence how AI reasons through the world's hardest problems?
What if your expertise in advanced mathematics could directly shape how AI reasons, solves problems, and thinks — for millions of people around the world?
What if your deep knowledge of mathematics could directly shape how AI reasons, solves problems, and communicates with millions of people around the world?
What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs —…
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?
Intelligent machines powered by Artificial Intelligence computers that can learn, reason and interact with people are no longer science fiction. Today, a self-driving car powered by AI can meander through a country road at night and find its way.
What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs — pushing the boundary of what…
What if your deep mathematical training could directly shape how AI reasons about proofs — pushing the boundaries of what machines can verify, understand, and automate?
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?
Nvidia is developing accelerated platforms and technologies for next generation Telecom Wireless infrastructure. We are focused on AI-RAN and Agentic Core to deliver unparalleled performance and spectral efficiency.
We are looking for software engineers to contribute to the design and development of libraries and tools to simplify and accelerate computing for unstructured sparsity in DL and HPC.
We are looking for software engineers to join our development efforts in cuDSS, a CUDA library for direct solvers for sparse linear systems.
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.
SpaceX was founded under the belief that a future where humanity is out exploring the stars is fundamentally more exciting than one where we are not.
SpaceX was founded under the belief that a future where humanity is out exploring the stars is fundamentally more exciting than one where we are not.
NVIDIA Math Libraries team is looking for a senior engineer to join our development efforts in the area of kernel generation for AI and HPC, specifically targeting matrix operations, JITing and fusions.
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 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 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 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 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 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 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 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 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 Japanese, 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.