Alignerr is seeking mathematicians and formal methods specialists to formalize advanced proofs in Lean 4. This is a fully remote, hourly contract role with 10–40 hours per week, designed at the boundary of human intuition and machine-verifiable logic.
You will translate informal proofs into formal Lean 4 structures, analyze proofs for gaps, and collaborate with AI researchers to strengthen verification pipelines and prove correctness in complex domains.
J-18808-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher Brisbane City (Australia)
🏢 Alignerr
📍 Australia
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.