Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p…
About the role
Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p…
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.
