Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.
Remote job listings
Find your next remote opportunity from thousands of listings across the globe.
Filters
›
›
›
Country-wide jobs always show. Picking a state also reveals jobs limited to that state.
Per task: paid per unit of work, like an approved task or accepted video.
Annual salary floor. Hourly-only roles pass through.
- Remote (Global) (not 24 countries)
- $170–$200/hour
- Jul 14, 2026
What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics?
- Remote (Global) (not 24 countries)
- $170-200/hr
- Jun 23, 2026
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…
- 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?
- 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?
- Remote (Global) (not 24 countries)
- $170-200/hr
- Jun 15, 2026
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
- 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?
- 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?
- 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?
- 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?
- Remote (Global) (not 24 countries)
- $170-200/hr
- Jun 15, 2026
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think?
No jobs available
Check back soon for new remote job opportunities.
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.