Average salary: $65,656 /yearly

More stats
Get new jobs by email

  • Formal Verification Scientist (Lean 4 & Mathlib)

    $70 - $150 per hour

     ...Strong foundation in rigorous proof writing and mathematical reasoning across areas such as algebra, analysis, topology, logic, or discrete math. Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems, with Lean strongly preferred.... 
    Suggested
    Hourly pay
    Contract work
    Freelance
    Remote job
    Flexible hours

    Alignerr

    Adelaide
    12 days ago