About the role
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of mechanized mathematics — fully...
The platform supplies a short summary. Read the full requirements on the original listing.