About the role
Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding....
The platform supplies a short summary. Read the full requirements on the original listing.