Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible.…
About the role
Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible.…
Posted 20 times
Alignerr posted this role 20 times, usually once per city or country. We show it once. The pay shown covers all of them.
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
