Mathematician – Formalization & AI Foundations (Remote Contract)

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.