23 Oct
|
Alignerr
|
Melbourne
23 Oct
Alignerr
Melbourne
Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research. This is a fully remote, hourly contract role for mathematicians who value precision and rigorous reasoning.
Join a team that translates informal arguments into machine-verifiable proofs, collaborates with AI researchers, and pushes the boundaries of what proof assistants can achieve, with flexible schedule between 10–40 per
#J-18808-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher (Melbourne)
🏢 Alignerr
📍 Melbourne