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 ClaudeLocation: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research.
Job description
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research.
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.