Lean 4 Proof Engineer — Mathematical Formalization About the Role What if your deep mathematical training could directly shape how AI reasons about formal proof — helping machines understand arguments that push the very limits of what automated systems can verify?
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.
Annual salary floor. Hourly-only roles pass through.
- Remote (Global)
- $170 – $200/hr
- May 25, 2026
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof?
- Remote (Global)
- $170 – $200/hr
- May 25, 2026
Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical expertise could directly shape the future of AI reasoning?
- Brazil, Germany, India, United States
- Up to $70/hr
- May 21, 2026
Remote contract opportunity for experienced mathematicians and quantitative specialists to evaluate AI-generated mathematical reasoning and review complex solutions.
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.