at Alignerr
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of automated reasoning — fully remote and exceptionally well paid.