[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
