12 Oct
|
Alignerr
|
Adelaide
Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced proofs in Lean 4, pushing the frontier of machine-verifiable mathematics. This fully remote, hourly contract role offers flexible hours and collaboration with leading researchers.
Strong mathematical depth and hands-on experience with formal proof systems are required; no AI background is necessary. 10–40 hours per week, globally distributed team, work from home allowed.
#J-18808-Ljbffr
📌 Remote Lean 4 Proof Engineer — Formalize Advanced Math (Adelaide)
🏢 Alignerr
📍 Adelaide