coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen

From: Freek Wiedijk <freek AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: [Coq-Club] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen
Date: Mon, 10 Jan 2022 11:17:15 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=freek AT cs.ru.nl; spf=Pass smtp.mailfrom=freek AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp1.science.ru.nl
Ironport-data: A9a23:VL9gOaALjRgT+xVW/43hw5YqxClBgxIJ4g17XOLfVwO412t00TYGmjYWWzyOaKzfNGWke9kjaNm19UwCuZ6km99gGjLY11k9FiMQ8ZKt6fexdxqrYXvKdqUvdK/WhiknQoGowPscEzmM9n9BDpC79SMmjfjRHuKlYAL5EnkZqTFMGH9JZS1LwLZRbr5A2bBVMivV0T/Ai5W31GyNh1aYBlkpB5er83uDihhdVAQw5TTSbdgT1LPXeuJ84Jg3fcldJFOgKmVY83LTegrN8F251juxExYFEda5iu+9aUYLT7jZME6UlzxQX8BOgDAb/XV0i/lncqNCLx4L0F1lnPgpoDlJnZKqRAoqFqbX3v4AFR9ce817Ffcco+WZfibXXcu7lRScKyGwqxl0N2k9OpRd8eJqC0lV5PkAIXYMaAqCjqS42tqGpkNE7ig4BNLuIJtG/GprzDzfBvtgW42FRaGi2DOR5x9o7ugmIBoUT5BxhftTgBX8j9lnIVILEMt4h+ypi3/0fntCtRSTocLbJkDNmRdp3uGF3MX9I7S3qQd9xy50ZV4qO0zyGVcAKZqZzVJpN1qy0/TXk3qTtJ06TdWFGz0DvLFX7mcITgcLE12/yRV8oiZSRPoHQ3EpFuESQWTeOaBlohQRn/F1nZJcgiMhZg==
Ironport-hdrordr: A9a23:5gjjnqoGrA4BOR4XgukcfEsaV5o4eYIsimQD101hICG9Vvbo8vxG/c5rtyMc7Qx6ZJhOo7y90cW7Lk80lqQFgrX5X43DYOCOggLBR+xfBODZogEIdReRygcQ79YFT5RD
Ironport-phdr: A9a23:nbUcKxHh5qljUulGkjHBpZ1Gfy9MhN3EVzX9CrIZgr5DOp6u447ldBSGo6k31RmQAN2QsqsMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YDfbx9ViDe9fb9+Iwi6oRjMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM3/mHZhNJtgqxYrx2uuwFwzIDPbYGJKPZzZL/Rcc8ASGZfWMtaSixPApm7b4sKF+cPPfxYoJfjqFsNsBCxBQisC/3yxT9JhH/23rAx3uMvEQHcwgMvAdEOvW/Io9XuLqsSS/21wLPOzTXHdv5b3yr254fUfB47u/6MQa5wftTLyUkpDw7JkladpI/7Mj6V2eoDs2eW4uh+We6yhWMqtwF8ryagy8kjloTEhZ8Yx03Y+Ch3z4g7K8O0RU9lbdK5DpZdty6XOo1rSc0sRGFovTw1yrwAuZOjZigK1Y4rxxjba/GBboOG4QrjWf6MLTp2mX5pYq+zihS9/ES61+HxV9O43EtFoydLitXBtW4B2wbX58WIUPdw8Ees1SyR2wzN6exJJ10/m7DBJJ472LEwk4IesUTdES/yn0X7lLSWdkA4+uiw9ujreK7mqYOdN4BqjAHxLrohltalAeQlKAQOWWyb9fy91L3l40L5XK1HguA4n6XEqpzWOMYWq6GjDwNI04sv8QuzAjio3dgAmHkINlNFeBaJj4jzPFHOJej1Dfmlg1uyjjhrxOvLMaH6ApnXNHjDja3tfbB560JE0go80chf545ICrEGOP/8RkjxtMXBAhAlNwy03v3oBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4KvlimZ8klsAd4Go24EWYTa2BKdIOUKcNFT2j9oCWVgLswY/Tu+i3FOYXDNQT32pGbghoDc/XtH1RbzfT5yg1eTSlBywGYdbMzgu4r+kGmyubZjCXfNeMUp6x+dqiXoeSP6nT915vflPnBT/16I+aPHf+yAevp+lzsUz4emBzHkP

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

[Coq-Club] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen, Freek Wiedijk, 01/10/2022