## About the Project We build hard, verifiable tasks that AI agents must solve on a computer: analyze the data, run the simulation, fix the model, produce the report.
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)
- $100 – $400/hr
- Oct 13, 2026
Role Title: Principal Research Scientist (Computer Science / Computational Physics) Role Type: Contractor (flexible, Part-Time or Full-Time) Location: Remote micro1 is engaging Principal Research Scientist (Computer Science / Computational Physics)s to contribute to an advanced…
- Remote (Global)
- $90 – $110/hr
- Sep 30, 2026
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 (Global) (not 24 countries)
- $50–$150/hour
- Jul 14, 2026
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
- 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?
- Remote (Global) (not 24 countries)
- $50–$150/hour
- Jul 14, 2026
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
- Remote (Global) (not 24 countries)
- $170–$200/hour
- Jul 14, 2026
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 —…
- Remote (Global) (not 24 countries)
- $170–$200/hour
- Jul 14, 2026
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?
- 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 23, 2026
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?
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.