About the role
Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule...
The platform supplies a short summary. Read the full requirements on the original listing.