03 Nov
|
Alignerr
|
Brisbane
Alignerr is seeking mathematicians and formal methods specialists to formalize advanced proofs in Lean 4, working at the boundary of human intuition and machine-verifiable logic. This is a fully remote, hourly contract role for experts who enjoy rigorous proof work.
You'll translate informal arguments into Lean code, challenge assumptions, and collaborate with AI researchers to advance formal verification pipelines, with flexible schedule between 10 and 40 per week.
#J-18808-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher (Brisbane)
🏢 Alignerr
📍 Brisbane