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...
The platform supplies a short summary. Read the full requirements on the original listing.