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