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

Freek Wiedijk freek at cs.ru.nl
Mon Jan 10 05:18:59 EST 2022

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


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.


More information about the Types-announce mailing list