Alignerr is seeking Applied Formal Methods Researchers to translate rigorous mathematics into Lean 4 proofs, pushing the frontier where formal verification meets AI. This fully remote, hourly contract role is built for mathematicians who value precision and structure, capable of expressing elegant arguments so machines can verify them.
You will translate informal proofs into Lean 4 formalizations, analyze gaps, and contribute to reproducible proof scripts while collaborating with researchers to