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: https://www.cs.ru.nl/~freek/fltfps/
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.
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.