coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Fully funded PhD positions in logic, semantics of programs and verification at University of Sheffield, UK (Deadline: 18.10.2022)
Chronological Thread
- From: Harsh Beohar <h.beohar AT sheffield.ac.uk>
- To: Harsh Beohar <h.beohar AT sheffield.ac.uk>
- Subject: [Coq-Club] Fully funded PhD positions in logic, semantics of programs and verification at University of Sheffield, UK (Deadline: 18.10.2022)
- Date: Thu, 29 Sep 2022 12:11:02 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=h.beohar AT sheffield.ac.uk; spf=Pass smtp.mailfrom=h.beohar AT sheffield.ac.uk; spf=None smtp.helo=postmaster AT mail-yb1-f181.google.com
- Ironport-data: A9a23:Xe9Sz6DKHkZmtRVW/xLnw5YqxClBgxIJ4kV8jS/XYbTApGwm0DEDz GQYW2HQaPyIa2X1f41zaIq09EsCv5+ByodqOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6jclkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOYzdJ5xYuajhOs/PZ+Us21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0HgkmVZCq9oMrLlC06/O/7V3kI0HFwtZFNVhxINwq6ut4VDQmG fwwcFjhbziGjuOyhaOxE6xi35R6asbsO4wbtzdryjSx4fQOG8iSBfWXo4UBjXFp1pkm8fX2P 6L1bRJvKh7NZB1GIH8MCJ8wkualgnW5ejYetVH9Sa8fvjWKkFUojOeF3Nz9Z9+3a/dukhqkm Vn020ejOk8/beSw4G/Qmp6rrraXwXmTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQR8ysq6Lk4rQmlF4mkGRK/p3GAs1gXXN84//AGBB+lwfDrzySJJDg+Zz9iQ+U/89Jndywn2 Qrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdUEmPpBPGz/+kOYgLzosVLS/Hq04Wkcd3k6 3Xb83hk3uR7Ydsjjv3jpTj6bySQSo8lpzPZCy3SV2OhqxJzPcurPtzxr1fc6vlEIcCSSVzpU Jk4dyq2vblm4XKlznTlrAAx8FeBua3t3Nr03wUHInXZ327xk0NPhKgJiN2EGG9nM9wfZRjia 1LJtAVa6fd7ZSX0MfQnMtLrVZ1yl8AM8OgJsNiEPrKihbAhJGe6EN1GOCZ8Iki2zRF1yfxvU XtlWZnwVSZy5VtbIMqeHr9Bi9fHNwgxwmTcQZ2T8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4CaZbi40gACIXWPHOLmaZNdgtiBSZgVfjLRzl/LLHrzvxOQzF/VZc8ANoJJ+RYokiivrmUr y/mAxQDmTISRxTvcG23V5yqU5u3Nb4XkJ7xFXZE0Y+Aiyl/M7W8prwSbYU2drQB/eluh6w8B focdsnKRrwFRj3b8n5PJdPwva5zRiSN3AiuBiuCZCRgXphCQweSxMToUDGy/wYzDw22l/AEn Zue6i3hT6A+GjtSVPTtVKr3znean2Qsp+Zpbk6ZfvhRYBrN9aZpGQzQj9g2AdMFBivG9D6e0 wy5OAopmszQr7Au8f3ip6ONn6G2GcRQQ2tYGGj66+6tFC/4p2CM/65JYNyqTxv8Clzm2fyFS 71O7vfeNPYnog57g7BkGew28ZNktsrdmbBK6y9FQlPJVg2PIZF9KCCk2cJviPV89oVBs1HrZ nPVq8hoApTXCsbLC1VLGREEaN6E3vQqmjX/y/Q5DUH5xS1v9oq8TkRgEEiQuRNZMYdKHtsp8 cU5tO4Szj6PuB4gH9KFryJTrmq3PiMhVYcjvcokG4PFsFcg5WxDRp3+MRXIxq+zRe9CCWQQG Q/MtpH+3+xd4mHgb0sMEWP82LsBpJYW5zFP4lwwB3WIvdvnlPYY4hhj9DAzRCts0yR49v9/B XNqE2ZXJqy+2Shiq+YefmKrGiBHXAa4/G6owXQ3tWTpdWuafU2TE38cYMGjpFs49UBYdRhlp ICo8n7vC2vWTZugzxkMVl5AgN29a95Irynput2tRuaBFLkEOQvVuLekPzc0mkG2EPEKpRP1o Mdx97xNcoz9DykbppM7B6S81bg9TBOlJnRIccp+/ZEmTH3tRzWv5Qegc0yBWNtBB/jvw3+KD 8ZDIsFuVRPn2h2e8REdJ6oHeIFvkNATudEtR7LMJEw9iYW5kAZHipzr2xbbuH4KWPRryMY0F ZPQfWmNE0uWnnplpFXOp8hlZEu9ONkNWxLg0d+U4ME2JoIknMxxQxtjzInur3GxNS159Sm1p yLGXbfdlMZ5+LRvnqztM6RNPBq1ItXNT9a18Bi/ntBNTNHXO+Lcnlkxhni+GCoOJpoXedB8t YrVge7NxEmf4YoHCTHIqaeOB4xixJuUXtMOFunVMXMDvy+JePG00is542ridKB4yoJM1PKGG Tm9RtC7L+MOetFnw3ZQVShSPjAdB4nzbYbivSmNlOuNODdMzT34KM6bylGxYVF5biMoP7jMO j3wsduq5fFaq91COkZVTbUuSZp1O0TqVqYaZsX8/2vQRHWhhlSZ/KDuj1w84DXMEWOJC9v+/ YmDfBXlaRCuo+vd+bm1aWCpUsE/Vx6RQNXcf37xP/ZzgjG+SX8MdKETaMVfTJ5TlSP22dfzY zSlgK7Oz8nidWwsTPk+yI2LssSj6igmIdf0KDIo8keYLS69Qp6DaFek3jk1+G94I1MP08n+Q ezzORTM0tyZ2ZFkS+gS6/i3x+5sgO7Zrp7NFYYRjOSqaysj7X42OLCN0eaDueEr0y0AqakTG VUIeA==
- Ironport-hdrordr: A9a23:IOTqeK8MBQZrneTcT9duk+DeI+orL9Y04lQ7vn1ZYhZeG/bo8f xG/c5rsiMc7Qx6ZJhOo6HiBEDtexPhHP1OgLX5X43SPjUO0VHAROpfBODZsljd8kPFh4pgPG RbH5SWyuecMbG3t6nHCcCDfeod/A==
- Ironport-phdr: A9a23:1S/cxh8fyRmwA/9uWb62ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqEuK0m1wGBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcq62/q89pDTfwlEizSwbLJvJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sqw5VDq+4 6t2URPklDoLPCM9/G3KisF8iaRWqw+jqRNi2Y7ZeI6aOvpwcK3eYN0UW3ZOU9tKWiNbHo+xd ZECA/YdMetaqYT2ulsArQG5BQmpHO7hyCVHhmXt3a06zu8sDB/J3AsgH90UqnTfsdL4NKcIX e+u0qbIyjXDYOlM2Trm84jIcg4uof+CXbJxb8XRzVQgGxnfgVqMs4DlIjCV2/0LvmOG4OVuS fihhHQ7qwFtvDev3MEsh5HLi48LxV7I6yZ0zZgrKNC7VkN1YdGqHZRMuyyYNoZ7RswsTmVot isn1rELpZ+2cSgOxZonyRPTd/yJfoeV7x7/UuuaPDl2hHVgeL2lhhay91Ctyvb8Vsaq3lZKo CtFncfItn8QzRDc8NSIRuFg/keiwTqP1QfT5fpfIUwuj6XUN4QtwqMzlpcVrE/NHTf2lV3og KOKckgo4Oul5uT9brn4u5ORM5V4hhz9P6gznMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA2l 7PWsJHeJcgCpq+2GBJZ3p8t6xqiDDqqzc4UnXYALFJCdxKHi5bmN0vSL/D/CPezm1WskDF1y PDaJrDtHInBI3zZnLrifbtx8VBQxBc3wNxF+p5ZCawNLOr2WkDrtdzYChE5Mxazw+biENh91 pkSVnmRDa+eMKPdq0WI6/k0I+mMeoAVtjj9K/k76P7qkHA1g0UScrWz0ZsKa3C0BvJmLF6Bb nr2ntgBCXsKvhY5TOHylVGOSSRTaGqqX6Ig+jE7D5qrApvERoC0mbCOwCO7HoBNaW1dEVCNE XLod52eVPsWaSKSJNVhkj0eWrS7RY8hz0LmiAiv67N9Neqc0CAftZv5nIx1oefekhE77xRvD 8mT3WCAS20yl2hOWjxgj45lpkko6l6ZyqgwqfFfFdVJr6dJFA03Mp7V1cRhC938VAPMetvPQ V3gX9bwUmJ5dc4439JbOxU1IN6llB2WhnfC6949krWKAMZx6afAxz3rIM07zX/a1a4nhl1gQ 81VNGTgiLQsvxPLCdvvlEOU372vabxaxDTEoWfFx2eJvEhCeBVwXKvLXH0bag3fppLk5RCKV KegXIwuKRAJ0sueMu1PY9ztg09BQaLjft7TZGK4gU+rBRuGyLKBaIascm5bwSaOQFMcnVU1+ nCLfRM7Gj/no2/aC2l2EknzZkr37eRkgHayT0tx3gvTKkM4h+Pz9RkSiviRDfgU29rooQ8Hr DN5VBa41tPSUZ+bohZ5Ob9bapU76UtG0mTQs0p8OIahJuZsnAxWdQM/pE7o2xhtb+cI2cE3s HMnyhZzIqOEwRtAcT2fx5X5JrzQLCH74hmub6fc3lyW3syR/+8D7/ExqlOruw/MdAJq8zNt3 t5V2mG0/ZXHAgQTXJb9FE88sQV55vnbbiQ7+4LIxCh0K6Dn112Kk9ktBeYj1lOhZ4IFaPLCR FK0SZRLQZH+cb9P+RDhdB8PMeFM+bRhOsqnc6HDw6u3JKN6mzngi21b4Yd720bK9ixmS+eO0 YxWppPQlgaBSTr4i0+s987tnoURLzFUFGe4ySH+LJVRa6N8fIsPBSGnKIuqxZ8t4vylE24d7 1OlC14cjYWpPxCfaFz0xyVL1UkZr32qnSf+xjcyjjJj/c/9lGTehu/lchQAIGtCQmJv2EztL YaDhNcfREG0bgItmXNJ/G7CzrNA7OR6JmjXGwJTejTuantlWe22v6aDZMhG7NUptz9WWaKye wLSRrn4qhocmyTtegkWjDB9fTytupzjtwd6hWyTLXt3oDzQcodtxl/T6cfdSvhYwjcdDHMg2 H+HWx7mZojvpIXN357Y14L2H3qsTJhSbTXmwcubuS236HcrSRyzkvavm8H2RA0z0Cv1zd5vB kCq5F73Zojm0bj/MPoyJBE5Qg+hrZAjS8cnwtJj4fNYkWIXjZiU43cdxGL6MNEBnLn7cGJIX zkAhdjc/Ani3kRnaHOP3YPwEHuHka4DL5G3ZH0b3iUl4oVEEqCRufZE2yF4pVqxtyrKYfVzk DYQzfdo4XVcnuJD629Phm2NR6sfG0VVJ3mml1KC4te+pb9/f2aif7ax2U5y29mqSqyB6FI5O j6xatIpGil+6d96OVTH3Sjo643qT9LXaMoaqhyelxqTx/gQMp86keAGwDZ2IW+o92Nw0PY11 FY9uPPy9JjCMWhm+7i1RwJVJiGgLd1G4Snj1O5fhprEhN3pR8Q5XG9XA92wCqj0WDMK6aa5a 0DUS2Z68ynDX+KYRF76ig8urmqTQc71cSjPfj9Bi40lHkHVJVQD0l5KGm9mz9hpTkbyg5a5O EZhumJOvBih9l0Vm7gub16mAgK97E+pcmtmF8TZdUALqFkEvwCMb4Sf9r4hRnkIuMT+80rdb DTcPV0ADHlVCBXbXBa6b+XovZ+YtLHGY4j2Z/rWPefU8b0YB6rOnMj/lNMhpmnEN93TbCM7U btmigwaDCo/Q4OAyn0OU3BFzXuTKZTA9VHnoGsv6ZnulZajEBTm4Y/FY1dLGfNo/R3+waKKN urKwT18NS4dzJQHg3nB1LkY2lcWzSBobTikV7oa52bLS+rLl6lbAgR+CWs7PdZU7686wghGO NLKwtLz2Llii/cpClBDHVX/k8CtbMYOLimzLlTCTEqMMb2HI3XMzaSVKeukTqZMiexPqxCqk TOSEkumLz7a0jewB0npPuZLgyWWehdZvcD1cxpgD3TiUMOzahC/N4wS73V+yrk1i3XWcG8EZ GIkIgUd8/vKtHIe26UmSAkjpjJ/IOKJmjiU9bzdI5cS675wBzhs0vhd6zI8wqdU6ydNQLp0n jHTp5hguQLD8KHHxzx5XR5JsjsOipiMuBAoOePT+55AUGzs5xIA42uRBhAG4dJuTMDs8fM1q JCHhOfoJTFO/siBt9MbHNTRIdmbPWAJNBPoHHvFBlJAQ2f7bCfQgEtSlPzU/XqQ5MtfyNCki N8FTblVU0YwH/URBxF+HdAMF5xwWystjb+RiMNgDZuWqRDQQIBLtMmCWKvCWLPgLzGWibQCb BwNk+uQxWE7LY321UJjZ1122o3BXVfTD4glSsJJdQ85rktM/XxyCGQ4nV/mOFrF3Q==
- Ironport-sdr: 63357d53_jaRPXzSAt6EURo1HuUcCTZTf9Jqg9A3brf2Q/SRXxY8HjI3 x8GCAUyHrrS07HjGiG8HbgznRoy3tjPn9HGq6sQ==
** Apologies if you receive multiple copies of these open positions **
Up to three fully funded research and teaching assistant positions with the opportunity of undertaking a PhD are available within the Verification Group, Department of Computer Science, at the University of Sheffield:
The verification group at Sheffield is growing rapidly. These posts provide excellent opportunities for graduate students (UK and overseas) to obtain a PhD in any active research area of the group, including semantics of concurrent and distributed systems, logics and complexity, algebraic and categorical approaches to program semantics, coalgebras, verification of multi-core programs and weak memory models, interactive theorem proving.
The posts are fully funded for 6 years with 60% devoted to research and 40% to teaching support. For more detailed information (including roles and responsibilities), please see:
https://www.jobs.ac.uk/job/CTM862/teaching-and-research-assistant-in-computer-science-3-posts
For details on possible supervisors and research projects, please contact our personal websites from our group webpage. For informal enquiries, please do not hesitate to contact any group member by email.
The candidates interested in the interplay of category theory (coalgebras), logic, and semantics can write directly to me at h.beohar AT sheffield.ac.uk. Current topics
include expressive modal logics, behavioural equivalence games,
synthesising distinguishing/characteristic formulae all at the level of
coalgebras.
With kind regards,
Harsh Beohar
- [Coq-Club] Fully funded PhD positions in logic, semantics of programs and verification at University of Sheffield, UK (Deadline: 18.10.2022), Harsh Beohar, 09/29/2022
Archive powered by MHonArc 2.6.19+.