coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)
Chronological Thread
- From: Nicolai Kraus <nicolai.kraus AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, coq-club AT inria.fr, agda list <agda AT lists.chalmers.se>, eutypes AT cs.ru.nl, univalent-mathematics AT googlegroups.com, logic.list AT outlook.com, algtop-l AT lists.illinois.edu, categories AT mq.edu.au
- Subject: [Coq-Club] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)
- Date: Fri, 15 Nov 2024 17:32:20 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolai.kraus AT gmail.com; spf=Pass smtp.mailfrom=nicolai.kraus AT gmail.com; spf=None smtp.helo=postmaster AT mail-oo1-f51.google.com
- Ironport-data: A9a23:ypR19a4lspcwPDtz2AQ3XgxRtJTDchMFZxGqfqrLsTDasY5as4F+v jQcXj2CPPqDNmr3L9skOt/lphsGu5eAndQwGwFqqCpkZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtaAr414rZ8Ekz5a2r5WtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj68dwVm4xILwxwOV2JHhKr 9A+KBINXA/W0opawJrjIgVtrsEqLc2uO4RG/389lHfWCvEpRZ2FSKLPjTNa9G1o14YeQLCHO ZNfNGMHgBfoO3WjPn8RCZk5mO6pwHrleiBDgF2QrKszpWPUyWSd1ZC0aIOKJIbTFZo9ckCw+ VudwDqkJRIhLoaklx67wEmOi+nmpHauMG4VPOblr6Y10QP7KnYoIBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH4Vhy85XmD51sSBoMWHOo95wWAjKHT5m51G1ToUBZzdoYJs9IHbAYp1 3qQm4nFIzxNsI+KHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKeJjqEOP7l5uAZCQ3NL ya2QD/Sboj/YOYO3qS/uFfA2nei+8GPQQky6QHaGGmi62uVhbJJhaT4uTA3Dt4Zc+51q2VtW lBaw6ByC8hQVfmweNSlGrllIV1Qz6/t3MfgqVBuBYI90D+m5mSue4tdiBknexwwbJ5VIW+1O RWI0e+02HO1FCv7BUOQS9LgY/nGMYC5RLwJq9iNMYoePMcrLGdrAgkyOxXIgDyFfLcQfVEXY srCKZn9Ux72+Ixoyz25Q+pV0LkggEgDKZD7FPjGI+Cc+ePGPha9EO9bWHPXN7xRxP3e/G39r Y0EX+PUkEo3bQELSnOGmWLlBQtSdSBjbX03wuQLHtO+zv1OQTt5W6+Kn+l6IOSIXc19z4/1w 510YWcAoHKXuJENAVjihqlLMeu0AcRMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic1IxCMhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tVcnrC6IJBdi771Kc2B+ouKhzz4CSQ+ CjLIBUfpMjL+5QU9vuQj4+6jo6ZKclMNWsEIHv6tJGdKjv/0le457N5QMKkXGz4RXzl3qePf sBXxKzMC+IGl1N0rIZMKbZn4qYg7d/JpbUB7ABbMFjUTlasGJVyC2Kn2JRRi6hz2bNpgwu6d UaR8N18O7/SGsfEEkYUFTU1fNa4yvAYtTnD38sbeHygyndMw4OGdkFOMz2nqi9XduJ1Obx45 9YRgpcd7gjnhyc6NtqDsDtvyF2NCX49SIQiiIARBd76qwgsy2waW6fmNA3N3MitZelPY24QG R3FoIrZhr9Z+FjOTGprK1jJwthmpMovvDJk8QY8Amqny/v/u+8P/RxO8D4IYBxf4TdZ3slSZ GV6FU1HCp+f3jVvhcJ8cXimMFhfDg+05n7z9kstkWHHRROkTV72cW83Y76M2Gs78GtsWCdR0 5/F6WTiUBfsJNrQ2AlrU2FbivXTd/5D3Sycp9KCAOKEAMMccxf+p62TOVoztBrsBP0uiH39p eVF+Ph6bYv5P3Uyp5IXJpa717NKbjy5P01HHO9c+Z0WEVHmeD2d3SaEL2azcJhvI93I6UqJN Nx8FPlQVhiR1De8kR5DPPQie4RLpf8O4MYOXpjJJmRc6ruWkWdPgaLqryP7gDcmfsVqncMDM bjuTjOlEFGLpH5qimTI/dhlOG25XIE+XzfC/tuJqccHK5FSl9tXUxAW8qC1tHCrIgdY70qqn AfcVZT3kc1m66pRxrXJLIsSKTmwG93JUMawzDuSqPVLNNPGDtfPvVgaq37hJAVnAoESUNVWy 5WIvMLG40femLMQTWriuoKgEpNR7p6YR9tnMcPQLVhbkxCdWcTq3QAxxmCgJbFNk/Jf/sOCR TbkTOeVavguRI576FBOTipRATIxKv7SVbjxgzG5o9CnKAkv4SaeIPyJrXbWPHxmLAkWMJjAO yrIkveJ5PUDia9TBRUBVspUM7UhLHDNAaIZJsDM7x+GBWyVg3SHiLvotTwkzRrpUnCkMsLL0 ajpdyjEViaZmf/3lYlCkolIoBcoIm53grAwcmIj6tdGsW2GI1BcH9sNE6ctK89yqTPz5qHad TuWTWoFCAfBZxpmXyj4wuzeWla4OrRTFPb/fzAnxhbBIWP+ToaNG6Bo+Spc8m97MGmrhv2uL dYFvGb8JF6ty5VuXvwe/eG/nfwh/P7B23YU4gropqQe2frF7WkijxSN3TahVBAr1+nInUTPY G8yHCVKHRj9Rkn2HsJtPXVSHXn1ed8pIyoANU+yLBT34u13D9GsDNXwPujy1vsIa8FiyHsmW ybsX2XUi4yJ8iV7hEbq0u7FRYd7DPuKGo6xK6qLqcj+WU2vwjxPAv7uVhbjgC3vFMCz3r8de vSRD6ACOXm4
- Ironport-hdrordr: A9a23:PfRF0qNb7RC/lsBcTumjsMiBIKoaSvp037BL7TEWdfUxSKalfq +V7ZYmPHPP+VUssRIb+exoWpPwJE80nKQdieIs1NyZLW3bUQWTXeZfxLqn7Dv6BSXk++JRkY tmebNvEcD9ADFB4foSIzPWLz/j+rS6GWyT69s2Bk0NcT1X
- Ironport-phdr: A9a23:zc64hRTmzjhwq7GL+P/OUZAspNpsovWXAWYlg6HPa5pwe6iut67vI FbYra00ygOSBMOBt7kV26KW6/mmBTdYp87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYnIduMLg9xxTGrnZMeOld2GdkKU6Okxrm6cq98oJv/z5Mt/498sJLTLn3cbk/Q bFEAzsqNHw46tfsuRffUwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb87RTqt4 aFrSAT1iCgcLD427HvXis1rg61Fph+qugFyzJTVYIGRM/p+Y7/dcNYHTmdPQspdSypMCZ6nY oARE+QOI/pXr4jlp1sPsxS+AxWsBPjywTNMn3P6wLE23/gkHQzAwQcuHc8BsG7Modr6NKkcX +O7wrTWwzrfdP5Zwyvx5ZLSfxw9vf2BX7R9etfRx0k1EAPFi02dp5TkPzyJ0eQNt3KU7+t9X uyqkW4osRxxoiOyzcorjInJh54aylfA9SpjwYY5P964SFRhbt65C5tdrC6aN45sTcMjR2Fko jo1yroDuZOieiUB1ZsoyQLFZfOdb4iI/gzsVPyXITpgin9odrKyihaw/EWv1OHwS9e43VRWo iZZjtTBqn8D2RPN58WJV/dw8Fut1DSM2g7c9+xJIE45mLbFJ5I/3LI9lZweulnNEC/xnUX5l q6WdkM89+iu7OTnfqnmpp6aN497igHxKKEultalDuskKAQOQmub9fy61L3k4U35XK9Ggecqn aXDrZDaJsIWrbO6DQ9Nyosv9QqzAjO83NkbnXQLNk9JdROag4TzO1zCPfb1BuqhjlSojTdr3 OzGMaP7ApvQL3jCkanucK5h50Na1QE918pQ54hOBbEEOP/zWlH+tNjfDhIhNgy72efnCNFk2 oMZXmKDH7aVMK3SvFOV/O4vLO6MZIgauDb5Nfcp/eLhjXg8mVMFfKmp24UYaGygE/h4P0mUZ WDgj9QBHGsQowYzTfHmhEeCXDJOf3qyWrgz5jA/CIKoF4fDQYWtjaSH3Ce6ApJWYWRGBUqNE XvydIWEQe0DaD+JIsJ6nTwEUKKuS44l1R20qAD6zL9nIvLS+iIDrZ3jzsR65/XPlREu8jx5F 9mR33mXT25ohmMIWyM23KdnrENhzVeDyLF0jOBcFdxO/PxESRw6NJ7Zz+xiEd/+QAPBftGTS FanWNqqGz8xTshii+MJNlpsA9i5yxnF2S23BbQYv7iKH4AvtLnR1mO3Ot5wzXCA2aU8yxEGR c5IKWq+l+ZD5hDeT7LJnkKDhu7+daMZ2zLK7Haf3HKDoEFVVxRhearCWn8ba0TMqsnh/QXJS Lr4TfwsNRIEwsqfIINLbMfohBNIXrOrMdvSaiq1mnysTUKByb+FRI7rYHkGmi7dAUwBnhoIu 22LY0x2Czq9snrTFxRlDhT1fgXq9a02tXW6UEYwwgeWKkhoy7q4/xcJhPeHY/wU2b0AtSg7r ChsBxC22NeSQ96HqAtqOqFdes8V50pb0WXetEp2OZnkZ6lmiUIZa0Fzl0fvzAlsTIRElcksq 3Ixigd+NObQ21pdejyfx5H9IZXSMy//8A3pYrOF9EvZ1YOw+6wI7P0543b5tRyyXh4k8n5g1 9BUlXiG74jRJAUXWJP1FE0w8k4p9PnhfiAh6taMhjVXOq6uv2qHgopxbANE4hOpftMEdbiBC Be3CMoCQc6nNO0tnVGtKBMCJuFbsqAubIu9b/XT/qmtMa57mS6+y3xd6dV700mL8yN9DO3S1 ose6/6d1wqDETz7iQTpqdj5zLhNfipaBW+j0W7hDY9VaLd1eNMNCGypJ8S2gNZkjoP2c3Fd/ V+nQVgB3ZzhYgKcOnr62wAYzkELuTqnlC+/miRziC0sp7GD0Tbmxu3jcF8APTcOSjQ7y1jrJ oewgpYRW03AgxEBshyj6A66wqFaoP86NGzPWQJTeDCwKWh+U6y2v77EYshV6Zpuvz8FGOK7K UuXTLLwuX54m2vqAndeyTYndjqrpoSxnhp0j3iYJWpyq3yRcN95xBPW7tjRDfBL2T9OSC59g DjRTl+yWrvhtdOVnJDHu+H4VHioS4Z7fizizIfGvyy+pCVrDRC5g/Gvi4j/CwFptE2zn9JuV CjOsFP9etyxj/X8Yb8hJxcxQgKluK8YUslkn4A9hY8dwy0fj5SRpj8clHvrdM5cweT4ZWYMQ jgCx5jU5hLk0QttNCHspcqxW3ODz89mf9T/bHkR33d36cFBD6Od7fpHhyJouXK3qAvQZb52m TJXmp5MoDYKxvoEvgYg1HDXBLEZGk1RPGrvjR2V9PixqaxWYCCkdr36hy8c1ZixSbqFpA9bQ nPwfJwvSDRx4stIO1XJyHTv64vgdbE8dPorvwaP21fFhulRc9cqk+YSwDFgIST7tGEkzOgyi Vpv24u7tc6JMTcl8KW8Cx9efjr7AqFbsjfshqFal8fQ3JqmA45JFTACXZ+uRvWtWD4frvXoM Q+SHSZ08C/KX+qCW1bBsQE79jrGCNizOmuSJWUFwNkHJlHVP0FZjA0OHX07kpM/CgG21Znke UZ96CoW4w2woR9Nx+R0chjnBz2H9UH4N3FtFsHZcUMFi2MKr13YOsGf8O9pSiRR/5n66ReIN nTefANQS2cARk2DAVnneLio/9jJteaCVY/cZ7PDZ6uDretGWrKG35Wqh8Fg/j2LMsyOeHp4B uAg8kVGVHF9Xc/enn9cLk5f3zKIdMOdqBqmr2dxr8u49P3qHgH17JaUI7RXONRrvRuxhO3QU ozYzDY8IjFe2JQWwHbOw7VKx18ehRZlcDy1GKgBvyrAH+rA37VaBBkBZ2ZvJdNFuugiixJVN 5eR2baXnvZoy+Q4AFBfWRn9l9G1MIYUdnqlOgqPBV7XZu/bY2Sam4etPfz6EfoK0K1Vr0Hi5 2rdSRS4eG3dz3+xEEn+VIMExCCDYE4A5sfkKkwrUS67C4i+IhyjbI0p03tsnexy1iuMbSlGa XB9ax8f8efWtH8e26QlXTQGtyoAT6HMmj7FvbaEbM9M7L0zRHwzzrwS4WxmmeINvGcdG6Mzy G2K6YQ361C+zrvWlWEhCUsS7G4N3MXS4yAAce3Y7sUSAy6VukJQqzzKW1JS4II6Qtz35/IKk 4aJyfK1cWYYtYqTpJpUBtCIepjebjx7akuvQ2SSVExcHFvJfSnJjkhZ2pl+71WzqZ434tjpk ZsKEfpAUUAtU+gdEgJjFcADJ5F+WnUll6SahYgG/yj2qh6ZX8hcsp3dM5DaSfzyNDaUi6VFb BoU0Pv5K4oULIjyx01lbBFzgo3LH0PaWd0FrDdma0c4p0BE8X42SWNWuQqtcgS2/HoaDuK5h DYzgwp6JOMqrXLivg5xKV3Nqy891kI2nJStgDycdiLwMLblXYxSDHmR1QB5OZf6TgBpKAyqy BY8ZXGUGvQI0eImKDk47W2U8YFCEvNdU6BeNRoZxPXMIu4tzUwZsSK/g0lO+erCD5Jm0gosa 5+l6XxaiGcBJJY4I7LdIK1Rwx1enKWL62Wu1+s2xAYfYUUX+X6JUCENsU0McLIhImD7m44ko RzHgDZFdGUWArAypel280omJ+ma5yfp0roGLUfocuLCduWWvG/PkcPOSVQ1nBBt9QEN7f191 sEtdFCRXkYkwe6KFhgHAsHFLBlcc8tY8HW7lcOmvuDEwJYzNIK4RLiApQ6msa8VhgejG19sE dlVqMsGGZao3QfTKsK1dNbtJj0i4Q3qIBOOC/EbIXq2
- Ironport-sdr: 673785b2_uEGjhggPt4v6iviSZYIurEVRON1JteA1M6Imvbwx/9/ELrm ZkoHDF1Xqq5wJoj92lLbPXSP/auJw0EiBrt2A8A==
Dear all,
I have two PhD and two postdoc positions available. The default starting date would be Oct 2025 (as they are funded through an ERC project on type theory starting in fall 2025), but earlier/later starts may be possible. If you are looking for a position, please get in touch.
**PhD positions**:
If you are looking for a PhD position, please let me know your interest by email, ideally before **December 15**. I will review applications on a rolling basis. You can check out my website (link below) to see the areas I am working in, but in general, I'm happy to advise on projects in areas such as:
- Homotopy type theory in general
- Higher categories
- Two-level type theory
- Type theories with shapes, such as simplicial type theory
- Conservativity questions
- Constructive ordinal numbers
The PhD positions are for (at least) 3.5 years, include all tuition fees, and come with a stipend at the UKRI standard (currently approx. £19,200 net annually, increases with inflation). You will not be obliged to teach but there will be opportunities to do so, paid on top of the stipend. A generous budget for travel (conference attendance, research visits, etc) is available. The place of work is Nottingham, where we have a vibrant culture of regular seminars and meetings. Current members of our group can be found on our group website: https://www.nottingham.ac.uk/research/groups/fp-lab/
**Postdoc positions**:
I will advertise the postdoc positions again closer to the date and the official application portal is not yet open. However, feel free to contact me at any time for questions/discussions.
Best wishes,
Nicolai
nicolai.kraus AT nottingham.ac.uk
https://www.cs.nott.ac.uk/~psznk/
I have two PhD and two postdoc positions available. The default starting date would be Oct 2025 (as they are funded through an ERC project on type theory starting in fall 2025), but earlier/later starts may be possible. If you are looking for a position, please get in touch.
**PhD positions**:
If you are looking for a PhD position, please let me know your interest by email, ideally before **December 15**. I will review applications on a rolling basis. You can check out my website (link below) to see the areas I am working in, but in general, I'm happy to advise on projects in areas such as:
- Homotopy type theory in general
- Higher categories
- Two-level type theory
- Type theories with shapes, such as simplicial type theory
- Conservativity questions
- Constructive ordinal numbers
The PhD positions are for (at least) 3.5 years, include all tuition fees, and come with a stipend at the UKRI standard (currently approx. £19,200 net annually, increases with inflation). You will not be obliged to teach but there will be opportunities to do so, paid on top of the stipend. A generous budget for travel (conference attendance, research visits, etc) is available. The place of work is Nottingham, where we have a vibrant culture of regular seminars and meetings. Current members of our group can be found on our group website: https://www.nottingham.ac.uk/research/groups/fp-lab/
**Postdoc positions**:
I will advertise the postdoc positions again closer to the date and the official application portal is not yet open. However, feel free to contact me at any time for questions/discussions.
Best wishes,
Nicolai
nicolai.kraus AT nottingham.ac.uk
https://www.cs.nott.ac.uk/~psznk/
- [Coq-Club] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK), Nicolai Kraus, 11/15/2024
Archive powered by MHonArc 2.6.19+.