Global opportunities

Remote job listings

Find your next remote opportunity from thousands of listings across the globe.

Filters

7 remote jobs found
Mathematics mathlib AI +12 Writing Algebra Analysis Combinatorics Logic Rubrics Research Communication Strategic Thinking Coq Isabelle Agda
  • 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.

Training AI Reasoning +12 Flexible Mathematics Express.js Organization Verification Logic Writing Algebra Analysis Topology Coq Isabelle
  • 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?

AI Training Verification +12 Express.js Flexible Precision Organization Mathematics Logic Writing Algebra Analysis Topology Coq Isabelle
  • 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 —…

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.

Stay in the loop.

One email per week, 5 hand-picked roles.