[TYPES/announce] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen

[Freek Wiedijk]

Dear all,

We are looking for a PhD student with a master in mathematics
or equivalent, who wants to write his/her/their PhD thesis on
formalization of mathematics.  In particular this is about a
formalization project related to Fermat's Last Theorem.  See

  https://urldefense.com/v3/__https://www.cs.ru.nl/*freek/fltfps/__;fg!!IBzWLUs!ErCcdTahPPBh3kOc5nDzWF5Fw5k1Wo2mP0OYIUPeBoCX7c5VzgWJkqUTVx1dUbRzosH9qwDTNhvN4g$ 

for more details about the position.

If you are interested, or know someone who might be
interested, we would very much like to hear from you.

Freek