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.
Global opportunities
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.
United States
Canada
Australia
India
Per task: paid per unit of work, like an approved task or accepted video.
Annual salary floor. Hourly-only roles pass through.
3 remote jobs found
Mathematics
mathlib
AI
+12
Writing
Algebra
Analysis
Combinatorics
Logic
Rubrics
Research
Communication
Strategic Thinking
Coq
Isabelle
Agda
AI Expert - Mathematics
Contractor
AI
Training
Mathematics
+12
Flexible
Verification
Organization
Consistency
Logic
Reasoning
Coq
Isabelle
Agda
Annotation
Research
Contracts
- Remote (Global) (not 24 countries)
- $170–$200/hour
- Jul 14, 2026
What if your deep expertise in formal mathematics could directly shape how AI reasons, proves, and verifies mathematical truths?
AI Expert - Mathematics
Contractor
AI
Mathematics
Reasoning
+12
mathlib
Flexible
Logic
Organization
Research
Audit
Writing
Verification
Annotation
Coq
Isabelle
Agda
- 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?
No jobs available
Check back soon for new remote job opportunities.
Page 1 of 1
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.