coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Marmsoler, Diego" <D.Marmsoler AT exeter.ac.uk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Postdoc position in Formal Methods at University of Exeter
- Date: Wed, 8 Nov 2023 12:04:59 +0000
- Accept-language: de-DE, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exeter.ac.uk; dmarc=pass action=none header.from=exeter.ac.uk; dkim=pass header.d=exeter.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=hNooSKWZBg4IVmObqyh05SMkuNZVemkrXhrHgdHwLPU=; b=kt1958+9WTE6hH+oWH08lUTdUmRSSIktxjzis0tsKrvIfuBOqPYjEBIvyKly5E5x8ok4j17J5m+Mwy6XJEALLqDJ3yjAKhVs2BjzS/3VEPTmCAPsknKFtuDugvKVxPaiSSNZIXVDcWJqMIqQRo2RwFPzxvrsS+aXFf2FB0LiZnhuHrsDqOO6WFQe6ZdBOl7IhV079BL5XOecLqgNfyEJufxiKNE4r6Yo/QR5SX0RMOY7rbvOxYTuXWXFkKp8jONeAV02Q3ZNVx62+Btq//h/URtwstfoqp0LOJ7yonNIT8P6D6ZDQse2pVqu3azEAwy8oJQLaT1ljK/xrvrKpDnuKg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XvRQUK7Q6aZ69jnoKkZ6fRaCoyxJ7ZPSwEdZ12UO6bodsy62ZWlp8VOUSEIO1SAnxQH0k6iFMiMQbWReNf4ayNGquV6wvJFAygghqpIR97q3mqbapOrGlE4w5pDXzYOnKMm08DZrw/0IYQ6Hy5hKApcmU/5GOacZLDud7jT69mPHN/7fbjsvrHdR4xvx0fq9Rgxo7xPoqS7hIp4DoDbnnObEs9tN3m14h6SIFX/E09j6Uv54FX0YHyOoHio9G0VC57IkJ7H9MkabzStYQ9oHoSRiMFqYd0pkkECaSX5XqQ9IPkUrSENmsePNctucCnzYJ6NGv4JoDNNWHMqC5GXtww==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=D.Marmsoler AT exeter.ac.uk; spf=Pass smtp.mailfrom=D.Marmsoler AT exeter.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-CWX-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:xrmNcK3Zw1GX3G6plPbD5Ul0kn2cJEfYwER7XKvMYLTBsI5bp2NSm 2AXC22GP/6CZGunL4x3OYWy9hwF7JOBzNQ1HlRk3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Uo37Kyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0TV/OVxAmU6BLE/1MFtDURi2 M4HJD9YO3hvh8ruqF66YsZGvJx6aeLUDMYYsHwmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUTYhFOUM14xb3xwCWmG9FbgAr9Sa4fzy72xRZ0y7/pPcD9d8yHWchP2E+T4 H/Fl4j8KkhBaYbCmWbeqBpAgMfmjyDxeIQTMYeDzcNqjnawxX1MIjIJAA7TTf6RzxTWt8hkA 0cT428lqbU43Fe6S8H0GRy+un+N+BAGM+e8CMU/4QCJj6HL8wmTHDBdSTgbMIB/8sgrWTYty 1mF2cvzAiBiu6GUTnTb8aqIqTS1Om4eKmpqiTI4cDbpKuLL+Okb5i8jhP44S/XdYgTdQGmqm WK5v2Iliq8NjMUG8ay+8BqVy3ivv5XFBEp9rAneQmvvvEszaZ+Hdr6YzwHRzc9BC4KFEXiHn nwPwPaF4M40UJqiqS2qQcc2Jo+P2cqrCjPnrGRUL8ETzAj1o3+HVqJM0Q56P3ZsY5oleye2Q Ur9ujFxxZ50PVmuYIBJO7CBKtkb8o39Gev+V9T/TNlHUr5ufiCpoQBsYk+x2Tj2sU4OyKsQB 7aSQfyOP107V5t17WORab8G8LkJwise+zvidarjxU767YvENW+nd7gVFXCvMMY71fqgiyfI+ Y99M8Cq9U1uYNfmaHOKzb9JfEE4FlllN5XYsMcNS/WiJDBhE2QfC/P857MtVohmvqZNnNfz4 XCPdR5E+WX7mEH4B12GWlJ7ZJPreKRPn3YxECgvHFSvglwIQ4Kk6oUBfJoWI5gj0sFezsBPc vpUQPXYX8xzSQnG9Q8NMrj7johpLyqwiSy0YiGKXTkYfrxbfTLvxOPKRAXVyXQxPnKFjvdm+ 7yE/SHHcKUHXDVnXZr3aurw7lafvko9ueNVXmnML/ZtIHfc0ZVbFAnsgsAsIuUnCxbK9h2F3 Sm4XDYaoujspdcu0d/r3KqrkaagI9FcLGF7QVbJzO+RG3HB32yBxYRgbr65TQrFXjmpxJT4N PRn8f7sFdYmwnBIitNYOJR2x/sc49DPmedr/j58Fi+WU2XxW6JSGVjY78xhraYX+6R4vzGxU Uex+tV3H7WFFcfmMVwJLjoeceWx+qAIqwbW8MgKDh321A1v8JqDdHdiDR2GpSheDblyaacO4 +MqvuwI4A2e1DsuFPu7jR5vymfdFUxYDp0btawbDrT71Sst6FVJOqLHBgHMvZqgVtRrM2sRG AGyupbsvbpn63TnT2sSDlnIhOpUuoQPsktFzXgEPFW4peDGjf4WgjxS/R8KTC1F6ihh491YY 3ZaMnBoL/6wpwZt1ZFJWlmxECFjGhG2xE795F8XnmyEUUWYbHfHdjwnHeOr4koi0nl9ewJD9 +qy01fVUjfNfeDw0BAtWEVjlefRcNxp+iDGm+GlB86gDbBjRRbE24iFensuuRj8JME+ln38u uhh+dhvZZ3BNSI/p7MxD6+Y3+8yTC+oCXNjQ/Zz2rEgBkDZJS+P3AaRJ3CLes9iI+LA9Wm6A ZdMIuNNTxGP6zacnAsEBKIjI65Go9Bx3YAsIojUHG8ht6eTihFLs5iKryj3uzINcuVUyM04L tvcSiKGHmmunkBrom7qrvRfG2+GcNIBNRzd3ue0zb0zLKg9ktpQKGM87rjlmE+uElpXz0rB9 keLLarb1PdrxolQjpPhWPcLTRm9LdToEv+E6kavutBJdsnCKtrKqxhTkFT8IgBKJvEEbrybT 1hWXALfhyspfYraUlw1X7GuPZMRvICZY9oSNcj6an5HgSGFRcngpQMZ/Hy1IoBIl9Ub4dS7Q wy/a427ctt9txJ12ihOcyYHe/oCI/2fU0sijXrVQzew5tw13BzKMN69s3biK3xYHsPNE4OrE Rf64p5C+fgBxLmhx3Y46zVODo91PFL5H6ItMcDy3dVd4q9EnXva0obfedEcBf0nx5VK/AsWI X4Ie/QmSCmPhQ==
- Ironport-hdrordr: A9a23:1rcnKayYxARsIlt+TwntKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:FOU4+RY85cj5/Ijh4p0xkIf/LTF934qcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1g+PBNyKoKkew6qO6ua8AzJGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au1oAnLq8UanI9vJqk/xxfXv3BEf/hayX5yKV+cgRrx59288IJ//yhVpvks69NOXaLmcqoiU LdWFi4mM2c75M3qsRnMUw6C7WYCX2sVjxRFHRHL4An1UZntvCT6sPF92DSBMs3tUb80QzWi4 Lx1RxLulSwKKiQ28GDTisx3kaJbvBesrAFxzoLIfI2YMud1c6XAdt0YWGVBRN5cWSxfDI2hc 4sBAekPMvpXoITmvVQCsQeyCBOwCO/z1DNFgGL9060g0+QmFAHLxAIsEdUUv3TOqdX1L6ASU eSrw6nS1TnIcv1Y2Tbj54jHdRAtr+yHULV+f8bLzkcgDRnFjlCLqYziOzOayP4NvnOF4OtvS +2vl3Aoqxtrrje12sggkJTJhoEMx13C6C52z5o7K8eiR05nfd6rDoFQtyeCOoZ5QM4vQH1kt Ts1x7MIt5O2YSgExZAnyRPDZPGLbZSE7w7gWeqNPzp1hnJrdrKjihi9/kWs1vPwW9e73VtIs idIlMTHuH4K1xzW8MeHS/1981+/1jeAyQ/T9v9LIVoumaXBN5Et2KMwlpkLvUTGBCD2gkD2j LSRdkUg5Oeo8f7rbanhpp+ZL4N0lwL+MqQ0msynG+Q5PBYBUHOB+euiyLLj51D5QLRWjv0zj KbZtozaJMoBpqGkGQ9Vz4Aj5AijDze8ztsXgWQLIE5HdRKIgYjlIVbOIOjmAve5m1ijjitrx +rYMbL9H5nBMnrOkLjvfbpn7E5c0BQ8zdZH65JIBLABIe7zWlPvu9zCFBM2Lwu0w+PhBd5g1 Y0eQXqCD6CFPK/IrFOE+uAiL/ORaIMLpTrxMfco6+P2gXMnmFIRYaek0J4KZHykBPtrIkCUb HvwjtsdFGoHsAszQPDvhVCHUDNeYWu5Ubgm6TEhEo2mCJ/ORoCzj7yF2ye2BpxYa31aBFyQD HvkbpuJVPcNZy6LJc9uiSILWaKmS488yRGhrwj6y6dhLuXJ4CEYrYjj1N9p5+LNiR4y6T10D 8Ob022XSGF0g38IRzsx3KB4okxx0EuM0a99g/BAFNxT4e1GUhsiOJPT0+B2Ec3+Vh7Dc9uTV VqqXMiqDSs+Q94s29MOZlxyG9SmjhDNxSqqBLoVmqSFCpAu9azTxWLxJ8Nmy3bB0KkukUMmT 9BROmypmKF/6xbcB5TTn0qDi6mmb7kc3C3V+GeF1mWBpFtYXxJoUaXZQXAfYVPbocnh6kPYU 7CuEagnMhdGycOaNqRKbcTpgUxaS/fnJdTReHm8m3ywBBaN3rODdpDme2Qb3CXHCUgLiRof/ XicNVt2OiD06WnZFXllEU/lS0Lq6+h37n2hBAdgxAaTKkZlyrCd+xgPhPXaRelFjZwevyJ04 RB9BlOm2NbbEZ7Iiwtsc6IWKYcRpnJOz2fCsAhwJLStP61+i0RYeg8xokC4hEY/MZlJjcV/9 CBi9wF1M6/NiDupFhud1JH0YPjML3XquQqoYOjQ003f19Cf/uEO7u45ohPtplLhDVIsplNg1 dQdyH6A/tPSFgNHfdTUW1wy7B9+qqvybzkw+47Ok3Rnd7S34XfZw9x8POI+0V67estHdqaNF Qv8CcofUuToDeUwnkOuah8eFO1C+bI5JYWvfL2b2/3jJ/5uyQqvln8P+4VhygSM+i57H/bPx IoAyuqE0xGveB3G1A7kmf/H3IdOaHcVA3a1zjXiCMhJfKpucI0XCGCoZcqq2tF5gJ2rUHldn LK6L3UB3sLhOR+bblinmBZVyVxSu3us3y2x0z1zlTgt6KuZxi3Hher4JlIBPSZQSW9ugE2JQ 8D8hs0GXEWucwkilQe0rUf8ya9Boa1jLm7VCU5WdinyJmtmX+O+rL2HK8JI7Zopt21QXoHeK Ri2DJv0uR4B1CfuBUNT1D0neivss56/gh87wGORIXBvrWbILNlqzES6hpSUTvpQ0zwaAShg3 GWPQAHkYJ/wp4zSy86Q14L2H3isXZBSbyTxmIaJtS/hoHZvHQX6hfe43NvuDQk91yb/kdhsT yTB6hjmMeyJn+y3N/xqek5wCRry8c1/T8tS1K45npQL3nwXnL2Y7XcbnH21ON4dxKG0Px9vD XYbhsXY5gTowhgpAjSszpj8TXKZz9FJasm3fm4MnCs2qd1JQvTxjvQMjW5+pVy2qhjUaP52k 2IGyPcg33UdhvkApAsnyij17qk6JUBDJmSskh2J64r7t6BLfCO1drP20kNinNenBbXEowdGW X+/dI1wVSN368x+NhrL3hiRosnIPvzZd9cIsRmZiT/Nn+VJJYh3n/FMmCkvNW/mvHIjwvI2l lQyhdfj5NfBcj80uv7gShdDU1+9L9se4DTskbpTko6N0oajE48gUjQHUZ30TO65RTcbtPDpL QGLQ3U3rnaWH6aaHBfKtB8g9iqQVcnxbjfLfSp8r50qXhSWKU1BjRpBWTw7msR8DQW23In7d 0w/4DkN51n+ox8Ky+RyNhC5XH2MwWXgIjoyVpWbKwJbqw9Y4EKAe+DYy+tpGjpf+pC7hAGdJ 3CWfUJBBicUWQbXYjKrdqnr/tTG/+WCU6CSad7He7CVruhTTd+F1Z+z35Eg9j3KK8bFbRwAR 7Urn0FEW35+AcHQnT4CHjcWmyz6ZMmevB6g+ydzo5P34LHxVQno/4fKF6pKPIAl5UWtmanaf b315m4xOXNC25gL33ON1LUPwAtYlXR1bzf0WbUY6XyRFOSBwOkPSUZcMn47NdMUvf5kmFAVZ oiDzIuyj+Ad7LZ9Ck8ZBwG73JjxPYpSZTn6bQ+PBV7XZu3eeXuXnIevJ/v7EOIYjf0K5Ue54 W/JSha6bDrfz2G7BVfzYYQuxGmaJEIM4ojlK0Q0UDGxQo6+MU/pd4MmxTwun+9ujyuTZzdFa GpyLxsW/O3ItXsK0LIiQwkjpjJkNbfWwS/BtruBc89Ev6czWXZ/z7oCsiZ9luId7TkaFqZ8w HKA94c38V/6yrLdxGI/CEgc7WsRzMeCuUEoUUnA3qFJQm2MvBcE7GHKTg8Pu8MgENrk/aZZ1 tnIkqv3bjZE6dPdu8UGVYDYL8eOMXxpNhSMenacFAweUTuiLn3SnWRyusvKrzi+kah/rZLh3 p0TVrVcSVo5UOsADVhoF8ADJ5ExWS44lbmcj4gD4n/bzlGZSMhBv5/BX+6fGr2zcHDA1eYCP kFRh++hZY0IfpX2wUljdkV3kMzRFkzcUMoM6ixtYwkooVlcpXhzSmpgviCtIgip4XIVCbu1h ktq0k0nObtrrW21pQtudT+o7GMqnUI8mMvom2WUeT/1duKrWJ1OTjDzvA43O4/6RAB8aUuzm 1ZlPXHKXeE07fMoeGZ1hQvboZYKF+RbSPgOTFk1zOuSfPIs3E50pzWq2UJdo+LOT4Zh3lhPE 9bkvzdb1gRvYcRgb7TXP7ZMx0NMi7imkQWSjrl06zAuYkEH/SWVZTICv1EOOv8+PS208+dw6 AuE3TxeZGwLUPlsqfVvvBBYWazI32fr1LhNLVq0PuqUIvaCumTOosWPR0s5ykICk0QWtagzy 8oodFCYElw+1LbEXQpcLtLMcEsGCqgavGiWZyuFtv/BhI54L5noXP69VveA7e4Vmh72QF5vT t5KtoJZWcDxmEDAcZW7dPhckUprvEKzYwzbaZYBMBOTzGVa+YfmlMcxhc8FYWhBSWRlbXfuv uqR+lBs2LzbG45pKnYCANlePypvCpTjwnxX4ywYXmvwjrJ8qkDK7iei9H7ZVGCuNoM6NvnIP Ug+WpbqqH0+6/bk01ePq8eHfjioO4g64Y2fsbtC9cTAVqsxL/E1sl+CydNRHyX4CjeWQ9Dpf 8OiYNF0NY6mTSvjGl2n1WBvRp+obo/0d/qG3VmzF4gM6NHJjnd+b4f4HzUaUX+YRskszpgkP EgoXKp+ZhTl8QMjK6a4PQGUlM20RHqgIidXSP8ZyvimY7tQzGwnaerokRPIobk33+Sr/FRLT ZpMkxKMnJ5LgqFTQSXvF2Ybcg6JuClrzwBc
- Ironport-sdr: 654b7975_Y4F4tAIv9IpjQpA2XAb984rUbkPJ11WbU5HwQGoLtzdaXcu Gn8MohjV3hyRh99PdBdxTuu+Xvlaw3FhR/GBjeA==
Dear Coq users just a brief reminder that we are seeking to appoint a Postdoctoral Research Associate that wants to apply formal methods for building correct, safe, and secure systems. The post is part of the growing Security and Trust of Advanced Systems Group (https://computerscience.exeter.ac.uk/cyber-security/). The group has a broad expertise in developing and applying formal methods tools in general and in working and extending Isabelle/HOL in particular. The advertised position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity" and is available from 01/01/2024 to 31/12/25. The successful applicant will work with me on the development of tools and techniques for the verification of Smart Contracts. This includes the development of a calculus for the verification of smart contracts, its implementation in Isabelle/HOL, as well as applying it for the verification of real-world smart contracts. For more information about the project please visit the project website: https://marmsoler.com/projects/isabelle-solidity/ You can apply online at
If you do have any questions please contact me by email (d.marmsoler AT exeter.ac.uk). All the best, Diego Diego Marmsoler
www:
marmsoler.com |
- [Coq-Club] Postdoc position in Formal Methods at University of Exeter, Marmsoler, Diego, 11/08/2023
Archive powered by MHonArc 2.6.19+.