Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning.…
About the role
Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning.…
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.
