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, * 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-*-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher: Shape Ai Reasoning South Australia
🏢 Alignerr
📍 South 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.