at Alignerr
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 and help shape the future of mechanized reasoning — fully remote, up to 40hrs/week.