30 Sep
|
Alignerr
|
Melbourne
30 Sep
Alignerr
Melbourne
Alignerr is seeking Applied Formal Methods Researchers 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 designed for mathematicians who value precision and explicit formal structure, with 10–40 hours per week.
You will translate informal proofs into Lean 4, analyze gaps, and build readable, machine-verifiable formalizations while collaborating with AI researchers to improve
#J-18808-Ljbffr
📌 Remote Lean Formal Methods Researcher (Melbourne)
🏢 Alignerr
📍 Melbourne