Get paid up to $200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematician…
About the role
Get paid up to $200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematician…
Posted 32 times
Alignerr posted this role 32 times, usually once per city or country. We show it once. The pay shown covers all of them.
Also listed in 1 other location
Each location keeps its own rate and eligibility evidence. They are not extra positions.
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
