coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benedikt Ahrens <benedikt.ahrens AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] PhD position in HoTT/UF at TU Delft
- Date: Wed, 26 May 2021 20:47:01 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=benedikt.ahrens AT gmail.com; spf=Pass smtp.mailfrom=benedikt.ahrens AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f49.google.com
- Ironport-hdrordr: A9a23:lhk8PK0W9SnFGs7mY3RICgqjBIskLtp133Aq2lEZdPU1SL3gqynKpp4mPHDP+VMssR0b6LK90ey7MBDhHP1OgLX5X43SODUO0VHAROpfBMnZowEIcBeOkdK1u50QFZSWy+edMbG5t6vHCcWDfOrICePozJyV
- Ironport-phdr: A9a23:oODl2h/+w3/dXv9uWUW7ngc9DxPPW53KNwIYoqAql6hJOvz6uci7bQqFta4m0wGBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPeksC62/qs95DQbQhEiziwbLJvJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDoJOSA6/m/ZhMN/g75Urh26qhxjwYPZep2ZOOZwc67fe94RWGpPXtxWVyxEGo6xcpUAD+wfMulFron9pEcOpgaiCAmsHuPg1DlIhmTr1qA9yOsuDwfG0xI9ENIPs3TUsM/5O70SUeCv0qbIyy7DYuhZ2Tf48ofIcxQhreuQUrJ3dMrc0E8iHB7KgVuMs4LqJS+V1vgTvGiB6eptTeKihm07pwxwpjWixMcih5TVi4wV1lzJ6zh0zYQpKNClSUN2YMKpHYZSuiyEOYZ4Td8uTmJptSs11LALvYK2cigMxZ86yRDfbPmHfJKJ4hLlTOuRPSp4i297d7K7iRay7VKsyuv4VsWs31ZKrzZFkt3WuX8WzRDT68+HR/1g9UmiwTaCzx7f5v1ALEwulqfWK4QtzqAtmpcQq0jOESv7lF3ogKOKakko5+2l5P7mb7n4o5KROJR7hwD7P6kqmMGzHfk0Pw0AX2WZ5euwybju8lP3QLpRivA7l6rUv4vEKckZo6O0AwFV3Zo+5xu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gCPewmVWskDNyy//YPL3tH4zBLnbMnbrlZ7p95ElcyA08zdBb+Z1YEK0OIPX2WkPptdzYCAE2MxCszur5FNlw0pkSVGGPD6ODLq/erFyF6vggLuSIfIMVvSzyK/kh5/7gl385nlodcLGy0pQJbnC3AOlpI0SaYXrwmNsOC2cKvhAgQ+zsk12PSjFTZ3OoUKI94jE3Ep6pDYDGRoy1mryOwD+7HoFKZmBBEl2DDXDod5ydV/gQbCKSP9RunycfVbmhTo8hzQuhuBX7y7phNOrU+zcXuYjt1NhvtKXvkkQ58iUxBMCA2UmMSXt1lyUGXWwYxqd69GZwzFqP0Ktky9VYD9FV/LsdWAo8OJLdzPA8AtDoVwTaVtiMQVeiBN6hBGdiHZoK39YSbhMlSJ2ZhRfZ0n/ya1f0v7mCBZhx/6CFmnatdoByzHHJ0KRnhF4jEJMn3YiOiat29gyVDInMwR3xf0mCeqEV3SqL/2CGnzPmgQ==
A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF. The student will be supervised by Benedikt Ahrens [3].
Information about the position is available on the dedicated website [1]. If you have any questions or consider applying, please get in touch with Benedikt (benedikt.ahrens AT gmail.com).
[1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/
[2] https://pl.ewi.tudelft.nl/
[3] https://benediktahrens.gitlab.io/
- [Coq-Club] PhD position in HoTT/UF at TU Delft, Benedikt Ahrens, 05/26/2021
Archive powered by MHonArc 2.6.19+.