Job Description
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 #J-18808-Ljbffr
