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