at Alignerr
Get paid to push the frontier of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Remote, flexible, elite-level work.