About the role
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid....
The platform supplies a short summary. Read the full requirements on the original listing.