at Alignerr
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of formal verification, and earn top rates — fully remote.