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