Alignerr seeks an Applied Formal Methods Researcher to translate advanced mathematical arguments into Lean 4 formalizations, pushing the edge of modern proof assistants. This is a fully remote, hourly contract for mathematicians passionate about formal verification and machine-checkable reasoning.

Role involves translating proofs, analyzing structure, and developing reproducible formalizations, with collaboration across researchers to improve verification pipelines and extend library