job ad: PhD position in Formalization of Mathematics 

Freek Wiedijk of Radboud University Nijmegen has announced a PhD position for formalizing Fermat's Last Theorem, probably in Lean:

If you're considering a PhD, I can tell you from experience that the Dutch setup is an excellent option: to me it feels like a job as researcher (with some teaching duties) and after 4 years, I also get a nice gender-neutral title.

· · Web · 0 · 18 · 3
Sign in to participate in the conversation

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.