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