at Alignerr
Get paid up to $200/hr to push the boundaries of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Fully remote.