Browse roles

Every open Mercor and micro1 role. Pick one to practise its interview.

4 Maths roles on Mercor

• Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

  $90–110/hr

  Life, Physical, and Social Science · Part time · 20 hours a week

  Lean 4 theorem provingFormal proof authoringMathematical formalization
  See the rolePosted 7 days ago

• Mathematical Physicist (PhD)

  $80–110/hr

  Life, Physical, and Social Science · Hourly · 10 hours a week

  Hypergeometric functionsLax pair formalismCayley distance and combinatorics
  See the rolePosted 12 days ago

• Mathematics Expert

  $40–75/hr

  Life, Physical, and Social Science · Part time · 40 hours a week

  Mathematical proof verificationProblem composition at research levelLogical rigor assessment
  See the rolePosted 22 days ago

• Mathematician Talent Network

  $60–80/hr

  Data Analysis · Part time

  Research methodology
  See the rolePosted 7 months ago