Job Description
Alignerr is seeking Applied Formal Methods Researchers to translate advanced mathematical arguments into Lean 4 formalizations, pushing the edge of what modern proof assistants can do. This is a fully remote, hourly contract role for mathematicians passionate about formal verification and expressing rigorous human reasoning in machine-checkable form. You will translate informal proofs, analyze gaps, and develop readable proof scripts in Lean idioms, while collaborating asynchronously with #J-18808-Ljbffr
