coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent

From: Vineet Rajani <V.Rajani AT kent.ac.uk>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "csf-announcements AT lists.ieee-security.org" <csf-announcements AT lists.ieee-security.org>, "security AT fosad.org" <security AT fosad.org>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "ats-lang-users AT googlegroups.com" <ats-lang-users AT googlegroups.com>, "caml-list AT inria.fr" <caml-list AT inria.fr>, "categories AT mta.ca" <categories AT mta.ca>, "cl-isabelle-users AT lists.cam.ac.uk" <cl-isabelle-users AT lists.cam.ac.uk>, "concurrency AT listserver.tue.nl" <concurrency AT listserver.tue.nl>, "eutypes AT cs.ru.nl" <eutypes AT cs.ru.nl>, "fm-announcements AT lists.nasa.gov" <fm-announcements AT lists.nasa.gov>, "folli AT folli.info" <folli AT folli.info>, "fom AT cs.nyu.edu" <fom AT cs.nyu.edu>, "fstar-club AT lists.gforge.inria.fr" <fstar-club AT lists.gforge.inria.fr>, "fun AT cs.nott.ac.uk" <fun AT cs.nott.ac.uk>, "haskell-cafe AT haskell.org" <haskell-cafe AT haskell.org>, "haskell AT haskell.org" <haskell AT haskell.org>, "ic.eatcs.di AT listgateway.unipi.it" <ic.eatcs.di AT listgateway.unipi.it>, "idris-lang AT googlegroups.com" <idris-lang AT googlegroups.com>, "interval AT listserv.utep.edu" <interval AT listserv.utep.edu>, "las-lics AT lists.tu-berlin.de" <las-lics AT lists.tu-berlin.de>, "lean-user AT googlegroups.com" <lean-user AT googlegroups.com>, "logic-list AT helsinki.fi" <logic-list AT helsinki.fi>, "logic AT cs.stanford.edu" <logic AT cs.stanford.edu>, "logic AT math.uni-bonn.de" <logic AT math.uni-bonn.de>, "loginf AT lists.tcs.ifi.lmu.de" <loginf AT lists.tcs.ifi.lmu.de>, "math.logik AT gmx.net" <math.logik AT gmx.net>, "matryoshka-devel AT lists.gforge.inria.fr" <matryoshka-devel AT lists.gforge.inria.fr>, "PlanetKR AT kr.org" <PlanetKR AT kr.org>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT lists.bath.ac.uk>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "rewriting AT trs.css.i.nagoya-u.ac.jp" <rewriting AT trs.css.i.nagoya-u.ac.jp>, "srepls AT jiscmail.ac.uk" <srepls AT jiscmail.ac.uk>, "ssreflect AT msr-inria.inria.fr" <ssreflect AT msr-inria.inria.fr>, "termtools AT www.lri.fr" <termtools AT www.lri.fr>, "why3-club AT groupes.renater.fr" <why3-club AT groupes.renater.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "dl AT dl.kr.org" <dl AT dl.kr.org>
Subject: [Coq-Club] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent
Date: Fri, 15 Mar 2024 11:21:42 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=kent.ac.uk; dmarc=pass action=none header.from=kent.ac.uk; dkim=pass header.d=kent.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=rdf1txYGUoENNIbb58xt6oEbyI9Sjmc+iSThwak7Aeg=; b=flfF4SJ/lgPy+7pXDUNR9z/gjRKRObBPkvSvYlea3vlltyfp7X9GEN0hU7sX0qPmjcpJEBhc/JKKbU8TCKw8DUk8SgpSNkTa0MbTYC6DXPt+RvGNi/vNMdyLlAZHmyZ7IksunRnAmt4m3bS8sQGRHh9brMO712+CoPfNYY5vM1jGMEVTx4+ceEl/F4U8ebbzSX9MBpo1Olu2tEzKGpbX+7KWW+H8+ZgeOX7h8r0JtZi1E4ckbHfZT5hL/fLLMRE78aBcenstIw8B6FZ9PhoNhpQ2WovYSObJpMhYuRelNB5kEIbQQTGYMAGsbq/VBR9ZamYDzdTs8uyQxAqIAKCGJw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DKgagU4TNIy3e4y2ahxYRWL6OLS8jFq7wqHY0+TvnJYYqQvaY4tSw6UYcSJr5F/YxwWgO9/YJtM33QZFFPci5UL8mNc/UzTbR+FHruN7uXDtz7H4cvc8UQuZcJd0u9uaoQS+H5uQyiPDu73jqiYwum7M0t5o+bnrsaJENREdEcUDvOBFSSXYWXpUmJpup/lHiPkLaQUUbQf+jylnUXU5/T+vjBS66ZRYjiLZlKzdMCNAmwXcJj8MSqoSJs/wydKMkJJDRF7GwWFCViBWAw0KeHt0DJGZtO3lvBMxFEHg+bubc40NP4ClZcOtHDPH/CbLGjkoFSwCce+kjaKLsSrkOA==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=V.Rajani AT kent.ac.uk; spf=Pass smtp.mailfrom=V.Rajani AT kent.ac.uk; spf=None smtp.helo=postmaster AT EUR03-DBA-obe.outbound.protection.outlook.com
Ironport-data: A9a23:JJrt66mQss5DTgK74gReArPo5gyRLURdPkR7XQ2eYbSJt1+Wr1Gzt xIcDzjTOfqKYWX0fI1wOYTg/BkEsJWHmtFmGwplrXo3QVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaj18B56r8ks14Kyp4W5A5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN03UWYYIak4/d9uEEV+p MMjBTkOaQi60rfeLLKTEoGAh+wOEfOzZ8YzkFglyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/VMp4xb/3wCCnL3sB8Qv9SakfuwA/yCRPloLkMtPTe/SJSMNJ2E+T4 H/Fl4j8KkFAboHClGfcmp6qrtbOoh+rH9gbLoGb79VTjVSzhSsYIyRDADNXptHi0RTiBLqzM Xc88SMrqe029Ve3ZsLsWgWx5n+CpB8VHdRKe8Ux7xjIwa7J6S6CF20cR3hAbsYnvYk4X1QXO kShmtroAXljurSYVGjFrbCS92rrYG4SMHMIYjICQU0d+d7/rYovjxXJCNF+DKqyid6zEjb1q 9yXkMQgr+xOquAX84W8xEnWpwL9maPkRw0y/jyCCwpJ8ThFTIKiYoWp733S4vBBMJuVQzG9U J4sy5n2AAcmXcDlqcCdfNjhCo1F8N6kHVXhbbNHGpAg83Gh8XeuYJoIuzZ4fh4wa4ADZCPjZ 1LVtUVJ/phPMXC2bKhxJYWsF8AtyqumHtPgPhw1UjasSscgHONk1Hg0DaJ144wLuBVw+U3YE crHGftA9V5AVcxaIMOeHo/xK4MDyCEk3n/0Tpvm1Rmh2rf2TCfKEO9ZbALWMLxot/rsTODpH zB3ZpPiJ/J3AbWWX8Ur2dVMdQpiwYUTWc6p95cHLr7rzvROST94UaK5LUwdl3xNxP8PyrigE oCVX05T0l3kgnPbYQ6NcGgLVV8cdccXkJ7PBgR1ZQzA8yF7P+6Htf5DH7NpJ+VP3LI4l5ZcE aJaE/hs99wUF1wrDRxGMcKixGGjHTz37T+z092NO2VhIcc+FlGSkjImFyO2nBQz4uOMnZNWi 9WdOsnzG/Lvniw7VJ+GOsG8hUi8p2Yck+9UVk7FaIsbMkb1/YQgb2S7gvYrKoteYV/O1xmL5 TawWB04nOjqp5Nq0d/rgavfkZylPdEjFWVnHk7az42MCw/kwkSZz7V9Ddm4JQLmaDus+YGJR /lk8PXnAfhWwHdIq9VdFpho/4If5vzuhaVo8Vk8OHDlbXCtNKlBI2aH7+ZLpKZi1r9Ugiroe 0Otq/1xG6SFB9PhK3EVfDEaV+Wk0eoFvAXS4dAeAlTI1AUu8JWpCUxtbgSx0gpDJ75LAaYZ6 OYGuv9OzTegixAvY+20vgoN+0uidnU/Arga7LcEC4rWiy0u+FFIQbrYLgTUuJivSdF9AnMGE w+uppjppupjnxLZUn8JC3Ly8/JXhs0OtDB03VYyHQm1teSftMAn/i960GoRdRtU/CVlwugoG 2lMNm9JH4us0QpspvB+WzGLJ1kcKjyfolf82nkYpl3/FkOIbFHAHEc5GOSK/X0azV5iQyhmz OmY5lrIATfOV+Pt7xQ2Qn9g+qDCT8Qu1wjsm/KHPsWiHrsUXwTEnYq/PEcxqDb7C5kTgGnC9 LBm08RuZZKmNgoWibwxULOe5O8qUBreeHFIGs859oxYA2jNJTO4g2CPD2uTecp9AePA3mHlK s5pJ+NJDw+f0gTXpB8lJKc8GZ1Gt99328gnZZXQOn8gj7SEizhi7bb813Tb3TcwYtNMlc0dF NvgRwiaGDbNuUoOyn7/ksZUH0GZP/wWbxLY98Ko+rwrE5kjjrldQXsq2OHpg0TPYRpVxDPKj gbtfKSM8vdDz75rlI7SEqluIQW4BNfwdeaQ+jCIrNV8QoLTAPjKqj8qhAHrDyZOMZsVfuZHp 7CHndr0/UHC5ZIdcWTSnbufHKhou+S2esdqMfzMEXoLphvaBffQ4CYC9Vuodr1PstdWvfe8S yWCNcCfSN8yWvVm/kNzVRRwKRgmJp7MXv/Snh/l9/WoIToB4DPDN+KipCPIb3kEVyomOK/eK w7TutS01O8F9KBJKh0gAc98Ip5nIW3MXbktWM3xuAK5UEipoAKmkZnzmSUw7QrkDiG/L//7x pbeVz7CdBiWk4PZ/uFz6oBdkEUeMydgvLMWYEkYxe9Ttxm7K2w3dcImLpQMD8BvoBzYjZ3XS mnEUzo/NH/bQz9BTBTb5ebjVCe5AsglGI/wBh4tznOuRxaGPqGyK5o/yX44+FZzQCXp88+/I 9JH+nHQAAm48qs0ecktvM6EkcVV7dKE4EkX+HLNsd34WDcfJrQo6EZPPiRwUQ7/LsWcs3mTe EYUQzlITnjuHAS1WYxldmVOER4UgCL3wn96JW2TydLYoMOAwPcG1PT7PPrp36YeaNgRYoQDX m7zW3DH9lX+Nqb/Ykf1k4lBbW5I5fO38gySAZLZHVZXs4uZr2MtMoUFgDYFS9wk9EhHCVTBm zKw4n84QkOYNERW377QwgIMk360vrTgEBmR5DMTZxef+fD68zQdUxunyh69IJq2tquLU4BwX mIJdEjIy7GJnGKMmNS938j3YnSEDMcNU3DPFD0rJn83ftFAV0cFfI1cP4oGOx69PZGKKki4t Epc7jnlxL+aYw==
Ironport-hdrordr: A9a23:N7mIRa4t32keB9fH+gPXwV2BI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhPk3I6urwQZVoIEmsvKKdhLN8AV7MZniDhILFFuBfBOjZsnXd8k/Fh4lgPM 5bGsAQZuEYZmIK7voSlTPIdurIt+P3kpxA692/815dCSVRL41w5QZwDQiWVmdsQhNdOJY/HJ 2AouJaujuJYx0sH46GL0hAe9KGi8zAlZrgbxJDLQUg8hOygTSh76O/OwSE3y0ZTyhEzd4ZgC X4ek3Cl+meWsOAu1HhPlzontVrcRzau5t+7fm3+4cow/PX+0WVjcpaKv+/VXsO0ZmSAR4R4a LxSlEbTo9OAjrqDxyISReB4Xib7B8+r3Dl0lOWmn3lvIjwQy87EdNIgcZDfgLe8FdIhqAJ7E tn5RPqi3NsN2K0oA3to9zTEx16nEu9pnQv1eYVknxESIMbLLtct5YW8k9ZGIoJWHuS0vFQLM B+SMXHoPpGe1KTaH7U+mFp3dy3R3w2WhOLWFILtMCZ2yVf2Hp500wbzsoCmWpozuNLd7BUo+ Dfdqh4nrBHScEbKap7GecaWMOyTnfARBrdWVjiUmgOWMo8SgPwQl7MkcUIDc2RCeI1JcEJ6e j8uXtjxBEPR34=
Ironport-phdr: A9a23:ESByjxJIm0Iu0w/JBtmcuLR2WUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLMy3RSQDM3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNZwhEnjiwbLd9I BmrqQjaq9Ubj5ZlJqstxRTFpWdFdf5RyW10O1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2U KJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5 KplVBPklCEKPCM+/2/Kl8xwl7pbrwy9qBxjzYDUZ4SVO+B/fqPbYNgWQWVMU8JUWyFHH4iyb ZYAD/AZMOhYsYfzukcOoxW9CwawC+zi0SVHimPq0aAgz+gtDRzK0Qo9FNwOqnTUq9D1Ob8dX uC0yqnH0yvMb+9L0jnh8ofIcAouofeNXbltdsfexlMjGR/fgVWSs4PlOTKV2/8Os2eF6epgS fijhHQ7pA1rvzivxd4hh4/UjY0a1l7K7z92wJopJdKmUk57Z8apHZtOuyyGN4Z7Xs0sTm9nt is+ybAIuZC2cTUFxZooyBDSZeKKfYiI7x/nSeudPDR1iXx5dLywmhq8/1Ssx+LgWsSyzV1Eo C1FktzWuXAM0Rze8seHSvph/kehxDaAzBrf6uBDIUwsl6rbLIUuwqUqmpUJrUvPBDL2mEbug K+VaEok/PSo5/79bbr6vJOcKox0hwfjOaotgsyyGes1PhQUU2SG5eix1qfv8VDlTLhFlPE6j 7TVvI3CKcgFp6O1HwFY34M+5xqjFTir0dEVkWQbIF5bfR+KjZblNlTLLf37C/q0nkqhkDN2x /DdIr3uHI/NIGXCkLbgY7lw81JQxQwuxt5F/Z1UEKsOIPfrV0/xqtPYChg5PhS7zenpFNtxy o0TVXuBDKKELK7eqFiI6fkxLOWWY48VpSr9JOMi5/7zi382hEURfbGz3ZsQdHC3AOhpI1mYY XrrhNcNC2AKvhciTOzuj12CVj1Ta2yuUKI74zE3EIOmDYHdSYCxmLGM0zu3EodLamxaCF2AC 2rke5mLVvsWdS6eP9JtniQBVbe7So8h0R+utBX9y7piNufb9TcUu47529h3/eLTkxAy+Cd3D 8uD1WGNU3t4kXkUSDMswaB/olRxylGY3qdgmfxXCcRT5+9VUgc9LZPQ0fR2C8ruVQLZYteJV FGmT826Dj4rS9Ixx8YCY0J8G9W5khDOxDGqAr8Ql7yTHpM46KPc337rJ8Z80XnKzqchj0M+T stVKWKmnrJ/9xTUB4PRj0qZkL+qeb0A0y7J6WeM1nGDvFpYUQ51SaXKR2oTZkrQrdTj50PNV aWiCbo9MlgJ9cnXYLdbctDyyFxAQvD+Pt/TS2awgHurQw2Fz6jKcZLnfWNb0SnAQgBQjxEL8 G3DPA44ATqnqG/2CD11CUmpeE7l6q9jsH69SAk5wxzcKwUr3KG7vxcTg/uBTfge278CpDwJr zRvAE373t/bBp+bqgF8ZqRAcJU6+lgNnTbSrAI4N5qmKL1kjVMbfgJrpGvq1g5rEcNBnMUn6 WgnxxdoKL6JllRbeGXcldrrN7bKMGju7TihbLXf1hfZytncsvMU5f8lsVT/rSmnEVEr/zNgy dYDlzPW5pLOSQsUX5XZVkcs6wM8vLbHeCIw6YTO2nAqN6So+HeW29UtQeojxBGIe9ZELLjCD wjvCcYXCc+0J+FsnVW1OFZMdulZ8PQcIt+iduCaw+i2IOtwlSnggGhaqsgp20mIrQJhVurJx IoeheyE0xuOTHHxgEr39oi9kI9IbBkWH3Gj0m7vBIdVY6BoZsAQBC3md8S4ytxWg5/2R2Ue/ 16qA1YLwtTvYhfEKxS31BVIzkkSiXimgjejiSB/iHcooKvZ2CnThejvPlJTM3ZTX2RnpVPtO pSvycwRRw6pYQlvkB64o0r3kewT7q1jNCzXSEFHOjXtInt5eqS3sbWGbsFV744wqmNcV+H2K QSTVqW4pxIc3Gb+BGZE3xg0cDalvpj2hRtnkHnbJ3F2+j6RM8p5wBOa4N3HWdZQ2CAHTW92k 3OfUlO1Ot3s+dSPi7/CtPq/XiSvTMsXOWPgxJ+Nuyyh5GBxKRijlra4k5evRQMzzSL00MNrW D7gqQr1JILigeDye+ljO0hzDVXx7853X5xln5ErrJURwmQBwJ6c+DwOmiHuMp8Tjan6KXsWT DQGx9rYpRX+1Vd4BnaI3J7iEH6Ux41obJ+nYTVSkmg26MZBFb2O4bpPjANxo0Gktg/Lf/Vn2 CsAxL0o7DRS1+oOvgEw1D+QBLsDNU1ZJjD3mg6W4sr4sLhaImCrJ/z4nkdjgcG5AaqqqRoaQ mu/fJNoVXt989luKF/X+HborJv5Pt/UO5Zb/BOR1h7Gie9ILpk8k/cMmTFPPWPmoWZjzecgh Fph2o/w9NyJLiBk+qS+HxhTOzj4Yd8I0jXslrpF2MCfxInpEZJ/THFDFpXvSfapODwVsfDmc QeIHjp24iOVHr7bHCeR70NirjTOFZ6sYTXfbnceyP1pX1+bNVEZjQwJFn1ukJk8Pguxgsrwb QF06i1HohaypABQw/gtPB3iWE/bpRy0cXE7Rp+FIxcQ7wdY5k6TP9bUprZ9BD1R5NiqqBGHA miafBhTS24HXVaLChbiOKOv7J/O6b7cTqCwMv3maq7Ir+tCS7GBztSy0cEuqziRMO2EJT9kC OEnnENIG216TYCR0TUGUC8akyaIZMeVqT+88zZ0o8S7tvPxV0insYuGELhfNdEq8Bm4jI+DP vWTiSJ9bzFC2cVIjTXIwaMc0VoWoyFnbDqgFbBGsjTCBuqEmqZMDBMfbwtzPdBL4qY4mA5XN pifwpn03fh1h+I+EBFJVHTlm9q1asUWLn60JRXaAkeTNfKHOXeDl8D8J661VbZLyulVnxmxo iqUGlPuIT2S0STvVgiud+BQ2mXTdh1SooCmNxJkD2fLQ9XhZRm2P8VwkCUth7YzgzmCYW8QK zlnNkdEqLK44iRfjfFyFHZG82J+a+KDnnDdp6PZLIobq+ViBgxwlvlG+3kg1f1I8CxcAvF5h WGa+t9ov1y8jOCL4j5mSwZVpyxVwp+XsF0kNKnEoN0IE3LN51cJ7G6LIxALvMd+TMHy/qpd0 NzOkuT/JX0Kp9bd5o4YBsPPAMaGK2Y6dwb0XTTZFg8ES3inODebzwZZnfiUs2COo4ISpZ/rl 54DRaVcSUQuUPgdDw4tSNgPKZEyQygpi5aUi8kH4Xexth7MXN4ctZfCALbaS/HoJzeSyL1Ff Acgwb78NoUVNYy91U0oIg1+m4vLEA/UXMtRii1sahQ1pkZMtnZ/GCl7kUbiZQKmyHQIU+Wol xg4jRFyJ+kh6X2kt1MwKVvBjCAr1lItkNPrhiqdNjP9MfH0FctSDCX1vGA0O4/7BRtzbEi4m kpicjvJDfoFi7xvdGtDjQbAud1SH/8ZR6pCZlkcyKfTL78s1ltdrCuPwU5c+fCDFZB50gokc Nioqm8G1w8pJIoxIqPRIqRhyllLmrnIoiSzkOE/wUkaIltL/G7EPGZCvUUUNv8iICWp/cRj7 BzEnTZfMiBYUvM2orRu8Uw8OMyPyjKm1bNffAT5femWM7mIvHPAlsfNTl4u20cgk0he4aMw3 skkaUWZEUEp1rqYURoTf4KWLAhJddtV73jQdGOCvPvAxbpxPp6hDabnQ+iUu6tSg0S+HQ9vE Z5aqoxLJp2l1kzEDv3PL6RDzg8irky/HFGMCvlVWyijky1BpNuwmts/l7FHITYTPWVwNj+mz rLWvRMxxvCKQNdwa3xcQ4hOfiYOQsq9lRJZsnNaHRGz0/kF006I5iP84C3bSiT/OZ4rLu+Kf jtnE9Xw4i8+taOxjBSfpo3APEnxLtAkocXOr+gdosDDQ7lOQKZnslvdnYZwSnqxFmreFtjzK YK6I902YMPuC2q7VFOXhjQuCsPgO9DrILLexUmiX4tLqoiH3TYsHdOnDXcVAAw2pqcF7a17d ARGftwyaljqr052Y7ayPx2ZztSoTE6xMyAQROJEi+T8YbVYyDslK/L8wXBmTIlsi6H96lQAX JURphPf3v2mbohaFyH4XGFeMU2bvjA0j2x6HuQz2ew6yRLM91AXdS2IIqghIndfpdwyAV6ZP V1zEXB9RlmGjIOF4wi23rlU8TEX14JPyvdIvnzztYP3ZSm2Ha2ts5Tc9Ssmd9kv5aNrZ8ira NeLrpbCmTvbV7HPrRLDVDS7UfRA0JAEPC9CReVPnmU+EdMZpsxF80t3WN1oY/QFF6k9/fWhb SduJSEIyjIBWpjGxjEEi/uxwf3UjF3YJIsiIUdBu5FfiPMSSSlrei4F4rWuUYzKmnXCRHJdZ E9Z5gNVoQkEi4VYf+b/4YOOQoUGg2pdpOsxWS/WHLFp8UH6QyeYmw68AL+tl8Sl2URR1rTry NZREEpzDWBRw6BVjA0vMr4heIcKuYufjD6OeE7m9FjkyuKgJREF94vufl/xCovttmf6TmsV8 jsJRtkcmznkCZ0Onl8hO+4Qr1JWLdX6Ky4WhhQhzoVtRPyjUNyzgk0itTAATjurFNxID6dnt kjWUXtrecPjs43rbrNVRGIY45iBsxFBikw4DWiDwJhVLcBl4TMKQH5GqnOAv4j6U9VNjPd/F IREOdJjozH4EaJANoKWpigI/IbmyHbf+hg/vVGmgjy4XbK7HKpC52NLPAIvKiyFr1U3Sesh9 mCH6lfWrlV95PtWHJCisH8p+3NRNLkLATxEk3e4M150UX9K9f1AL7jYeNBdRP90YgKzPxs5F rgt2EnhEVhcu3D/bmQyswJb/3uYRAwoTWwOha+rnzQCq8ahMDtcSpRSbDxnYT2XYwSc0Ttau hpScSQIE9gQH8pF9rcH3IBV4tuKSECiLjsAVQBjMQRw2ORWlEpKukGVMS7HCg/gefHKuxxxN cCfyazhZMq/xg5Fg4XmmOM18blFTnbghA7sCdHSoongt8Gb41OUffSwOOm9bHndCTnU2Ezow +58UN+Tp3SVaVMCePwYgTI+bJPsCHDGJ0FDLqMffA9AULxiLM5BuqZcbtNlf6AA/elsAAiGT 1XhAt/KzrEOI1DNSDDZNyjE/Pa4pNeZ0/rnQOrpYM2kxHvBX+R+NdFn6nOoftWimZ8b4Ufw1 vp3owlED2LPMSmHrfziKwUXosCpMFbh9M5hDXbdB5F+l2Doz0dLep8MQiGkx58fzYtQ9Hf6T e8QPlHbiORJ7PEk7IA25+ss0sKoPeLJLuwct0Z7Ax+SDwEs95M3AWE5SXoDKuMWLf7Qe+weg 6WM46jJUZYe6hST+sRaZN3bYUjK3NS8Qj2RUh1Lmg4dpCVSclPajqba3fYsFYD8/LGx01ll+ 1WkKx8a0L1hgOXMsrGFouPadVqZzLQJXLTrWtKmq70tv02I4vh33LUKe2Fzf0imCL1BDohEn jimlPh2i3t1SpCmffqo4vNIWnMnkyi1npl8Gw5TAfYIBf+Q+pwYmG4kmuvfP9lQc6ZYm2/JG wT3d91KgXOt9SaTJ3Foxx/U1BSlC1311lb0pCl5aSjByculm0ETS7r9ViIwF2K5fFR1tj+CJ l+iipzNsKY86kAeMWHiqJSEny28O/kEeq+3bMzZKi4yqlUNiZQ3TdH6woEXF+22J9IJ+W1/Z P/TuCu71jVMqKBdi8/C89mYr7/JSGK4gfTQ+NDvjHhIj2I1tlYl5pW8O+HSspeUFu+w2T9ZT j8j6VeZGU/v7OSd9xdNZASKyBuZxNRMZ4kGmyF+jga/uo1BCJoy7FkMS9yGPqta42i1YHytn R6ee45lD3HClWcIWAqzSR4hR+A9wDyi5suRzCWJogR6SNUoLx61wkAnaudwYUM1tgpNy3JaQ 1FUMEKVUOnzVxaicdpMVFBdO06OhOHoI/5uj0Mvmuj9tLeLNb4uQPdUU5QVxg+WwgoBE8pP4 /RHGeByJwcGpqWP/lCwWc+6BrDnjSRib/TtG5IDqJlLuSd6uVSxH0L4u8UEsuxTzZmMcuQsj YHkmsd64g8n4DcOcncImx1jl1aiVvhaoun/49/duZ7u6+C0Va9rSf9Fvx4zT39ziZf9mjVB6 ZneyvtcR4vJiI/+7BEFIniEv5zf2gV9LuxGIpyifbJp/XEKbyYEIHdGMd2TYvg6qyhjVVebr 0RFGd8JbMgEMdDltD1u0hasdJt6s83RFxmfFpt5cN0u4yzv0jcp/JAgU+HmrjirOZTY6FILN PRGzUAO3JrDqOUT3fvOGX0X7H2eOFB+xiKPzYXICu6lob3KkYmLEQpeQmhvCt4OQVjKsRaqT ee0ipjzBwad68uoxYk7aFrVXXup2qIMrqdLF+dEzCT9xDlXUI7v1Jf3+5Kh7nVaslpfHcN99 xrATe9heK9yOx3+l+GoS05gQCL0PtzXPElL2qLe1qIX7uNyOlGrL5ccOQ4Bwqnm5GB9YzZUE OWzknywGOUbaZ1hVe/OqW1T5cR4MagTMVOBpZvs6DBVtFQxBwxvY7g15G8/FAGGjEheXKD6v 6QFgw0XXItiuENCLmm3PXo3+zvNUak9ZEy5C/ET7nOaReoTUBcwWsuRaxC43okocrDvgPMV6 wuufwtQncJyiHlKbjL5vifh4aUQxTgn5be08i0bvmBIRfmflCGODkhfyPMNjuEXDHOwsTSB
Ironport-sdr: 65f42f4c_3pGjI1a7YhEfEWjkIHE+cv8jn/0NAu/s1C5AcR3fM2mG5Rn WIFdGyrQR40YBkJ3T33eQFUyzgDVlCFy16sYK6Q==
Msip_labels:

