at Alignerr
Put your mathematics expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape machine-verifiable knowledge, and get paid top dollar — fully remote.