31 Aug
|
Alignerr
|
Melbourne
31 Aug
Alignerr
Melbourne
Alignerr is seeking a researcher to advance Lean 4 formalization and AI training. This fully remote hourly contract invites mathematicians and verification specialists to translate informal proofs into machine-verifiable Lean 4 code, exploring algebra, topology, and logic in a remote, versatile setting.
The role emphasizes rigorous proof writing, reproducible scripts, and collaboration to push the boundaries of formal verification tools. 10–40 hours per week, highly autonomous work.
J-18808-Ljbffr
📌 Remote Researcher: Lean 4 & Formal Proof Systems Melbourne
🏢 Alignerr
📍 Melbourne