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: Tue, 17 Oct 2023 15:36:05 +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=R8WKTCk984spU9SZu3g7/tft5lyJuBOj/OUnYaRTYfA=; b=NyCevoO6XwV/bfsrjpNpw1lE+nic47MhdOH3ZEe5h9yKCIkIuhjCgCFpu6pinoBOITy6irk5/c31fd8eRDa/4ImunUNiJaxidZAGISvWXb20DV4B3tNe0ldMBRBuFJqa2egRuDeCMJScn3s6fPmlC53hZOy/xBOzQomNSx96CSjSMkt6A6Ro+XE3JxnQrz2sirpdKoW83hUUXiQRCU3Nxcz/lz4ExI5LSWcc7g7azcB5AUUWUuNjO4Ploj4jJK3BPGuTgY2sHhWLNDjDOll2syt0XLqM2Rldhi788ijO2Y4KLNOdIDpIKUwLEA2sb3AOonhgCXQUuayWnbfonPpZqA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NAI51gmaqy44gew5Hjadd5nDqTdoQlumDve1b4/ZWGGMrpH9MYMt81hgv9kDM/G9LLiDKFnEG5670MfR4VlqSP9CMG05lRT5l0v2YTEHMau8IZKGGQSNNvzzmxD4FItZ3jQWeTn3bljYfgdNJFGEOtlMzuBBo55sLwwFKr7ubYVI6a8eTRfm/Js6Zpq5Bv4iFG+GemHmE+GrCpXGwnc4WMHKSN3T0RCkRdOpgX3TZJO92aADM5mYCZzYhA2g/JDLmziyy4Y/4uWdOi1UHMPfvrA/BT0JbX7o/NJHSDdaNO6GvkI3FOA6/8nVRrL1ymNqmEY5EFR4OrmNyJ4oGSs+BA==
- 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-LO2-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:wZZWGq/4zsoS6PvT6vFkDrUDvnuTJUtcMsCJ2f8bNWPcYEJGY0x3x mEXCGmFMv3eMTfyfN4jPoS28BwFuMCDxoI1TAs5ry9EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYvWo4ow/jb8kg25K2t4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE3cdFXFsXDLQh2edyJ3NJ8 MMabxUDR0XW7w626OrTpuhEqe4ZdJCuGKRF/3ZqwHfeEOosRo3FT+PS/9hE0Twsh8dIW/HDe 84ebjkpZxPFC/FNEgtPTstmw6Hx3j+jI1W0q3rNzUYzy0SV6QVr1aPqNNfPUtGaSNlYhACRr STb/AwVBzlDb4XAkmHdryrEaunnlCj2aIlIOoGCqv9n3EGC6G0OCR8oWg7uyRW+ogvkMz5FE GQf/TNrpqwv/mSwX9zlVlu5pmSFt1gSQbJt//YS7QiMzu/Q5FyWDHJcFzlHMoR65IkxWCAg0 UKPk5XxHztzvbaJSHWbsLCJsTe1PitTJmgHDcMZcTY4DxDYiNlbpnryohxLScZZV/WkQ2+i8 CPAtyUkmbQYgOgC0qjxrxiNgCuhqtKNBkQ57xneFDDtpA5oRp+XV6rx43ji7NFEMNm4SHuFt yM6gMSw1r0FIqyMsy2ve98zOo+VycyLCxDipGJ+PoIA8m2t8kGzfIoL7zBZIlxoA/k+ejToQ RHyug962Z16LF+XfZdSYtuvOsEX0KK7K4zUU6GNZN93f5NRVhGL0x9saWGUwWrszVYgoZskM 83Ka+KpK2gQMoV87T+MX+xG+6Qa9iM/4mLyRJ7A0BWs14SFVkOVUbsoNFivbPgzybGt+SH50 o94HNSb7QdcS8j8bTvnypESJlU0MnQLP5D6hMhJfOqlIAA9OmUeJ9LO4LEmaap3tr90k7rWw 3SDRUNo8lrzqnnZIwGsaHo4SrfOX456nE0rLx4XIlek9HgyU7mBtJ5FWcMMQoAm0+h/wdpfb foPIZyAC8sSbAX3wW0WaJ2lobFycBiuuxm1ABOkRzoBLrpAXA3C/+H2cjT/rBcuCjWFjupgg rmC+D6Cf789aVVMMMLkZsir7WuNhlkGuecrX0L3MthZI0rt145xKh3OtPw8IuBSCBD9mgmq7 QKdAEoYlPiQ+oYk0cLogJqcpNyDCNpOHUt9Hkja442pNCLcwHGR/I9YXMuMfhHfTGnR+pj+V d5Kzvr5DuILrGxKv6V4Dbxv66A0vPnrmJN30SVmGy/tQ2mwK7Y9PESD49ZDhpdNypBdpwGyf ECFofteGLeRPfLaAEwjHxUkYsuDxMMrtGHrt9ptG3rD5Qhz4LajemdRNUPViCVicZ1EALl8y uIl4MMr+wizjyQxCem/jwdWyTWoDmcBWKAZpJ0lENfVqg40+GpjP73YKAHLua+qVfsdE3MEA DGugIj6u4993WvHKno6KmjM17FShLMIoxF782UBLFWoxPvAuKMF7CdV+jVqTjVEk0xOwsNoG 21RL0YuD76/zzRpo8liXm6XBABKAiOCyHHx01ckkG74TVGic27wcF0GJueG+X4G/1JmfjR0+ K+SzEDnW23IeP7d8zQTW0k/jdDeVv10qxP/nf64E/S/H5UVZSTvhomsbzEqrzrlGcYAu13Vl 9J1/epfabzJCgBImvcVU7Kl7LU3TAyIAEdgQvs7paMAIjz6SQGIgDOLLxi8R9NJK/n06nSHM s1JJPweZyTmgWzK5noeCLUXKrB5oO8x6ZBQMvn3LGoBqP2EoiAvrJvU8TPkiXQ2R8l11/wwM Z7VaynIB1n4aaG4QIMRhJIs1quEjdg4iMnU88qPqLxMM7VZ9eZmfAc1z6e+uGiTPE1/5RWIs QjfZqjQiet/1YBrmIiqGaJGb+lxAc2mT/yGqWhfrPwXBe4j8++X3+/WlrUjFwlGMKccQZJ+n vKQs7YbGWvb6a0uXTmxd4apTsF0CAbbYAaTGs/nIWVXh22LU4nx4HPvPox+xYNhyLtg2yVse +d0hAZcuzLYtxexCUC5sxRjLis=
- Ironport-hdrordr: A9a23:WfWYM67JXcApuv/8ZwPXwS+BI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhPk3I6urwQZVoIEmsgqKdhLN8AV7MZniDhILFFuBfBOjZskvd8k/Fh4lgPM 5bGsAQZuEYZmIK7voSlTPIdurIt+P3kpxA692/815dCSVRL41w5QZwDQiWVmdsQhNdOJY/HJ 2AouJaujuJYx0sH4yGL0hAe9KGi8zAlZrgbxJDLQUg8hOygTSh76O/OwSE3y0ZTyhEzd4ZgC P4ek3Cl++eWsOAu1PhPlzonttrcRzau5V+7fm3+4Uow/PX+0eVjcpaKv2/VXsO0ZmSAR4R4a LxSlEbTo1OAjrqDxuIiAqo1A/63Dk07Xj+jVeenHv4uMT8ACk3EsxbmOtiA2nkAmcbzaFBOZ hwrhGknosSCQmFkDX25tDOWR0vnk2ooWA6mepWi3BES4MRZLJYsIRapSpuYeM9NTO/7JpiHP hlDcna6voTeVSGb2rBtm0qxNC3RHw8EhqPX0BHsM2I1Dpdmmx/0iIjtbkit2ZF8Ih4R4hP5u zCPKgtnLZSTtUOZaY4H+sFSdvfMB29ffsNChPtHb3KLtB5B5uWke+L3Fwc3pDXRKA1
- Ironport-phdr: A9a23:G3meLh+l0Z4CMP9uWZG0ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b AqBvb4w0xeJBdydt6gazbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWhzexe7J/I Am5oQjRtMQdnI9uJrosxhfTrXZEZeVbyXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAF5zoXJYo+aKeB+c7vdc90EWGRBQshfWS9dDYyzd IYAFfYNMfpCooXhu1cCsx2zDhSsCuP1zT9Ig2f70aM93es7CwHG2RcgH9UKsHvKttX5LLoZX +60zKbWwjXDaP1a0ir65YbGaBwvpuuDXah1ccrKzkkvEx3Kjk+LpIP7MDKayPgNvHaB7+Z6T +2gl3QrqxxyojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjf9OpDZVduj2UOodrXM8sQ2Fmt iYkx7AFuZO3YikHxZQkyhPBdfCJfYaF7xzjWuqMIjp1h2xpdbGhihu98Uat1+vxXdS63lZNq ypKiNjMtnYV2hPN5cmIVOd98Vm72TqVzQ/c9vtIIV03labDLp4u2KQwlp8IsUTEGi/5hl/2g LWKeUUj/+ik8/roYqn8ppCCK4B4lx3yP6YhmsyxG+g4NRAOUHad+eikyL3i80z5QKlWjvIoi KnVqozVJcMepqO/HgRb0Z4j5g6wAju6ytgUgGULIVBfdB6ak4TlIV7DLfPgAfuhglmgjDlmy vXbMrH9GJrAL33Onbb9cbph7kNRxgs+wcxa6p9RC7wMJu/4VFXru9zCFBA5NhS5w+b5B9V50 YMTQWOBD7KFPq/OrFOE/+QhLfCSaIMMvzbyMOYq6+TpjX8khV8SZq6p3YYRaH+lBPhmO1+ZY X3wgtgfDWgKogs+TOvsiFGYVj5TemqyX6Y75jE8C4KqF5vMRoeogLCZ3Se7GINZZnxeB12DD XvkbZiIV+sOZS6IP8NtjiYIWLeiRoM50BGhrg76y75pLurO/S0YsIru2tZv6+PUjx4y7zl0D 9+a02GJUW50hHgFSCE53a9hvUxy1E2D3bJijPNED9BT+vBJXh88NZHH1+N6Ecz9WhrdfteVT 1arWsiqDSkrTt0t298Of1p9G9K6gx/f2CqqGqYZmKCPBJwp6a3RxGPxJsZ4y3bezqYtlVgmQ s1VNW2nnKFz7QbTB5Sa23mewuyhcr1Z1yrQ/k+Cy3CPtQdWSkQ4Ba7CRDUUYlbchdX//ELLC bG0X+cJKAxEnISnI7FPcdrtgE8CDNviNdvZKSrltyGVDAyN3bSIYZDCdnUQwCjHTkEP1R0Qq yXVfTMiDzus9jqNRAdlEkjiNhuEGYhWrXq6ShVx1ASWdwh70LHz/BcJhPuaQvdV37QeuS5np S8nVE2l0YfwDNyN7xFkYL0aeck0tXsB8GvDshd6OpG6B61yi0ITaUJ+tAXz1EY/EZ1OxPAjt 2hi1w9uMeSd2VJFeSmf2MXcfJjeMGzp+xSicYbbylzC3czQ86xJ9fdr4077slSRH1E5u25iz 8ET03aY4cDSCxEOVJvqTkst3zdQnemDJw0avcbT33AqNrSouDjf3d5vHPEi1hurY9ZYNuWDC RP2FMoZQcOpLYTGgnCPaRQJdKBX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1LaQxrY1BdVzkMTrGaPlDu10zFu1Tgi6LecnWTPz+nkaBsbKztTXmAx6DWka YOwjt0cQA2pd111zF38vRm8nvAd+PQsSgubCV1FdCX3MWx4B665t77YJtVK9IttqyJcFuK1f VGdTLf55RocySLqWWVEl1VZP3mnvIv0mxtihSeTNnF2+TD1P+R53xLE49jRX9ZczjcaSTM+g DKRG1v2bLzLtZ2E0ozOtOyzTTfrett2eDPu1oSEuTGT6H1nHRCl2fm43MDkW1tfs2ezx5xhU iPGqwz5a4/g2vGhMO5pSUJvAUf198twHowWfpIYvJgLwjBag5yU+SBCimLvKZBB3qm4anMRR DkNytqT4Q7/2UQlIGjbj47+U3ycxINmabzYKis6nAc09cVRD6OZ9pRJjSZpr0D+pAmXfPs1k joGyPQo4WIXmKlV4Ex0lnrbW+hUQRkQNDekjxmS6tGisKhbAQTnOaO90kZzh5HpDb2PpB1dR Gesf54jGSFq6cAseFnI0XD19sTlYIyMNZRK7kLSyk+G07gGTfB53uAHjidmJ2/n6Hgsyuphy AdrwYn/po+MbWNk4KO+BBdccDzzfcIavD/33sM81o6b2Z6iGpJ5F3AFRpztGLiEVhcbr/H8M AKDChUxunqHFKCZFATZ9UQs/BetW9i7cmqaInUU14AoaF+4LVZamwcQUS8Sk440Cg2wgsXqN lp6rGN0hBawul5HzeRmMAP6W2HUqVKzazs6f5OYKQJf8gBI40qGedzb9O94GDtUu4GwtAHYY HLOfBxGVCtaPy7MT0CmJLSl4sPMtvSVFvbrZeWbeq2A8KRfT6vamcrpg9Egp3DUcZzSdnh6U 69nggwaBS8/Q4KB3GxRLk5f3yPVM5zG/lHlonUx9obnt623EAP3udnWU+cUbYopo1buxv7cf ++I2nQjIG4BhMpVnC3GlOBHjgxV13ELFXHlEKxe53TEFPuCw/YOXRBHM3ghZowUvuo9xlcfY 8eD04Gsj+cqgKJtUAUVDQS5yJPuOJRvQSn1NUuZVhyCbO3UfGSSkc+rOfjuQuUI1LcG8EDp8 TeDTR25N2zaxWCwDkKhbbkX3i/DZEQM6sbgKF4oAGznBroKczWDOcRsxX0zyLww3DbRMHIEd CJ7eAVLp6GR6iVRhrN+HXZA5zxrN7vMlyGc5ujeYpEY1JkjSjxzjP5f6W8mxqF9wwt+HKUwv AyI69lkrhehj/WFzSdhXFxWsDFXiYmXvEJkf6LE6p1HXnWC9xUIiAfYQxgHvNpqDNTztrsYl oCJzfqsbm4atY6EtcIHT9DZMseGLGYsPVLyFTjYARFEBT+nOGfDhlBMxfGf8nrGy/py4pPom ZcIVvpaTAlpTrVDUhsjRYREfMckO1Fs2aSWh8MJ+3ek+RzYRcEA+4vCSurXG/LkbjCQkbhDY RIMh7L+N4UacIPhiCkAIhF3mprHH03IUJVDuCpkO0UY5mBE6n1lSWk+wWroeg6x7WVVHPXyg x182W4cKaw9sSzh5Vs6PA+AvCwrjEw4gsnomxi+WgSpdeKUetsTDCD58U8sLpn8XgB5KxWom lBpPyvFQLQXiKZ8cWdsi0nXvp4FSps+BeVUJRQXw/+QffAh119R/z6myUFw7uzAEZJ+lQEuf M3kvzda1glkdtJwOb3IKf8D0A1LnqzX9HzNtKh50EoEKk0K6m/XZCMYpBlCKOw9PyTxtu10t V7ew30SIi5UEaJt+68i91thabjYiXu4jPgbbBj2brL6TevRunCcx5PSBApojgVQ0RECpOQ+0 N9/IRPMCwZzk/3JUUxObJWKKBkLPZBbrCGBJH/X4+uRmconbcLhRoWKBaePrPhG2Ev8RVRwR t1e4JhZRcv+lx2JZcb/cuxfwE10tl2yfQeLUKwSKkLTyG9V8YbilPoVlcFcPm9PW2wlaHfuv ++FqFNy26iIBI9uMCVdA9JMN2poCpezw3cL5i0ZXjfrirlLxlDat22u4XmKRHz1a94pDB91T TxGMonvvBEYqe2xg1OR9YjCLWbnM9gkosXI9e4Ru5eADbVTUKV5tEDf3YJfQi7zO4YqOdOlK oT9cc8lZprpCSTiOrRQoz8lQtv8JpCkJe6VglOxLbs=
- Ironport-sdr: 652ea9ef_gEt/GlGNYTeIvCbPqTSkbso3QmL3vALQz+yeJnZLPErhqZk kjQo1x09Za7Lnt069v9JnoMKPQAF4bOesNJ+kyA==
Dear all, 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
https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=963631gdCd&WVID=3817591jNg. If you do have any questions please contact me by email (d.marmsoler AT exeter.ac.uk).
Best, Diego Marmsoler
www:
marmsoler.com
|
- [Coq-Club] Postdoc position in Formal Methods at University of Exeter, Marmsoler, Diego, 10/17/2023
Archive powered by MHonArc 2.6.19+.