Job Description
Alignerr is seeking Applied Formal Methods Researchers to translate advanced mathematical arguments into Lean 4 formalizations, pushing the boundaries of modern proof assistants. This is a fully remote hourly contract ideal for mathematicians passionate about formal verification and machine-verifiable reasoning. You will translate proofs, analyze structures, and develop reproducible proof scripts while collaborating with researchers to refine verification pipelines and contribute to large-scale #J-18808-Ljbffr
