Global opportunities

Remote job listings

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

Filters

11 remote jobs found
Research Physics Flexible +12 AI Simulation Algorithms Reasoning Literature Analysis Coq Computer Science Computational Physics Formal Methods Computational Research Research Methods
  • 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…

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 —…

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

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

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.