at Alignerr
Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible.