Get paid to push the frontier of formal mathematics — turn complex proofs into machine-verifiable Lean code for cutting-edge AI research. Remote & fle…
About the role
Get paid to push the frontier of formal mathematics — turn complex proofs into machine-verifiable Lean code for cutting-edge AI research. Remote & fle…
Posted 33 times
Alignerr posted this role 33 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.