Apologies for cross posting.

Dear colleagues,

We seek a talented and motivated postdoc/Research associate to join the School of Computing at the University of Kent, Canterbury, UK. The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position is on an EPSRC funded project titled "TYPDSEC: Type-based information declassification and its secure compilation". The post is based in Canterbury and will be directly supervised by Dr. Vineet Rajani (https://vineetrajani.github.io/).

The project will be in the intersection of modal type theory, information flow control and secure compilation. It will also involve mechanisation in the HOL4 theorem prover and implementation in the CakeML ecosystem. Applicants should have a strong background in formal methods evidenced by high-quality research publications or artifacts in top-tier venues of programming languages, formal verification or security research. The project will involve close collaboration with Prof. Magnus Myreen (Chalmers).

As a Research Associate you will:

1. build novel type theories, proof techniques and compilation methods to reason about hyperproperties relevant for security of higher-order programs.

2. work on mechanisation of the above in HOL4.

3. integrate them in the CakeML framework, a real world compiler for the ML like language.

To be successful in this role you must:

1. have a PhD or equivalent experience in Computing or in a related discipline.

2. have a track record of peer-reviewed publications at scientific workshops, conferences or journals.

3. have excellent mathematical skills relevant for analysis of computer programs.

The university of Kent is walking distance from the charming city of Canterbury. It has a high speed connection to London, and travel to Europe is convenient by rail or car.

Please apply through any of the following URLs:

- https://www.jobs.ac.uk/job/DGO984/research-associate

- https://jobs.kent.ac.uk/Vacancy.aspx?id=7355&forced=2

We are looking to have the successful candidate start as soon as possible. For any queries formal or informal, please do not hesitate to get in touch Dr. Vineet Rajani (v.rajani AT kent.ac.uk).

Best regards,

Vineet

[Coq-Club] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent, Vineet Rajani, 03/15/2024