at Alignerr
Get paid up to $150/hr to formalize advanced math proofs in Lean — work at the frontier of AI research. Fully remote and flexible.