Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD position at the University of Strathclyde

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position at the University of Strathclyde


Chronological Thread 
  • From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
  • To: coq-club AT inria.fr, Agda mailing list <agda AT lists.chalmers.se>, types-announce AT lists.seas.upenn.edu, logic AT math.uni-bonn.de, homotopytypetheory AT googlegroups.com, categories AT mq.edu.au, spls AT lists.cent.gla.ac.uk, msp-interest <msp-interest AT cis.strath.ac.uk>
  • Subject: [Coq-Club] PhD position at the University of Strathclyde
  • Date: Tue, 13 Feb 2024 17:32:30 +0000
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=xzG8F9yg05uFjsvETWUcaGDhl7om9a00OHFbccRVQdM=; b=MzuBm6Mz3J64lAg6qjn94yViiVNYPkuuALZizW6DizMJcorve1UZ4nMda6a7D0Zn2fTybVTeAC5LzrcCw3r6BuU6zgJONzsbqaFqLPme/RZiEuDGHg5/ev6FMn9qWngxoXawq3CdWdsbuNE6iUNc+sZkBSdiaEOxJD/tSuV2LhRvRBgogoJYA6IRyUu2IacRlJmJ/wgTWCkRA1NGJ5BCDfXtrId89AL1ZVxj59ELWvxWBaEq0WR7MeHag1jOKC1j1Renh2Uv5KdBL41eEVRAtqxOtW/jwaKYxgDfnGXyxmrC0ivHkNuoVRIxoYG7pal8kao6Ngg7AIq8lHvMI/flgw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IuoBcUCrM2DMxyQrF+keYSkVfD2mY4N4B/pWhxF1cLQoSVq/oaABOrp9vGDR4jJcJbhcKgUJZNsxB/Doci1HZREeSrz1OAPKLZXbD/Ye2CXmLcUR8bX09P4CSRfkAYnLms6M+TcGKyYRRTmu7QaatR6ksJoOJNcCQfht+QaRzy682ycTDzFKa/Bap1fP472/JmAbe7i5q6ejRYb/2mX8Jiee7pDslXiEp9W/NhuEEksiFT7UbGqJ5jxSO9vfS7nHW4hPQllTEZ9lbb7l0z5Eo2X5Wh8bVRxy1it1wGQJMTkpoOFcsnkISuidRa5MQ6teRJb1Cc6TO87cVZT6IsCRhA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.mailfrom=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-LO4-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:Vife0aviZEfO/KQoHhpZLEWfL+fnVE1VMUV32f8akzHdYApBsoF/q tZmKWDTb/7fZWujett0b96/8BsE7MWEzoBhS1Ft+Cw8HioagMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMtcpvlDs15K6u4GlB5QRkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJBkweooX97tHODl1p cMJFQ00aiqfvsvjldpXSsE07igiBObBBttG/1VHkXTeB/tgRo3fSaLX49MexC03ms1FAffZY YwedCZraxPDJRZIPz/7CrpixKHx3ia5KmcC7gvN+cLb4ECLpOB1+Lb3PdbPe9/MQ8JPkliRo maD8WPjGRsXLtO30iaf+26swObE2z74MG4XPOLpq6Q63gHKroAVIEYtCn24sMaBsUi7Yep0L m4rwXU+8LdnoSRHSfGmBEfk/xZopCU0UN1JVuY+9Qul0bvR+w/fB24eTzcHZsZOiSMtbTkj1 1vMm9S1CjZ16OSSTyjEruvSqi6uMy8IK2NEfTUDUQYO/9jkpsc0kw7LSdFgVqWyi7UZBA0c3 RjSqm85iLhOvfdT7PWE7G36ujaWuqHgG1tdChrsYkqp6QZwZYiAboOu6ETG4fsoEGp/ZgjZ1 JTjs5nGhN3iHa2weDqxrPIlM5vB2hpoGDjVgFoqG559+D63oyeke9oJuG04I1p1OMEZfzOve FXUpQ5a+J5UOj2tcLNzZIWyTc8tyMAM9OgJtNiLMrKigbAoLmdrGR2Cg2bNhQgBd2BxyckC1 W+zK5rEMJrjIf0PIMCKb+kcy6Q34Ss12HneQ5v2pzz+juLBOyDPF+lUbQXSBgzc0E9iiFSNm zq4H5rSoyizrMWlO3iNmWLuBQxUciRgVcimwyCpXrfZfFE+SQnN9MM9MZt6INY5wMy5Z8/N/ 3qnXVRfxka3jnrdMW23hoNLOdvSsWJEhStjZ0QEZA72s1B6ONrHxPlFK/MfI+J9nMQ9lqEcc hXwU57dahi5Ym+boGt1gFiUhNAKSSlHcirXYXH/MGBuJ886L+ELk/e9FjbSGOA1JnLfnaMDT 3eIj2s3mLJaH144XvXFIumi1U2wtnU7ked/FRmAaNpKdUmmtMAgJyXth7Vla4sBODfS9Au8j gy2OBY/ofWSgokX9NKSu7uIgb30GMRDH21bPVLh05CICQfg8FCenLBwCNSzQWiFVUff2rmTW uFO/vStbNwFhAlrtqR/IZZKzIU/xcnjh51awitrAUT0SkmnNahhBlKk3sB/kLJH6ZEEmAmxW 2OJosJ7P5fQMuzbMVchHigXRcXd6uM1wx78te8UJmf+7w9JpIu3a11YZUSwuXYMPYlLP5MA6 sZ/nswvsiiUqAcga/SChQBqr1W8FGQKCfgbh8tLEb3Qq1QZz39ZasbhEQ7w2paEbutMPmQMI jO5gKnjhaxW9nHdckgcRGT84u5Auasg4Bx67kcOB1CsqOr3gvUa2B5w8zNuai93yh5B8fx4O 0k1FklTCJiNwQxVh5l4bzjxIz1CORyXwVyu6l0rkGaCcVKkeFaQJ0IAOMGM3nsjzURiQhZh8 oq18l3VCQTRQJmp3w8Ze1JUlPj4fNkgqizAgJ+GGuqGLbkbYB3koL2iRUgIpzToHPIOoVDLm vJr2M1SaqTLEzEajINmKoud1JUWEAulIk4bS95f3ao5J0PuUxDs5iqvcmefIthsId7O+m+GU /1eHNpFDUmC5XzfvwIlCr4pCJ4quvwQvf4pWK7hfEwCuJuh9gtZiorarHXCtTV6UudVsJgPL 63KfGi/CU2Wv3xfnlHNoORiOmaVZdolZhX27Nuq8dcmRo4yj+VxTX4cireEnW2ZEA9CzSKmu AnuY6z3zes77a9Om4DqMLtIBiTqCNfVedmLzjuOsIV1XYuSCfvNigIbkUm4HgJ0ObBKZc97u 47Qu/HK3WTEno0MbUbnp7e7GZJk2+COTctME8euLHBljSqIA8DtxB0Y+lGHE59CkfIDx8qrb Da6QduUSM4tffwE2kxQVjVUSChFOqGmN63lnD62j9aSBjcj0wDoKM2t9CL3YVFhbSVSaofaD ynqsc2P/fFdlpxHXzUfNsFlArh5AV7tYrQnfNvPrgulDnGkr1eBm7n6nz8ywGjvJljdN+3l8 LTXRQPbdhugiJrXzdpcjZN+jicXAFl5n+M0WEAXoPxytByXE08EKvY7I7wdK5QJjBH36o70V AvNYEQmFy/5ezZOKjf4wdb7WzagFv48Acj4KhMp7nGrRX+PXq3YO4RY9wBk/3tSURngxrv+K dghp1vBDiLoyZRtHesu9vi3hNl8/czjx1UKxFvclvLjCBNPEJQI031cRDB2bxLlKP2Utkv3J jkSf1tmEXGLERu7VY4qfnNOAxgWsQ/+1zhiP2/F3N/bvJ7d1+FajuH2P+boyLAYccAWP/g0S GjqQ3eWqXWjspDJVXDFZ/py6UO1NR6KIiR+BIDJf1VL2oWXtiEgNc5EmjcTRsY//gIZC0nai jSn/3k5AgKCNVxV37qVjw4O/vqdl1oSWirRgleXSSDuyHQEIxrxInBGDz4X7bnrt7Lqo0UeS TxUcUX5T5i+qm7/vTcn3hgEjgXvPCzSfEUolggzUon7jhfqQWQbCbMJP4TWET5O2CUs+7i4v 5p9HznwFExLk89PM83ZcA8lX4Va
  • Ironport-hdrordr: A9a23:2N6eGqO5ZaAn08BcTzv155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jztSWatN9jYgBHpTnmAtj5fZq8z+8N3WB1B9uftWbdyQiVxe1ZnO7fKl7balDDH4xmtZ uIGpIWYLOQMbETt7eB3ODSKadF/DDoytHOuQ6T9QYOcek8AJsQlDuRRzzrZ3FedU1jP94UBZ Cc7s1Iq36JfmkWVN2yAj0gU/LYr9PGuZr6aVpebiRXnzWmvHeN0vrXAhKY1hARX3dmxqojy3 HMl0jc6r+4u/+25xfA3yv47ohQmvHm1txfbfb8/vQ9G3HJsEKFdY5hU7qNsHQcp/yu0k8jlJ 32rxIpL61ImgPsV1DwhSGo9xjr0T4o5XOn40Sfm2HfrcvwQy9/I9ZdhKpCGyGpoHYIjZVZ6u ZmzmiZv51YAVfrhyLm/eXFUBlsiw6dvWciq+gOlHZSOLFuIIO5lbZvsX+9La1wUB4TsOscYa ZT5YDnlb9rmGqhHjrkVjIF+q3jYpwxdi32M3Tq9PblkgS+p0oJsXfw9PZv4kvoy6hNNKWsx9 60QZiAx4s+PPP+K5gNcts8fQ==
  • Ironport-phdr: A9a23:WgWvDx9Qzhokxv9uWd2yngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqGuL483ReJBdydt6gUzbKO8ujJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6txjdu8kZjYZmLqs61x/FrmdVd+hMym5kO1Gekwzg6sus+ZJo7jhdte8m+8NcXqr2eLg1Q 6ZfADo6LW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59 KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndaU81PSyJOHJ+zb 4oXD+oAI+lYqZX9p0ATphe6HAWgGf/jxiNNinLwwKY00fkuERve0QIjEdwBvnTaosjrOqgOX u66w7LFzSnBYv5MxTvx9JbEfxInrPqRXbxwa83RyUw3Gg3FlFWft5HqPymU1uQOrmOV9+1gV fiyhG45sQ5xpjyvzdoshInOnIIV0UvL+jtjwIY6ONa1T0B7YcS6H5RNrSGaNoh2TtkkQ2Fvo iY116MGtoS/fCgO0ZgnyRnfa+acc4eT/B3jTumRLCxjhHJ5YrKwnQqy8Ui6xuLmSsa4yktKr ilcn9TKq3sC2ADd5NKdRfth4keuxyyP1wbL5+xGIU05mqnWJZEuz7A/i5Yes0DOEzHylUj3k KKbalkp9/Sm5en7bLjru4GQOoxohw/wLKggms+yDfg4PAUMX2aW//m32rPk/U38WrpKj/s2n 7HCsJDGP8QUvLK5Aw9P3ok59xmzFSqm0NcekHIaL1xFYAqKgof1N13UPfz0EfWyj06xnDt12 fzKJKDtDonCI3TbjrvsfKpx5kBZxQYu0dxQ/ZNZB7QALf7vRkP8scLUAQU4PgGxxuvqCNNw3 Z4AVGKLH6+ZK7/SvkGS5uwyIumNZZEatS7hJ/Uj+vXgl2U2mUUHcqmsxZYXaG63HvBhI0iBY HThn8sPHXsXsgYnSuLkkVKPXSdUZ3mpQa0w/DY7CJ+6DYjYQYCtnbqB0zqhEp1OfGBGDUyMH mn0eIWYWvcMbySSLtVmkjwZSbihT4gh1RattAPg17VnKe/U9jUZtZLlytd1+/XemB4u+TBuE siRz2OAQ3tpkm8WWTM6xr1zrVByx1ub1Kh3mf1YFdhd5/NTVQc6MIbRz+JgC9/sRw3BZNaJS FW8TtWgBjExVM8+w8EUbEZ5H9Wulx7D3y2wA78OjLOEGoY08q3H0njqO8Z90WzJ1LUhj1U8W MRAKXeqhrN89wTLAY7GiF2Wl7y2eqQEwC7N6GCDwHKTsE1ASg5/Tb3FXWwDZkvRtdn2+kTCT 6a3Bbs7NgtB1NWNJ7BRatzpiFVGXO3sNM7fY2K3gWewBAyHyqmCbIrwKC0h23DWD1FBmAQO9 16HMxI/D2GvuSaWJTNiHBrqakLo8O9x4He6VVN8mwiFY0RJ07uu5gVTjvyVT/YexKlCoyp37 31oDU6wxJffDdyHugxqcY1YYMgh+xFc2GvC8RFlM5qmaa1umxpWdwN4vkjG0hxrCsNdl8lvp nQsykx+JObQ0FREcC+fxYHsK6XaNmn/+wq+Q6HR3V7a3dmM/boX87IzrFCn9AqgCkct9G9m3 sJ91mLa65nXSgMPFdrqSkIs3xx7vK3BJCIw4Z+S2nlld6C/9CLBn5osH/NgyxC8cs1SK7/MQ ArpC4gbAdSjMuExh3CibwlCJ/xI/bI0ecqtMeaFjv2FJuFlyRy8gGhd4YM19EWW+zR1TuqA8 ZEf2PuVxATPAznmgVu7s8Oxn4deaS8bGm76xy/+H4RcfKJaZpoRAHuuZcS8gMh90c2+E0VE/ UKuUgtVkPSifgCfOhmkhVU4PSU/pHWmnXD91Dloi3QyqbLZ2iXSwuPkfR5BO2hRRWAkg02/a ZOsgYU8W06lJxMsiAPj/VzzkqZBqahlLmqVR0BSczb/K2UnXKyqrbCPecFn848yuDlXFu23J 02ZGfbmuxVP6yr4BCNFwSwjMTSju5H3hRt/3WyHIXpprXmff8ZqyQnW4NiZS/lLxTALXiZQk iXND0S8edCiu8iXxN/Yqu7rb2u6TdVIdDXzi4ONsCzu/WpxHRi2hOy+gPXIOzJiiGrf8IUvU i/F6hHhfoPsyqK2d/p9eVVlD0P97Mw8HZxilow3h9cb3n1yaoy9230BnC+zNNxa3fm7d38RX XsQxMaT5gH52UplJ3bPxoTjV3zbzNEzL9+9Kngb3C4w9aUoQO+d8aBEkC1po1G5sROZYP5zm S0YwOcv73hSiv8AuQ4kxCGQSr4IGkwQMSvpnhWOp9ewyccfLGi1fLSq1Uk4m9e7AK+LpgUZV nHjYZ0vByBY9dllOU7MlnT4rJznOZHRYd8VqhyIgkLYleEGTfB53vEOhCdhJSf8pSh5k6hi1 UMohMvg+tHfdzYInurxGBNTOzzratlG/zjsif0bhcOKx8W0GY0nHDwXXZzuRPbuETQItP2hO RzddV904nqdB7fbGheSrUl8qHeaWZ6xOn2NJXpfy9J4SAeUIEgajgcORz83hJERDRywzdDhN k5yoC0SrA2dyFME2qdzOh/zX32K7gmyZzsuSZvZKh1M4h9L40OQP8uE9eh+BS5w5YG7pRCNb GWQIRlLRzJsOATMFxXoOb+g4sPF+u6TC7+lLvfAVr6JrPRXS/aCwZ/HPpJOxz+XLY3PO3BjC 6Z+wU9fRTViHNyfnTwTSisRniaLbsiBpR769Dcl5sy49f3qXkro6+7tQ/NcK9hj4RG1x6GEL eKOjSJ9bDhfzIgGyGXH4KMDxlcOi2dnfH+wEvwMuDXMQ6TZhqJManxTI38rcpIQsORlhFMLY JaHwtrunqZ1lPs0F0tIWRT6l8elaNZLa2CxOVXbBVqaYbGPJDnF2cbyMsbeAfVbiORZsQH1u C7OTxelZ2zc0WCzDVb2ab0f6UPTdAZTs4y8bBt3XG3qTda9Lwa+LMcyljouh7s9mnLNM2cYd zl6aUJE6LOKvkY6yr1yHXJM6n19IKyKgSGcuqPWMJsaq/poRCJzje5E6XA+jrVS9jpOSeZ6s DDOtNdyoxevma+SyXA0NXgG4iYOn4+NsUh4bO/X7JRMQ3fHuhQK92mOAhAO4tViEMbltrpf4 sPTjqvvKHFL+JTJ/oFPYqqcYNLCO30nPx3zHTfSBwZQVj+nO1bUgElFme2T/HmY/dAq74Lhk 50URvpHRUQ4Q7kEX199EoVIc/IVFns01KSWh8kS6T+ioQnNEY9E64vfWKvaAO2zemrBy+geI UNOmfShcMwSLtGphxQkMwEl2tyMQw2JA7Uv6mVgdlNm/R8LqSAmCDV1gwW8Nkus+CNBTKbo2 EJpzFM4OaN0q3/t+wllfFOS/XlpyRBjl4m92WLDN2KhScX4FYBOVXiuvhBoYMqiGlR7MVXpz x4jaGaMRqoP3eFpLTk50VaF65UTQaUOHfUcOE1CgqzOApdgmVVE9Hf9zBcet7KcUMlsyFNxI 5X09yoSiUU+NZY0PfKCfqMRlwoJ3/vcsHPwjbI/mFdGdRRKrTnaPScMvAZg2qAOHyOz5aQs7 AWDn2AGY20QT78xpeos8EohOuOGxiam0rhZK0n3OfbNZ6+evmHBk4aPTDZSngsQkFJZ+LFtz co5W2W+bRh2iZ+2S1EOP8eELhxJZc1P8nSVZTyJrejG3ZNyOcO6C/zsSuiN8q0ThyfGVE4lE p8N4cIIApS3mB2Aa56/c/hck09rvVy3bFyeROxEYheKjCsKr4mkwZl70JMcbjARDGNhMDmms 7baogh55ZjLFNwyY3ocQs4FLidqAIvjw3Ef5i4aSmDvjrF8qkDK9TL3qyXOASOpatNiYKzRf hZwEJSt/i159aGqiFnR+5GYJmfgNN0ktMWcjIFS75uBFf5QSqFw9knGnIwNDXKwXmLVEN3zI Z/qZ5cladixBHGgSVaykT0dVNvrNcqtaKGDxxzrD9Ux0sHTzHU4OMmxGytLUQ93vP0G7blga BcrTLABOUetkyNicqu1LUGfz8mkRHurJX1OVf5DwO6mZrtRiS0xcuu9z3hmRZY/hbrSkwZFV NQBiRfQwuymbo9VXH3oG3BTTA7IoDIwi2lrMuthivd62h7DtkMQdiyabOE8InIRpMkyXBnBR Bc+Qnp9XVKXipDPpxKhz6xHtTUIhM5aiKVEqCSs4seZMWjqAOrz7syI+ys4MYp6++soadOle o3e88qA+16XBJjI7l/YCmjjT6Icwp4IZ3sECPhQxTN8YZBA5dUHsQxpEZ5hb71XVvt2r+jzO 2M9VHwckXdBBdHHgGxn4K/02qOExE2ZKM1waUVd4pse2oBPAWkqM2sfvPHxDYyOzj3dEzFZL ltLtlYcvFpYxN03I7mAgsKATYcSmWRf+6smC3KSRJc0rwCpQTnO2QqqD6j42+2xg1AIxaq1g IBCAUxxVRAGlegOzhN6evYqceFVt4rO+FdgkGvhoHjk1OvgLVIX1M6GLzUQ7aLqn1CkC2g43 iFRQoVCjnbCCZ4Vjgx1Lr4xo0lBK5ynfUC44CE4w4NuHP+zUsX5nj7NQl4dWz2jD9oHAuogr VGFAVVY
  • Ironport-sdr: 65cba7b1_pSAm8jZDaS5R3gjTeMWzUWhrI7IM30MFSDDMpY8dM14VkGr KVt/KaVd7JYbB0msXi80fBi9eHAS9YOXxfc5z7Q==

