May be filled
Researcher - Lean 4 & Formal Proof Systems
Brisbane, Queensland, Australia
2026-02-09
170,00 US$/hora - 200,00 US$/hora
AI Summary
Powered by ClaudeWrite and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Organization: Alignerr Position: Researcher - Lean 4 & Formal Proof Systems Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview - We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean.
Job description
Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Organization: Alignerr Position: Researcher - Lean 4 & Formal Proof Systems Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview - We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean.
Get a weekly digest of similar roles
Save this search for Researcher - Lean 4 & Formal Proof Systems in Brisbane, Queensland, Australia around 170,00 US$/hora - 200,00 US$/hora and get the strongest matches every week.
Privacy-first. Unsubscribe anytime.