at Alignerr
Get paid up to $200/hr to formalize advanced proofs in Lean 4 and help push the frontier of AI-powered mathematics. Remote and flexible.