Get paid up to $200/hr to push the boundaries of AI reasoning — formalize advanced proofs in Lean 4 and help teach machines to think like mathematicia…
About the role
Get paid up to $200/hr to push the boundaries of AI reasoning — formalize advanced proofs in Lean 4 and help teach machines to think like mathematicia…
Posted 29 times
Alignerr posted this role 29 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.
