Alignerr in Australia is seeking an Applied Formal Methods Researcher to translate rigorous mathematics into Lean 4 proofs. You will work at the frontier of formal verification and AI reasoning, producing machine-checkable formalizations.
Remote, hourly contract, 10–40 hours/week. You will collaborate with researchers to improve verification pipelines and test the limits of proof assistants, with emphasis on clarity and correctness.
#J-18808-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher: Shape AI Reasoning (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.