Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
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
Annual salary floor. Hourly-only roles pass through.
2 remote jobs found
Training
AI
Mathematics
+12
Reasoning
Flexible
Organization
Automation
Verification
Writing
Algebra
Communication
Annotation
Research
Advanced Mathematics
Mathematical Reasoning
Statistical Analysis
Problem Solving
Fact-Checking
+11
LLM Evaluation
Mathematics
Advanced Mathematics
Pure Mathematics
Applied Mathematics
Discrete Mathematics
Probability
Optimization
Quantitative Analysis
Mathematical Modeling
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.
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.