coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ornela Dardha <Ornela.Dardha AT glasgow.ac.uk>
- To: "epn-all AT inria.fr" <epn-all AT inria.fr>, "caml-list AT inria.fr" <caml-list AT inria.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "haskell AT haskell.org" <haskell AT haskell.org>
- Subject: [Coq-Club] Research Associate position at the University of Glasgow
- Date: Thu, 15 Jun 2023 10:04:00 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.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=ZrieUeyhvhx4wbJGnVhTBmvCnYUqmWt4JHU/bqIzEZ8=; b=N6POWrfRvALG1GUboDaYr6nd/qx4g4bP4pCW4TgQDivZ44yt/s1PVYyLqUgt0XHx9cQrK1zUKdL4xNL24AEFJAvXiuWqoC4swdhm+bWIvKpcU2wGkiXdxV09VnDOXhAmQGy7Vn4SXmgpM+Ot3C5HHYwngnOZP7Ea/AZ4/jmES9LNlNHJGXBw6wyAFKCbiaINnwNZ9J2NkARNOPs7T2VGec3kKEUqRrs8IvlyqFtLWuwSanomg6NOJk+VVoLmsxN96fNZA88AZsJJxYch2J8unjcQcmpKgIhHK9qoR2Eh/+qNh4H6MADXg2jRUIGR9i5KoZipmI+/lgHwutfXfax73Q==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KRR+QElJo7kVFdP4NDB+pN+B7VcWLfwvuZm8QOgXJeGakYpi0K+9v4QO8BvWe6AvlR9QAlmvEHTc4qGgoiNqjURLRi0fqaW7ck27XxKAA3Hpou0aTslkFV+XJBnrDCP6IQMS6nNDxhiCKkmONPb2TJnfjo/snvtrWjdDISiWS+nofmFczm19pFUwrlV5pVhdmcBtFNdxQ/yI4gIQexfpf5u1vclKvxKPP8PSYpQi7GJmv9swEtz8IpGvCqYKmxCLTQRNKltDTohyonHLV1C1cV1lapLwt38RAPr7MXuWu5eWomtMgy0ay3NkGGwq+5lQ9BOruT2lz1Xs/CcJvjPtvw==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Ornela.Dardha AT glasgow.ac.uk; spf=Pass smtp.mailfrom=Ornela.Dardha AT glasgow.ac.uk; spf=None smtp.helo=postmaster AT plockton.cent.gla.ac.uk
- Ironport-data: A9a23:6fURnavMTet86uB3MeAeIMvjPufnVMBaMUV32f8akzHdYApBsoF/q tZmKWyAP/qKazH1KtkkbYSw9UkB65WEzdViGlRqrC81RC1HgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMs8pvlDs15K6p4G1B4wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGcoD40eq+h7O0FDr /pJFQ0vcyyZm9vjldpXSsE07igiBNHvO4gcpnZmizrUC+pgTpTKBazBo8JbtNsyrpkVRbCEP 5tfMGQpM0mojx5nYj/7DLoZhuGlgnC5XzRCpFKcjaUz6nPcyxM32bOrLdm9ltmiGJUKzxjJ/ jiuE2LRUzwIZf2Y6hW+02OGxerpkzrLB4koLejtnhJtqAbPmDBKUUd+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNzW1uHjBtxoYc8FBFvUzrgCL0KvdpQiDbkAPRztFLdgnr9MeXi0vz lbPntXzBDUpvqf9dJ6G3q+QqjixJS8Ta2QPYzNCQg8MpdDo5pww5v7Scjp9OIirvN3zSD/8+ RCH9i5vuogxkPIRy5zuqDgrnAmQjpTOSwc04CDeUWSk8h51aeaZi2qAtQazARFocNrxc7WRg JQXs5XDvL9TUflhgATIHL5QQ+/BC+OtbVXhbUhT844J2B7FF5SLUoRZ+z55Oy+F2e4rIGOBj KP7gghW+JtaOnfCUEOaS5q1DM8p0a/mU9/oUOySYd5HJJF6MhKElM2PWaJy9z69+KTPufhhU Xt+TSpKJSpDYUiA5GHmL9rxKZdxmkgDKZr7HPgXNSiP37uEf2KyQrwYKlaIZe1RxPra8FuKr YkDbZrbkEU3vAjCjs//r9R7wbcicyBTOHwKg5YGKoZv3yI5Qjt6UaSLqV/fU9w9wvk9ehj0E oGVARMGlAOm3xUr2C2IY3ZudPvyW5dhoGggPDA9dVClx2cke4XH0UvsX8VfQFXTz8Q6laQcZ 6BcI62oW60fIhyZoG51Rcem8+RfmOGD2Fjm09yNOmZvJvaNhmXhp7fZQ+cY3HNVUXLs6Zdm/ uDIO8GyacNrejmOxf3+MJqHp25dd1BG8A6rdxuZeotgaw/3/ZJ0Kif8qPYyLoteYV/A3zaWn ULeSxsRueCH8cd//cjrlJK0id6jM9J/OU5GQEjdz7K9bhfB8kSZnIRvbeevfBLmbl3SxpmMX +tu4svHAKU1p2oS64tYOJR3/J06/Orq9uN7zBw7PXDlbGaLK7JHI1uA1+ZhpJ8Xl+R9vCW0f kSx4PhbJrS7F8f3G3EBJAceT7qi1NNFvhLw/PgKMEHByysvx4W+UGJWJAiqigZRCJBXIbEV6 74tl+BO4jPulydwFMiNix5l0lilL1sCYv0BjY4bCoq6sTgb4AhOTrKEAxCn/azVTctHN3QrB TqmhKDiobB47WiaeloREUn958Zsta4sijtrkmBbf0+on+DbjMAZxBdSqDQ7bjpExyV9jt5cB DJZCF1XF46voRFY3NNOTkK9KTFnXRe5wHH8+3ENtW/eTnSraFDzEX0ACb6z234dok1hfWl93 bCHyWzafy7gU+Pv0wATB0N0ifzRYuZg1w/FmfL9D8SORZUkbSu4gp6/ODMBujr8IMYLnEacj /JbzOVxTqzaNCArvKwwDbeB54kQUBypIG9jQ+lr2aE4AlHnZzC53AaRJ3CLes9iI+LA9Wm6A ZdMIv1jeguf1iHUiBwmHo8JfqFJmcA26Oo4er/EIXAMt52dpGFLtLPS7i3Pu385ce5xkMoSK pLjSBzaKza+3UBrom7qqNVIHkGaYtNePQ31472TwdUzTpkGtLlhTFE23r6KpE6qCQpA/SzFm CPYZqTT8f5u9pQ0oavoDZd4JluVLfHdab221T6d4vV0UMP3EMbRtgkqhEHtECZIMJAwBdlmt 7S/n+Tm/UHCvb0ZQ37owYXZHfMV+PToYvdbGZ/xJlZ3gBq9fdLg3AAC30uaKpV5tsxXyef6Z gm/aeq2LcU0XfUEzlJrSiFuKTQvIIWpUbXFugW8sOWqCDIR9SflPeGX3yblQk8DfxBZJqCkL BH/vsifw+xxraNONUciPO5nCZopG23Tc/IqWPOpvAbJE1TypE2Jv4bjsh8S6TvrLH2gO+Si6 LLnQinOTjiDiJvq/vp47bMr5gY2CUxji9YeZkgeot56qw6rBV48cNgyD880NYF2oAfTirfIP T3DVT53Q2G1FzFJag7179nfTx+STL5GcMvwIjsyuViYcWGqDYeHG6Fs7Tpk/2wwQDb40eW7M psLzxUc5PRqLk1BHo7/J8BXgNuLAtvCwnUD+lz6lYr5DhACR7oO3TpoF0xQVkQr1i0LeFrjf QAIqaJsGSlXinId1e5vf3dOFxYG+jrkiSgrBctK6MiKoJ2VlYWs19WmU9weEdQ/gAAiK7oHX nzwWC2E6CaL2RT/fEfvV80B2cdJNB5AIiR2wGIPi+Hfc2FcJ1nL5/8/oBc=
- Ironport-hdrordr: A9a23:roknaaCJjYLyro/lHel655DYdb4zR+YMi2TDj3oBMCC9Afbo7/ xG/c5rqCMc7Qx6NB4dcL+7Scy9qB/nm6KdpLNhW4tKPzOWxFdATrsSibcKqgeIc0aSygce79 YGT0EUMr3N5C1B/KTHCX6DYrUdKbe8kZxAzt2utEuFBTsaEZ2IKz0JdTqzIwlIRBJbH94HGI GH5sxBzgDQB0gqUg==
- Ironport-phdr: A9a23:5OtFfxBW6JXCjUj0heuhUyQU9EoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8wygOTB86CtbptsKn/jePJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYwhEnjWwba1sI Bm5sAnct9QdjJd/JKo21hbGrXxEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2V KRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+4 6t3ThLjlSAIOSMk8GHMksx/kr5UoA6vqRx4xo7beoCVNPxjda/Zct4XQW9NU8BMXCJDH4y8d ZMCAeofM+hFs4nzqVgAoxyiCgajH+7g0CNEhnrs0K06z+gsEwfL1xEgEdIUt3TUqc34Or4IU eCz0qbIyS/MZO5Y1zjn8ojHbxAhruuRVr93aMTR008vGB3BjlqKs4DrMSma1v4QvGib9eVtT u2vi2o9pAFqrTivwckthpPTiY0J0FzE6CZ5zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnlpt Ss417ALuIK2cSsFxZkn2hPSb/KJfoiL7x/gSeufLzd2iXZ4db6jhxi/8VWsx+/9W8SozVpGs CRLnNbOu30Q0RHY98aJSvx4/ki72DaP0Rje6u5AIU8uj6bUMYIuzqQtlpoQqUjMAij2mF/og 6+WbEUo4PSn6+PiYrn+qZ+cNpN0igHjMqs1gMC/AOM4PhASX2mV+OS8yKHj8lPjQLlQkvI2l azZvZbHLsoYvq60GxJZ34g/5xqlETuqzNAVkWMaIF9EYh6KjYjkN0nQLP35EfuyjVGhnCp3y //cP7DsB5rAImTfnLrkY7px9UBRxQ82wNxC+Z5ZDKwKLujpVU/rrtPYCwc0MwyqzObjD9Vwz pseWWaIAqCFM6PSrViI5uQ1L+aQeoAVvir9J+Iq5/7ql3A1g0UScrWz0ZsKa3C0BvVmI0OHb nrwmtoNDGkHshYkQOD0lFGPVSRfa2uzUq4m5Dw2CJqqDYLZSYCshLyB0j27HppTZm1eE16MC 3HoeJuAW/gWci6cLNVukiYZWrihUYAszh6utAvgxLp8IerU/SMZuYj529dp/eHTiBIy+SRyD 8uGy26NVX17nnsURz8q26ByuUJwxk+Z0adkm/xYCcBT5/RRXwgmMp7c1vV2BMz2WgLcZdiEU 02mQ9WjATEpVN092d4OY0BnG9WjlB/PxSSqA6UNm7yRGJM06r7c32T2J8tl1XnGzK8hg0A8T ctLMW2rnbV/9gjWB47RiUqVjaeqdaIG3C7M7miP12SOvFtAXA5qTarFRWwfZlfRrdnh+kzNV bquCbA+PgtFyM6CMbdKZ8byjVRGQffjIM7Rb3iwm2e2HxaIx6mDYJDke2UHj23hDx1OnhgVu H+CMSA/AD2gqiTQFnYmQV/3ZQbl9e1WqXWhT0ZywRvcKwUr3LOw/lsRhOeAY/IVxLMN/ik74 X0gF1+425fSCsGcjwtnZqRVJ90nthMPn2nerkl2OoGqB6FknF8XNQpt9Qu63BJuT45EjMICr XUwzQM0J7jOlBsLfjyU1Lj0O6bLMS/5/BmrbqPMwRfF3Zzerq4A5P0Qr1T4oBrvHUor93Bqy cITyHbKot2ADAMJUp/1Vm43/gN5qrXeJC4n6MmcgX1lKqq5tjvq29syB+YhzlCnZdgJY42eE wqnNNccCsynYMAjgVSpZ1pQG/pU+ao9ee+vbfeG0YakOO97kzW5y21Mpp1+hBHfvxFgQ/LFi s5Wi8qT2RGKAmut5L/AmsX+mIQfICoXAnL60i/8QohYeqx1e48PT2aoOcy+gNtk1Nb2Q3AN0 lmlChsd3dOxPwKIZgnaxwtd0U1RjXW9lSux5zNwmiomqbXZ1SeI3uexPAEfNDtzTXJ5xUzpP ZDyitkbWEayaA18swGj6ELzgYRSvqh/JkHcRU5TcC/paWhpFLaz5fKZe8AazpQuvG1MVfikJ 1CXTrmouxwBzybqBHdT3hgjczahuYn+mVpxhWSBanl3pTzQcodtxn8z/fT6QvhclnoDTSh80 nzMA0SkesKu5ZOSnovCtea3UySgUIdSeG/l19HIsizz/mBsDRCl+pL70tT6DQg31zP63Nh2R G3Jqhj7eIziy6W9N6puYEBpAFb278cyFJt5l8M8g5QZ2H5SgZvwnzJPtn31PNFSn473dnYNT BYEx9fO7w/6nkRoaG+Khsr4Wnib3sp9doyieGpFv0B1p8tOCaqS8PlFhX4s+QL+91qAJ6Ej2 GhAmp5MoDYAjuoEuRQg1HCYC7EWRgxDODD00g+P95a4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG92f154XtPvXZd94TvzWblx7bgO9Kbps60OcJz3kCWyq1rTg+xug3g AY7l7aguoWDIiNB9bi1AhdwOTn8fMwU5XfkhuBDnYzFuuLnVoUkETINUpzySPuuGz9HrvXrO TGFFzgko2uaE77SdeOGwH9vtGmHU5WiNnXMYWIc0c0nXx6FYkpWnAETWjw+2J8/DAGjgsL7I g914TUY51iwrRUpqKogEAP5X2PW4iuhcDs0QbCQKBNN4QZdoU7ed9Gdpu5+BCBX+JS9oRfFc zfDIV4QXCdQBArbWhjqJdzMrZHY/vKdB/aiIveGeriIpeFEFr+JyZ+pzop67mOJP8SLMGNlC q5z0U5CUHZlXsXBzmxUE2pNz3OLNpDd+0rvn08/5tqy+/nqRg/1sI6GCr8JdM5q5wjzmqCbc eiZmCd+Lz9ckJIK337BjrYFjztww2ljcSegFbMYuGvDVqXVz+VwFRgWbyo1GMJS46I19gZJM NXUjcyz37U+k/1/WDInHRTx39qkY8AHOTT3E0nBCUKCcpiPPzHLyun4ZaqnRrpPyuxf8QCz8 2X+cQerLnGIkD/nUAqqOOdHgXSAPRBQj4q6dw5kFWnpSN+1Ig3+KtJ8iic6hKElnn6ff3BJK iByKgkey9/YpTMdmPh0HHZNq2ZoPfXR0TjM9PHWc94Xqac5W38s0bgCsTJijeMStX8hJrQ9m S3ZqsNirgO9iufJ0iBgTBdFtjdMgsSMoFlmPqLasJJHXDysEAsly2KWBlxKotJkDoaqoKVM0 p3Uk7q1Lj5e8tXS9M9aBs7OKcvBPmBzeRzuUCXZCgcIV1vJfSnWmlBdnfeO93aUsolyq57in 4ALQ6NaU1p9H+0TC0BsFtgPaJltWTZsnbmehc8OrX2wyXuZDN1dpYzCX+mODO/HMDKehrpYY B1Oyr7+McIcMoS90kckd1o71IXGFkzMXMxc9y1saghnxScFuHN6T2A1xwfkclb0uydVT6bl2 EdozFQjMoFPvH/27lw6J0THvn41mUg1wpD+hCyJNSX2NOG2VJ1XDCz9sw4wNIn6SkB7d17X/ wQsOTHaSrZWl7Yle3psjVqWnoFJFPpVC4FNehMQzNmYY/wz3lND7Cysg1JEr7iga9MqhE4xf JigomgVkRpkd8IwLLfMKbBh1lxXjaGSuSnu3e033EkRI09L+WjUZS1C6ylqfvE2YiGv+OJr8 wmLnTBOLXMNW/QdqfVv7kohOu6EwkoIPJZMLkmqOOuAaaqS/XXDx5fgqrIYzkcPnEpZ+r4w2 solbwybU0lpxbDXChdbbaIqzClaa8NJ+3/MOy+F9/jOk8odAg==
- Ironport-sdr: 648ae217_LsROHM0vIil/hWg5y8wjA3nHadgJHqEoIC3ira02aJs8+EN DesMjtP4thH0X1KNDB4oWbokozpLzbmp4pUB3GQ==
Hi everyone,
Relocation assistance will be provided where appropriate.
The School of Computing Science is looking to recruit a Research Associate to make a leading contribution to the EPSRC project “Uni-pi: safety, adaptability and resilience in distributed ecosystems, by design” working with Dr Ornela Dardha and industrial partners SingularityNET (Seattle) and Actyx AG (Munich).
The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience properties, while maintaining a realistic view of distributed software systems in the presence of failures, message inconsistencies or service degradation.
The successful candidate will contribute to the formulation and submission of research publications and research proposals as well as help manage and direct this complex and challenging project as opportunities allow. The candidate will also contribute to engagement activities, such as Knowledge Exchange Workshops or tech summits.
Informal enquiries about the role are welcomed, and should be addressed to Dr Ornela Dardha (Ornela.Dardha AT glasgow.ac.uk)
For more information on the University of Glasgow’s, School of Computing Science, please visit https://www.gla.ac.uk/schools/computing/
For more information and to apply online: https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368
Closing date: 11 July 2023
All the best,
- [Coq-Club] Research Associate position at the University of Glasgow, Ornela Dardha, 06/15/2023
Archive powered by MHonArc 2.6.19+.