at Alignerr
Put your mathematics expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of formal verification — fully remote and exceptionally well paid.