Zulip Chat Archive
Stream: general
Topic: PhD position in the Netherlands
Jeremy Avigad (Jan 04 2022 at 00:43):
Freek Wiedijk has advertised a PhD position at Radboud University in Nijmegen: https://www.cs.ru.nl/~freek/fltfps/. Four years to formalize number theory in Lean. Sounds like heaven!
Martin Dvořák (Jan 06 2022 at 13:15):
Fermat's Last Theorem, huh!
Yury G. Kudryashov (Jan 06 2022 at 13:34):
Should this be moved to the #job postings stream?
Last updated: May 02 2025 at 03:31 UTC