Email Gateway (Jan 10 2022 at 10:18): Email Gateway (Jan 10 2022 at 10:18):From: Freek Wiedijk <freek@cs.ru.nl>
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://www.cs.ru.nl/~freek/fltfps/
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
Last updated: Jul 15 2022 at 23:21 UTC