at Alignerr
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of formal verification, and get paid well to do it.