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