******************************************************************
*** PhD Position
*** A Correct-by-Construction Approach to Approximate Computation
*** Mathematically Structured Programming Group
*** University of Strathclyde (Glasgow)
*****************************************************************

Applications are invited for a fully funded UK PhD studentship in the
areas of type theory, category theory and/or logic, under the
supervision of Dr Fredrik Nordvall Forsberg, and Professors Neil Ghani
and Radu Mardare. The research will be part of the recently
EPSRC-funded project "A Correct-by-Construction Approach to
Approximate Computation", which seeks to develop type-theoretic tools
and frameworks for approximation.

The position is for 3 years, with a start date of 1 October 2024. It
includes both coverage of fees and an stipend, and is open to UK-based
applicants.

The successful applicant will become part of the Mathematically
Structured Programming group (https://msp.cis.strath.ac.uk) at the
University of Strathclyde. It is likely that you will also work with
the other members in the group, which include Conor McBride, Robert
Atkey, Glynn Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD
students. We are located in the city centre of Glasgow, with plenty of
both culture and nature nearby. Scotland is a great place for
theoretical computer science: we have active collaborations with
researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews.

Applications, requests for further information, and other informal
enquiries can be sent to:

Fredrik Nordvall Forsberg
fredrik.nordvall-forsberg AT strath.ac.uk

If you are interested, please get in touch as soon as you can. We hope
to appoint in early March.

Best wishes,
Fred


  • [Coq-Club] PhD position at the University of Strathclyde, Fredrik Nordvall Forsberg, 02/13/2024

Archive powered by MHonArc 2.6.19+.

Top of Page