coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Thorsten Altenkirch <Thorsten.Altenkirch AT nottingham.ac.uk>
- To: "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>, Types-announce <types-announce-bounces AT LISTS.SEAS.UPENN.EDU>, homotopy Type Theory <homotopytypetheory AT googlegroups.com>
- Subject: [Coq-Club] PhD positions at Nottingham
- Date: Fri, 9 Feb 2024 16:08:55 +0000
- Accept-language: en-GB, en-US
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Thorsten.Altenkirch AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Thorsten.Altenkirch AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp3.nottingham.ac.uk
- Ironport-data: A9a23:cvmryqhGZCrb+ANnjEEV5NSqX1618xQKZh0ujC45NGQN5FlHY01je htvXDjVb6neZGfyc9x/aojk/E9UvZ/UyocwGwpp+HxgQStjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpJg06/gEk35qiq4mtJ5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGBUQXH48Swf5MUEZVr ac7Mj1OUgDSmLfjqF67YrEEasULN8z3JNhZvHZ80TDfAvYvRNbKSOPX5re03h9p3JAIR6qFI ZZFL2cyBPjDS0Un1lM/NJI5hvy0i3+5WjlEpVSWpLA840DVyxBt0b7iMNPQPNWBA9hW9qqdj j2XpTihW05EXDCZ4TGC0GyGgdKIp3z6CZ4sFIeX8dVukkLGkwT/DzVMDAHr/qPi4qKkYPpUL FVR8S4zp4Ap5UmzR5/8WQe5qTiKpHYht8F4COgm8FrLzK3I/wefCWgNS3hIY5o7t6faWADGy HeAmvLLBzZUqIbEbmnFrZSOoHCOKXkKeDpqiTA/cSMJ5NzqoYcWhx3JT8p+HKPdsjETMWypq 9xthHVm74j/nfI2O7OHEUfvrBjEm3QkZhUw+h2MGGSi8h94YoGlbonu4FOd8PUowGelorup4 yBsdyu2tb5m4XSxeMqlHLtl8FaBu6vtDdEkqQQzd6TNDhz0k5JZQahe4StlOGBiOdsedDnib Sf74FwJu8QDYCv1MfEpO+pd7vjGK4C9TLwJsdiJNrJzjmRZLmdrAQkwOBPLgQgBbmBzyMnTx qt3ge72VCxKVv48pNZHb/sd3Pc2wCEgyHnIRIzqhxOpmbyZeGKUT7gFOV7mUwzKxP7snekhy P4Gb5Hi40wGCIXWO3CLmaZNdgpiBSZgWvjLRzl/K7TrzvxOQj9xUpc8ANoJJuRYokiivr6Zp CjjAh4BmDISRxTvcG23V5yqU5u3Nb4XkJ7xFXVE0Y+Aiil7M7W8prwSbYU2drQB/eluh6w8B focdsnKRrwFRj3b8n5PJdPwva5zRiSN3AiuBiuCZCRgXphCQweSxMToUDGy/wYzDw22l/AEn Zue6i3hT6A+GjtSVPTtVKr3znean2Qsp+Zpbk6ZfvhRYBrN9aZpGQzQj9g2AdwGci+bzwTH0 Q+5Lws8oMfPh4kL6vjImqG2gIO7GMRuHkdhPjf67JTnEQL472ac0Yt7f+LQRg/kVUTw47SEW eVZ69reIc83tg9GnKQkGok60J9kwcXkooFr6zhNHVLJXgyNMaxhKHzX5vt/nPRB6ZEBsDTnR 3/V3MdRPIiIH8bXEFQxAg4BRcbb3NE2ngji19gEEH/Y1gRWooXeCV5zOiOSghNzNLF2aYMp4 dkwsf4stjCQtEAYDcakvAt1qUK3MX0yY4c2vMo7AajqqDYR5HNsXJj+MhLysbazM4hiE09yO TKFprvwt5IFzGr4TncDP3zs3+1cuJcwhC533GIyf1SnpveVh9sc/gFgzjAsfwEEkjRFy71SP 0ZoBW1UJIKP3SVitPJcenHxBgsaPkWQxRH3wnQniEncYUuMUFLXDWwiONSi+FIS3HJccwN6o pCZ6jfBehT7cP7h2hAdXRZelMXiathq5CjuqduCHfnZL6IlYDHgvLCiVVAIpzTjH8k1ok/N/ stuw8pddoz5MnQ2j5AgKozHy4kVdg+IFFZCTd5l4qkNO2PWIxO2+DqWLnGOatF/HOPL/WC4G v5RCJp2DTrm7xm3rxcfGaIoCJ13lqRw5NM9J5XaFVRfuL6b9jdUoJbc8xblv1ASQvJsrN0cL 73AfDfTA02Sgnppw1X2lvdmAVbhQ9c4Z1zb5tuXocEpDJMItd9+fX4iioWUu2qnCyo53ha2k j6aWYro4b1D86pOkbHoMJ1/PCSvCNaqVO234AG56NtPStXUMPbxjQAeq3i5HgELI7cxYcx9k LiKgeGvwXL6mas6bHvYv7KjFKB5w9q4c8QKE8DwLVhcxTCjXu216TQ92mmIE757u/ID2duGH iyWMNCRc/wRUPdjnExlUTBUSUshOv6mf5XeqjOYhNXSLBokiCjsDs6trF3tZkFlLh44AYX0U FLIiqz/9+Jjjdp+ATEfDKtbGL5+GljoXJUme/DXtTW1CmqJgEuIioD9lCgPuC36NX2ZLPnUu Z71ZADyVBCXipH6yNt0t49TvBpOKF1fheI2XFwW+v8oqjScIVMFE98gMsQ9OskJqhDx6ZD2W micJi9qQyDwRi9NfhjA8czuFFXXTPAHPtDiYCcl5QWIYiOxH5mNG6Zl6jwm2XptZz//16uyH LnyIJEr0sSZmfmFhNr/58BXRc98w+/CnTQO/lzhksr9Ax8bR7wBkmFidOaIueorDOmV/Hgn5 0BsLYyHfK1/YUj2DdphfXFVERRftTip0jZAgeKn3oPEo4vCpAFf4KSXBgwwu4HvqOwMI6ISR HX4R2KIpWmdnGEQ0UfsVxTFnocsYc+28gOGwGMPiOHcc2xcKojqAi/aoRcycQ==
- Ironport-hdrordr: A9a23:bBXSHaE5Q1UGhNe/pLqE2seALOsnbusQ8zAXPhhKOHlomszxra +TdYcgpHvJYVcqKQkdcL+7Scq9qB/nmKKdgrNhRotKPjOW2ldARbsKheCJ/9SKIUPDH5tmtZ uIBJIeNDSfNzRHZI3BkW6F+p4bsb+6GY6T9J7j80s=
- Ironport-phdr: A9a23:jeHHsBIFpIihy8r4X9mcuEppWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLM10hSZBc2bs6sC17CG9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoqQjdrNUajIptJqsy1hfCv39Ed/hLyW9yKl+fgRXx6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi4hP24p+sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/7 6hwUx/nlD0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtKWidfHo2zc ZcAD+sZPeZZsYb9oUcOrQCjDgWoHe/j1yNEimPz0aA8zu8vExzJ3BY4EtwOrnrascn1OqkRX ++pw6bF1i/MY+9K1Trn9ITEbg4trPeRVrxwa8rRzkwvGhvbgFWQrozlJSiV1vgTvGid8uFtS eavi3I5pAF3oTivx90shZXJhokIzV3K6yV5wIEvJd2jVE50f9ikHIFMuiGeK4t5XMUiQ2Jpu CYg1rIGuYW2fC4NyJQ72x7favqHc4eI4h35UeadOy13i25/dLKihBa/6E6twfDzWceoylhFt DZFksXSuXAX0Rze8siKR/998EqhxDuC2Rze5+JALE0wm6fXNpAvzLAtmpYNr0jPAyH7lVn5g qKWeUsq9eem5/jnb7j4qJKRKpN5hAH4P68zlMK/BuE4PRIPX2id4em80rrj/VHlQLVLiP02n anZv4rfJcgBvKG2HxVZ0psg6xu5Ejyo08wYkGEaIF5bex+LlZblNl7ALfziAvqyjE6gnTdry vzeILHsA4nBI3bGnbv8Ybpy8U9RxQ8uwdxD+Z5ZD6wNL+jvVkL0sdHUEAM1PgqpyOv5DNV9y 5geWX6RDa+DLa3SsF6J6fw3LuWQYoIepSzzJOI/5/H0iH80gV8dcret3ZsQcH24BfFmI1mBY XfimNsBF2AKvhYiTOzrjl2CXj5TaGy3X64m/D40FJiqDZrARoy1gbyB2jm0HoFOa2xbFFyBE m3ke5uLVvoCci6fLcBsniYEWLWhU4Mh0AuhtA7+y7ppNOrU/SgYuIr92th14O3Tjwoy9SBqA MSbyW2AU2V0nn8WSD8w36B/oFZ9xUuD0aVjhfxYEsBT5+9IUgc8Op7cz/Z1C9XoVg3bYtiFU kumQta+DTE3Vd0+28UObFplG9W+khDD2DKnD6INm7yRGJM06r7c32T2J8tl13nG07Ahg0A6T ctLKG2pnbVy9xPTBo7Mi0WWjbymdaUa3C7X9WeM13CCvE9CUF04baKQF3kQakL+qdXi+liER L+nDbEqKBAH0sPIYv9DZdHgpVFHX+v4ft/eama0ln2rQw2FkPfEJoHtYiAW2DjXIEkCiQEau 3icf0BqDSC45mnaETZGFFT1Ykqq//Mo7DuHX1c51ESDaUtmyry+91ZBme2ERuhW17QCvzono DgxFlGg2dnbEPKkhjFdR+NnTPoGpmp/+ET/8SFRA8rkZ6Blg1kCdBxm93//zxg/NoVNltI75 Ccqyw91NaWAwU9Qbz6E3Z33IKz/JW718xSiZLTRx0nFlt2R//Fcxu4/rgDfvAazDVYv9T1O1 8VY1Xid/J7KRF4uUZXrSVo68V5To63XZCo8/YjU/XtrLbW1tDDC0tdvDeBj1xX2LIQXC7+NC AKnS55SPMOpMuF/3gHxNnrsXchX/a8wZIa9cueenbWsJKBmlS6nimJO5MZ81FiN/mxyUL2Ax I4Lltef2AbPTDLglBG5qMmipYBDfyoOE2z54Cz4CYhSZ7d5fa4NDnuyIsu4xtx7wZfmHWNbp xa4H11T4MayYlKJakDlmwhZ1EAZu3uizBe4yCZvjzwv6IObwCHIwOX4fxovPGlXWGhkglflJ M69hJYHXxvgdBAnwT2i40uy3K1HvOJ/Im3UFF9PZDTzJnp+X7GYrb+ee5UJ7pQ0rSRRX+S1Z BaTQfjgoHP2ygvFGG1TjHA+fjCu4dDimgBizXmaNDB1pWbYfsd5wVHe4sbdTLhfxGhOQi4wk jTRClWmWrvhtdyJi5fOtPy/XGO9R9VSdyfs14aJqCq84yVjHxS+m/m5ntCvHxI91Gf30NxjV COAqxiZAMGj66S9K/l7c08uLVvg5sx5G5t1kqM2g40M2H4VhpyQu3MM13rwcJ1a1a/4cHsRV GsT2deGhWqtkEZnL3+P28f4TiDEmJsnPYXhJD9KnH9gvKUoQO+O4bdJnDV4uA+9pAPVOr1mm ysFjOAp8Dgciv0IvwwkymOcBKoTFA9WJ3+J9VzA4tagoaFQfGvqf6K30R80odCmFqqerwcac XLld5EhHDV77u15N07Q0Xv86ojhPtDbK88Q/E7x8V+In61OJZQ9m+BfzxZnPnjmoXAjjcc/k RFo3pCgt4ivLWJx4KO/DR5RM3v8bIUO+Xu+6MQW1tbT1IepEJJ7HzwNV5a9VvOkHgUZsvH/P hqPGjkxwpuCMYLWBhTXqEJvrnaUVouuK2nSP34Bi9NrWBiaIkVbxgESRjQz2JAjREimw8noc UEx4T50hBawlhtL0Pl0Oh+5e2PDqQGray0/SLCZKwZK7wdN507Qd8WVqP9wVy1V5ZyuqgWRJ 3fTPl4YSztVAQrYWxa+Y9zMrZHJ6KCAC/C7LufSbLnGsuFYW/qShNqu3oZg4zeQJ5CKN3hmA ec83xkmPzgxEMDYljMTDi0PwnuXP4jB+Ez6pnEx853slZajEBji7oaOFbZIZNBm+hTtxLyGK /bVnyFhbzBRypILw3bMjrkZxl8bzS90JFzPWfwNszDASKXIl+pZFRkePmlPNMxS9L4x2E9kP dLWjND0zLV4pvgyF0tEU1Phk8TvbMdMPmL3ZzalTA6bca+LIzHG2ZS9XaO7U6ZMgeMSnhmst DCYElXoPhyFkCX1VhagMehJyiiQegFd8tLYEF4lGS3oS9TobQe+Odl8gGgtwLE6sXjNMHYVL Tl2d04e5q3V9y5The9zXnBQ9ncwZ/fRgD6XtqOLT/Re+esuGCl/kPhWpWg326cApj8RX+R7w WPfvt91v0r03/qO33xQSwJA7DBMmJ6Ku0piMKCf/5IGRHWhnlpF7GObDwkGqolSEcXh/aZX1 sTOkq3zITJL+M/Xu9UBCszVL9qCdnEmNFLoAGKGVVFVC2T3bieF3RQbzqz3lDXdr4Bm+MG2y NxUFuQdCABzS65SC1w5ToFbZssxDmtiyfnB04YJ/Sbs9UiNApoB+MCBCbXJW5CNYH6YleUWO kdOm++ga9xVbsqiiwQqa0EmztiSXROIApYV5HUmN1F8oV0RoiUkCDRrgwS9LFvquSN2d7b8n wZq2FImPaJxq3G0pQ9wfwWCpTNswhBgyJO80HbJNma2dv74XJkKWXOq7Q5hYtWnBV4yN1bX/ wQsNTHPQ69dgulpcGl5jwnHtIAJEvlZBaxCaxsNyfzFfO0ml0ZbqiLhyFIih6ONCJ1pkBYmf MybtGpOg1o7NIZtferWI7ZVz15fhquL+CajkP0yiBkXI0JHmI+LUAgPvkFAdrwvJi7zu/dp9 RTHgDxbPm4FS/stpPtusEI7IeWJiSz6gfZFLQiqOuqTIrn82SCInNOUQl42ykIDllVUtblw3 8A5dkOIVkcphLKPHhUNPMDGJElbdc1XvHTUeC+Pt63Kz/cXd82lEfv0SOaVqKsOqlmhAB5yW YIL8tgAGJas2USeJMyhMb1EgRQh6QL3JUmUWfREfBXY9VVP68q7zZJxwcxcPmREWzU7a3nso OqL4FJ305/hFJ8sb3wXX5UJLCczUcy+wGtCumhYSSKwyqQfwRSD6Dn1omLRCiP9ZpxtfqTxB 1skBdeo9DE466Xzh0TQ98CUG2H9L89+t9mJwOcGqpCECulfTZF7tFvAmo9XR3WvFWfEV8O2b cuVCcFkfZnvB3C2X0bqwSoyVNv0Nc2xI7KgmgT0Xd0Sto6HwDElOs+0E3cXEFFtpKtQgcA0L R1GaJ09bxnysg04PKHqOwaU3OKlRGO1ICdXRf1SpQ1fT7pQ0zYtaOC6wX5mR5p80urlqSblq 7kMiQ3CxPCsZ4BbFyH4XGFeKVynTcsRjG19Lr10xOAj3BLOvlkVNnaCf6p0az4c1+w=
- Ironport-sdr: 65c64e1a_B2x8pTiyQC3FZ2AkRoJYJ8K2sUk2qbOPg0NjZveVdoWUK5B G0iKtPAYP3DFH68OmKiKxDcKmR7apKWKliXP18g==
We are advertising several PhD positions at Nottingham which includes the Functional Programming Laboratory.
The group which includes Nicolai Kraus and Ulrik Buchholtz has got a strong interest in Type Theory in particular Homotopy Type Theory and its semantic foundations using (higher) category theory. We mainly use the agda system for formal developments.
If you are interested, please contact me before applying.
Cheers, Thorsten |
- [Coq-Club] PhD positions at Nottingham, Thorsten Altenkirch, 02/09/2024
Archive powered by MHonArc 2.6.19+.