Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD position in Formal Methods and AI

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position in Formal Methods and AI


Chronological Thread 
  • From: "Daggitt, Matthew" <M.Daggitt AT hw.ac.uk>
  • To: "Komendantskaya, Ekaterina" <E.Komendantskaya AT hw.ac.uk>
  • Subject: [Coq-Club] PhD position in Formal Methods and AI
  • Date: Wed, 16 Mar 2022 10:49:27 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hw.ac.uk; dmarc=pass action=none header.from=hw.ac.uk; dkim=pass header.d=hw.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=pHJHmwWjvrDNmV9pRr7V7WnpiJFANdtkxBFxHLmvliI=; b=dyeKFZJ4bOE5fjXtp1j7rDT/m2kLeygFplMOxFKbhcHl/8szTzpgQwexbFthTb7ISxhdBqN5o7RNAl3yEOO5cR1VjvQGn4YheJKhubzz4QwDKt1stpMh9odWEebg1v1V/njtmeXTgdM2YyW5KiuEKN5vqX4OgI9DoG+GfVTnDeYz07tgvO57w/s4s05RZiE0WLM1SpujvO3QZ3FnrJ54VivuqZqe0SOb5mCgrASHf163thbpgIflmPgqXGBMiiCwP80R8Qggc8fiP6rH6s78W2P4ogLCp7cPGWjVrM8oSAjzpXyB6/FyUqS8+zpo0r2eEXwxTCGGXHSDD8FThAe5qg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=h3vSEP3uT6nYE3KwGPnhSnVYyYgws2RKbr+6yDuf/6Etpcz7JepTfQ+mW3ay4JUaGWIZ4fC0XZwDE0jORB1xdR+eXbPgaLwuRX16PEWlzson+RMKzunJM/G7gG/ZR4H9UtdBrRuT8Lo21sOs21eDB8X22WSGfqaawQzY16HqecgvHZaDulvjJOEG5FiwGEre5x7a85vPdz5koVAtbCcfq13b/CeAv1tEd9YA1ejVpIKaci/kHdzpwcRi3U2zSzdg+qzAkfrDWh/HVOKThRXAM+vwmuc8iHQ0mIW01Iq4mhcbTyrASolJMG58soZIs3haBdEMA5ypCggIwdWr3pbLaQ==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=M.Daggitt AT hw.ac.uk; spf=Pass smtp.mailfrom=M.Daggitt AT hw.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-CWL-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:07MEm64c8ZBzzGheKxplRAxRtFjCchMFZxGqfqrLsTDasY5as4F+v mVKWGjSO/ffMGKnL90lPovi9UxTvMWByNNjHARsrSFjZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yir/ZWFULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 IltqbGhF1gNBLySpP8PazZJKwxwOLITrdcrIVDn2SCS52LsSSO1ht5RKAQxN4Be/ftrC2ZT8 /BeMCoKch2Im+OxxvS8V/VogcMgasLsOevzuFk8lXeAValgGMmFEv6iCdxwhF/cguhrW9rXa MUYdSZHbAuGahYJJ1R/5JcWxrn03SSgLmYwRFS9g5odyXTM81FK34fCDPDzQe2vaJ1cgRPNz o7B1z+gWUpFXDCF8hKO9WvpjevSlwvgSYcKHfu58ORriRud3AQu5AY+UFK6pbyylUqxUcgHc ksSoHJ/9u416VChScT7U1ugunmYsxUAWt1WVeon9AWKzamS6AGcboQZctJfQIAGqOInG2MO7 E7Xo8j7PRN+iJCbTG3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHokL/Emd3oKdJN3g/ 9yZhHVn2u9L3Kbnw43+pgqf2G3ESo3hF1Ztvm3qsnSZAhRRS6TNi2aAwlHB4fdOIu51pXGqk iFY8yRyxN8HCZyW/BFhrc0IFbCtov2aNDLWmwY2GJ97r2X2vXm+YYpX/TdyYl9zNdoJciPoZ 0mVvh5N4JhUPz2haqofj2ON5yYCkvKI+TfND6y8gj9yjn5ZKF7vEMZGOR744owVuBJw+ZzTw L/CGSpWMV4UCL580B29TPoH3Lkgy0gWnD2PGsqql0j3jOfCOxZ5rIvp1nPePojVC4vU8G3oH yp3a5fiJ+h3DLCiOHmLodZ7wa4idyBrXcmowyCoSgJzClE/Qzp+YxMg6bYgcJZihKNbiq/D+ WulXVVR1Fv4gxX6xfaiOxhehEfUdc8n9xoTZHRyVX7xgiRLSdvxsM83KsVmFZF6pL0L5aMlF JEtJpTQatwREW6v02pGMvHAQHlKL0nDafSmZHb+P1DSvvdIG2T0xzMTVlC2pXdUUXbv65dWT n/J/lqzfKfvjj9KVK7+AM9DBXvo1ZTEsO4tDUbOPPdJf0DgrNpjJyDr3q03PIcFIlPexWLCh QqRBB4Zo8jLopM0qYGX1fna9N3xS+YuTFBHG2T77KqtMXWI9GSUx4IdAv2DeirQVT+p9aj7P bdVwvjwPecphlFPt4YgQb9nwbhutdvw4bZRiBlnRS2ZY1OuA7JmA3+HwcgW7vMdn+EC41PuV xvWqNdAOLiPNMf0K3IrJVIoPraZyPUZujjO9vBpck/00yl6oeicWkJIMhjQ1SFQIecnMI4hx ut96sca5xbj10gFGOze12V/yEDJKXYNFaI6qpsdHYnnzBIxzU1PaoDdDSmw54yTb9JLMQ8hJ TrN3PjOgLFVx0zjdXsvFCeSgrMN38hW4B0ankUfI1mpm8begqBl0RBU9wMxRFsHwxhC1dV1J WU2ZVZ+Ir+D/mszicUfDXqgHRpNWE+Q9kDrlgJbkWTYSwyjSWjCJndlYOGLphhIqCRbYyRR+ 6yexCD9SzH2ccrt3yw0H0l4t/jkSt83/QrHwZj1E8OAFpg8QDzknq7xOjVR+0G7WZs81B/du O1n3OdscqmkZyMdpqsMDYPFh7kdTRazInNPHKN696QTEGCAIzy/1FBi8axqlh+h+hALzaO5N yCqDu1lbUznkQ2xinUcD6NKJKJolvk04tZEYqnsOWMNr7qYqHxurY7U8S/9wmQsRr2CVO4jf 5jJeWvq/nO43BNpd63l9aGo+VZUpfEEe0v116ao843l0rod5fp0fxhaPqSc5h2o3cgOw/5Ql APcIabdifFhoWipc00ADY0bbziJxRjPuChkPex9XxmirT8CDCsWiz4olw==
  • Ironport-hdrordr: A9a23:8uu5OKFGxi2tPN2ZpLqFWpHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskd2ZJhSo6H4BEDgewKUyXcR2+Us1NiZLW3bUQeTTb2KjrGSiwEIeReOkdK1vJ 0IG8cRNDSaNykYsS+O2njcLz9W+qjkzEnHv4fj5kYoaTsvR7Br7g9/BAreOFZxXhN6CZ0wE4 fZztZbphK7EE5nJPiTNz0gZazuttfLnJXpbVotHBg88jSDijuu9frTDwWY5BEDSDlCqI1SvF Qt0jaJqplLgcvLhCM05FWjrqi+X+GRiuerMfb8xfT97A+cyTpAKr4RGYFq9wpF2N1HoGxa6+ Uk5S1QdPibokmhA12duwfi1QX7zToi3Xf+1FeTgH/uptHOXj4hEcpGgrRYf3LimjAdlcA536 RR022DsZ1LSRvGgSTm/tDNEwpnj0yuvBMZ4JouZlFkIPkjgYVq3PkiFYJuYeY9NTO/7JpiHP hlDcna6voTeVSGb2rBtm0qxNC3RHw8EhqPX0BH46Wuok5rtWE8y1FdyN0Un38G+p54Q55Y5/ 7cOqAtkL1VVMcZYa90Ge9ES8qqDW7GRw7KLQupUCPaPbBCP2iIp4/84b0z6u3vcJsUzIEqkJ CES19cvX5aQTOcNSRP5uw6zvngehTDYd228LAj23FQgMyDeIbW
  • Ironport-phdr: A9a23:tD7rAhI7aI+D6yt/oNmcuAduWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFv7M01wWCBNqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf6+94fObwhGmjaxbq5+I RerpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4 bt1RxD0iScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIOgY YUBDPYOMulDoobnu1cCsQGzCRWwCO/yzDJDm3/43bc90+QkCQzK0gIuEMgBsHTbrdX1KLsSX fiox6fP1zrDc+9W2Tfj54nGfBwqvPaBU7VqfcTf00YvGAzFjlSMqYz5JD6V1uoMv3KB4OV8T +6vlm0nphh3rzOyycgilpPHiZgJylDY6yp52oA1KMWmRUN4btOpEphduz+GOoZ3TM0vR2Fmt Tsmx7AJu5O2YScHxYgnyRPbZPGKcIiF7xP+WeuMPzt0mXFodrywihuv90Wr1+PyVs6x0FlQr ypFlMHBtnQX2BzS9MiLUOZ9/kS51TaS1ADT8OBELVozlarBJJ4t2qMwlpkJsUTCBCP6gkL2j LWZdkk84eio7//obq/6qZ+bMo95jBz1PKc2msGnDuk0LhICU3WH9em+zrHv4FD1TK9Og/A4i qXVrpHXKdgVq6O8HgNZzpws5he6AjqpzNgUgHwKIE9EdR+CioXlJV/DLfblBvmlmVusii1kx /XeM73hHJrNKn/Dna/gc7tg90BQ1Bc/wclB6p1UDL8NOfXzVVTvu9DCCR85LhC0zP3gCNVg0 IMRRHiDAreDMKPVrV+H+P4gI/WNZI8SvjbxMf8l5+PyjX89nl8deqqp0YELZ3C/G/RqO0SZY XzyjdcdCWoHsRYyQPb3hFGeUzNffWu+U78m6jw/Bo+qFYLDSZqsgLyF0ie7BJpWZmVeB16LC 3vmeZ+LW/gDaCKTPs9hjicJVbivSoM7zx6hqBX2y6dkLubM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VVWF7gnsIRyMq3KB4uUFy1lCD0bFhj/NEEdxT+uhGXxwhNZ/cyux6E8r9VhjAftePU lamQ8+pDSs/TtIrkJcyZBM3ONKngxbP1iy2GLwchrXPTLE3+77RxXn3Low1n1uA964kgl8qS 81TLm6vl6dX9xeVDoWPjkbPxIiwcqFJlgLE+2iC0XbK9GRRTBJwXLqPFSQ6IGffotv4+l/qT 6DoAL9hLwgXmp3KEbdDdtC81QYOf/zkItmLJjvpww9YZD6Nz7KINs/xfnkFmT/aAw4CmhwS+ nCPMU4/AD2gqiTQFm8mDkrhNmXr9+Q2s3anVgks1QjfSgtN3rW6+wIJrfyDDfoYmK8H6286s zshJF+mxJrNDsaY4Q9ofaFSe9Q4tXIB+WvWuA1hIrSgMOZrjRgDcFc/pFvggi1+EZ4Iis02t DUqwQ51fLqfy09EfiiE0IrYFZftcjC31y+LLqnc1xfZzcqc/boJ5LIgsVL/sQq1F00ktXJ6z 91S1Hja7ZLPZOYLebT2VEt/tx1zprWAJzI4+5uRz3pnd6+9rj7F3dstQuoj0BepOdlFYuuCE 0fpHssWCtLLSqRikkW1bh8CIOFZ9bIld8Kgefyc3ae3PeFm1Du4hGVD6Yp53wqC7S15AuLP2 p8Exbmf0G7lH3/Zynuovc/2hZxsZS5UF2H51CulTI9da6tufJoaXH+0Kp7/zdF/ipjxHn9Ao QL7QQpeh4nwIFzDNA+Yv0UYz0kcrH25lDHtyjV1l2tsta+DxGnUxO+kchMbO2lNTW0kjFH2I IHygcpJOSrgJwUvihah4l73gqZBo6EqZUyVbU5HcCnqM0liTe25vfyfYIQcjfFg+TUSS+m6b V2AH/TY5TcT3CziA3d2xC99fjrsp5azzFRqzWmaKnh0tn/Qf8p9kAze6NLrTvlUxjMaRSN8h FE7H3CENsKytZWRnpbH6KWlUn65E4dUem/txJ+Bsy2y4StrBwe+lra9gI+vHQ8/2C79n95kM EeA5DO6ToDk2KWmLcpnYQ9hDxnh6IJ2F5p/nY05mJwLkSRCwMzNojxeyCGiap1SwurmYWAIR CIXztKwgkCtw0BlIn+Thsr4Wnib3sp9doy/a2IS1Dg66pMCA6OV4bpY2Cpt9wbg61uJPr4kx 3FMkqhLijZSmewCtQszwz/IB7kTGRMdJinwj1GS6Nv4qqxLZWGpeLz21UxknNnnAqvRx2MUE Hv/ZJomGjd9q8tlN1eZmli1xojrd9jMcfoTqVudmFHdjKIGTfB53upPnidhNW/n6DcAjcIyg hNvwY2SvJfBIm4r4aHzUVZIczbyYc0U4DTki61Ty92X046YFZJkAjwXXZHsQKHNcnpapbH9O g2JCjF5tmaDFO+VA1qE8Ek/5SGHA9WxOnqQPnVc0dhyWEzXOhlEmA5NOVdy1p8hSlL2nIqwK gEhoGhWvwOwqwMQmL4wcUCnDSGH4l/vM2l8SYDDfkcMqFgavwGNd5TZt74WfWkQ/4X9/lXVd irHOEIQSzlOAxPMBki9bOOnvYCSqrHBVOTid6OcM/LS+Yk8H7+J3cz9iII+pmTVb5zdMCU6V K9pnRYTFXF/EMDElzhdUDQZm2TVdcmHqRyg+ypx6Mei7PDsXwGp7oyKbtkaeZBm/xT86UuaH 9aZnz0xaTNR15dWgGTN1KBaxlkZzSdnaziqF70E8y/LVqPZ3KFNXVYXbCZ6Nc0A6KxZvEEFI cnAltb8zaJ1lNYaIW0dDBnKpeXsYsYHZWagKFnAGUCHcqycIiHGyN32ZqX6TqBMiOJTtFu7v jP+cQerMjmYljbvXgyiKqkQ1GfCZEMY4dj7I00lAHOrVN/8bxynLNJ7xSY7x7E5nDKCNGIRN yR9b1IYrrCU6nA94L03EGhA43x5aOicznrBqbCAddBP6L06WXcR9aoS+nkxxrpL4TsRQfV0n HGXtdtyuxS8leLJzDN7UR1IozINhYSRvEwkN7+Kk/sIEXvC4h8J6n2dThoQoN4wQPipl6lfx dnTiIrzN3FL+JTJ/oFPYqqcYNLCK3cnPRfzTXTMCxAZSDewKWzFr2N3qqnLs1aqit09oJWqn 4cSQLhGUlBzDukdFkluAN0FJtFwQy8glrmYysUP4DDtyXuZDNUftZfBWPWIBPzpIzvMlrhIa SwDxrbgJJgSPIn2iARyL0N3l4PQFw/MTMhA92d/OxQsrhwHox0cBiUjnljoYQS37DoPGO6oy 1Qo3xBmb71l9S+wsQtvYAuQ4nN2yA5oxJ3kmWzDLGa3df/vG9kQU22t6S1Tetv6W1onMFf0x BQ8cm+CH/UI0/NhbTw50VeA/8cQX6YaFeodP1cR3a/FPfxwiAYF83z1yxMfvbmXTscy8WliO Z+08SAa0lo6PodsfP7eePISnAoX2vLGvymj0v09zV0FP0gBtnuIfzIFs1AJMb9gIDe0+utr6 kqJnD4mGiBEEvMuprgCHqYVO/vGximmzr0RcihZ2MSfMOWQsC7dlpzRKrvR/mwirREcuJNJ9 YIkeUfSUF0zxryMERhPLdDFNQxec8tV8j7UYDqKtuLOh5lyOtfkft0=
  • Ironport-sdr: WkWVvpPavbmxHW6E/okVZ2F4taspX/661cA2SDrrrSh+DG7b/ak4mZ+L1vpCEtnV9zu7xYhdD2 sTEvsQv6U7DvKm+kES/l8glr5gWZ8XG/+10KJuM4iJ/owJpRaGb85P+0Kj5H/jUpnF8hz12LCQ cRE/d5msEZYLcmUkgS80Ym8jQzoLLI9d2x5D01qe3Hbt/u1fXB7Q05v6lGYDzA7k07Jv95y9rm LHcnLXGMqU7JvzGV3LhR48O0AEMek3QoXsBi5T2hCdP7gKCAzmOjFzGcSvt6RSaZHh6Sxg5x2k MZOcer6GimYX9iEQ3WY5fLNu
  • Suggested_attachment_session_id: 60dfc363-ec51-7e6d-eac5-602b2c2b2791

 The Lab for AI and Verification (laiv.uk) at Heriot-Watt University, Edinburgh is looking to fill one PhD post. We are looking for a candidate with solid knowledge of Theorem Proving and/or Functional/Logic programming, and enthusiasm to apply this knowledge in the domain of Artificial Intelligence.

The post is for 4 years, starting in September 2022. It covers full stipend and PhD fees and is sponsored by the UKRI (ukri.org) and Schlumberger Cambridge (slb.com). The company will provide additional training and support during the PhD studies. Please direct all queries to Ekaterina Komendantskaya (ek19 AT hw.ac.uk) and Matthew Daggitt (md2006 AT hw.ac.uk) by the 3rd April 2022.
Best wishes,
Ekaterina and Matthew
Untitled Document

Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:

  1. Heriot-Watt University, a Scottish charity registered under number SC000278
  2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.

The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.



  • [Coq-Club] PhD position in Formal Methods and AI, Daggitt, Matthew, 03/16/2022

Archive powered by MHonArc 2.6.19+.

Top of Page