Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall…
About the role
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall…
Posted 2 times
Alignerr posted this role 2 times, usually once per city or country. We show it once. The pay shown covers all of them.
