From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 16AB05D5 for ; Wed, 8 Sep 2021 07:01:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="527253266" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Sep 2021 09:00:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 432CBE2FB8; Wed, 8 Sep 2021 09:00:38 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5775DE2E24 for ; Wed, 8 Sep 2021 09:00:32 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrei.h.popescu@gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f171.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A7YWKKRPzHV9gq27Mdcwl6nZBChdPi9zP1u491JM?= =?us-ascii?q?rhvp0f7i5+Ny6ZQqDv60r3QaCANqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yfy+94fXbglVizawYbF/JwiqoAvMscUbnZFsIbsrxBvTpXtId?= =?us-ascii?q?eVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjULxXFy8mPHwv5M3qrhb?= =?us-ascii?q?MUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrSr86RDOi7713SBD2l?= =?us-ascii?q?SgJKyA2/33Wisxokq5QvRatqhNjz4LRZoyeKfhwcb7Hfd4CSmVPXshfWS9cDI2?= =?us-ascii?q?ic4QBAPEMPfpBr4Tnu1cCsQeyCAuqCejyyjFInHj23agi3uk9FwHJwRYgEMwPs?= =?us-ascii?q?H/Jttv1M78SXv6uzKbU0DXIcvRb1i376IfVaBAuv/CMUahwccbL0UkvEBvFgUu?= =?us-ascii?q?LqYP5IjOYzesNs22B4OphUeKjkXIoqwZ0ojW2wMonl4bGiJ4PxF/e6SV53Jg6J?= =?us-ascii?q?ce+SENjfdOpEZtduiKVOodqXs4vTX9ktSQmxrAJuJO1fDYGxIg6yxDQb/GKfIe?= =?us-ascii?q?G7gz+WeuPLjl1h2xpdK6jixuw8EWuxevxXdS63lZNqypKiNjMtnYV2hzI6siIV?= =?us-ascii?q?PV98l271jmTzQzT9+JELEYpnqTYM54s2qA8moYXvEjZHSL7mF/6gLKXe0k44OS?= =?us-ascii?q?k9ubqbqjgq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS5zrLj/En5TKxTjv0qj?= =?us-ascii?q?6XVqZ7aKdkZq6KkGQNV3YEj6xGwDzeiztsUh2UILFVAeB6fjojpPU/BIOzgAPu?= =?us-ascii?q?hn1ihlC1nyvPGM7H7H5nAL2TPnK38cbt/9kJQ0A8zwspe55JQBLEBOvXzWkrpu?= =?us-ascii?q?dPCCB82Lha0zPjmCNln1oMSQ3qPAqiBMKzMql+H+v8vLvKDZI8Qojn9Kvwl6+T?= =?us-ascii?q?ygn8+nF8RZbOp0ocPaHCkAvRmJF2Ubmb2jdcEFWcGpw4+TO3xiF2eSjNTfHazX?= =?us-ascii?q?6ck5j4hEo6mDIHDRpqsgLObxiu7EIdWNSh6DQWFGnOyX5iYX/YXdDnUP9NsgjU?= =?us-ascii?q?fE7WtVstp3B6ivSf+yqF7Nazf+iQcsJ/5z55u6qmbnA0psDh9CcvYznqAVXpck?= =?us-ascii?q?WQPSDs707p4vFRmjFyE1OwwiPVdEZlX5uhVegY8L5/VieJgWP7oXQeUV9GFUlu?= =?us-ascii?q?nCu2hGTwqRc95l9YIb1xwGpOiyAjExyexCKI9mLmCBZhy+aXZiSuib/1hwmrLg?= =?us-ascii?q?fFyx2ItRdFCYDH+7kaa3wfWDo/N1U6ekvTyHUz99CvE9WPG1HbX+U8BD1c2XqL?= =?us-ascii?q?CUnQSIEDRqIahjqstZ7CrALUjdABGzJzbQpY=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ApQnpcqATB+OlY27lHemv55DYdb4zR+YMi2TD?= =?us-ascii?q?sHoBLyC9E/bo8PxG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQ?= =?us-ascii?q?CTXeRfBOXZslnd8u7FmtK1F50MT0GzMrLN5JFB4/rH3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAQCYahphf6ugVdFaDg4BAQEBAQEHA?= =?us-ascii?q?QESAQEEBAEBQIFZgldLVjsxhEePSYIki3GRdgsBAwENLRQEAQGHTgIdBwEENBM?= =?us-ascii?q?BAgQVAQEFAQEBAgEDAwQBEwEBDQsQCDgmhTsBLA2CNQwahAARHQEbHgMSEA8CH?= =?us-ascii?q?wcCJAERAQUBIxoaglCCVAEDL5sIgQQ9izKBFQUXgQGCCAaEbAoZKA1lA4E9GgI?= =?us-ascii?q?HEn4qhW6BH4Jsg3ongQSBJYFLhDGBXgWEdIJCIgSDX4EMY1CBUQs6kTtEq0QHg?= =?us-ascii?q?yuBN4kGiy6IZyuFLaFIhnWKM4Rpn2yFSRAjEoFCgX0zGiOBAYI4CUcZDldEBY0?= =?us-ascii?q?AFyCDO4d6gh9GQy84AgYBCgEBAwmJdQEB?= X-IPAS-Result: =?us-ascii?q?A0BKAQCYahphf6ugVdFaDg4BAQEBAQEHAQESAQEEBAEBQIF?= =?us-ascii?q?ZgldLVjsxhEePSYIki3GRdgsBAwENLRQEAQGHTgIdBwEENBMBAgQVAQEFAQEBA?= =?us-ascii?q?gEDAwQBEwEBDQsQCDgmhTsBLA2CNQwahAARHQEbHgMSEA8CHwcCJAERAQUBIxo?= =?us-ascii?q?aglCCVAEDL5sIgQQ9izKBFQUXgQGCCAaEbAoZKA1lA4E9GgIHEn4qhW6BH4Jsg?= =?us-ascii?q?3ongQSBJYFLhDGBXgWEdIJCIgSDX4EMY1CBUQs6kTtEq0QHgyuBN4kGiy6IZyu?= =?us-ascii?q?FLaFIhnWKM4Rpn2yFSRAjEoFCgX0zGiOBAYI4CUcZDldEBY0AFyCDO4d6gh9GQ?= =?us-ascii?q?y84AgYBCgEBAwmJdQEB?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="527252947" X-MGA-submission: =?us-ascii?q?MDGs1tpWp6McPjhLfbLRGkmYvSH6ZXFqzEATJ6?= =?us-ascii?q?jzhYGmCwbcL1ftgmvqHXx0QZ/P8QiWP+JbkibxEjR8BDQhb+c+s+csLz?= =?us-ascii?q?R++8rUp/bI+nh/pSslhcRKlU6UEhMzG5Ww2BaW/ncNdu8apkTTzNJiJ9?= =?us-ascii?q?r3xdXmMbJCv9ZDmrZRpu9fxg=3D=3D?= Received: from mail-qt1-f171.google.com ([209.85.160.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Sep 2021 09:00:30 +0200 Received: by mail-qt1-f171.google.com with SMTP id u21so1015746qtw.8 for ; Wed, 08 Sep 2021 00:00:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=gaFteB+xbrDaOSNEZGtyxlASpYDv7FThRDaQ1jHXf+8=; b=kfpc5zaRZavXpkMDZJU3xHOeZ1YFAdP9aOYNDGvXvLf72LVcIx5nI38v0ueB7zQNvv Z/ClcD/vXQnD1+2sCEwH/VpxjnvGaGNu2fUkrEKUI8pQNqOpn9zZyoZIUuUxYNR5dkqu c58iLK7D1AbmtOfvvkbKZ3AWOp/+lEj4cUOhABJpE3gyOR9J137372Zcr1mMK/jcGIRc ccTZaacVUHRr5j/Xaad/KNXx5iQ9lTqqZ37H7ezRntSPXjdp1zWplyyltcUZA5qYjLIA aqy6G1YtOPL63mh6cSMD6ks6SIWVq2moUclY3We3EvfvjoqB5722BWAGIHNfucsDZyUi e+Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=gaFteB+xbrDaOSNEZGtyxlASpYDv7FThRDaQ1jHXf+8=; b=Q9WYNnoEIuP8HqFDY3J/1zhDdeU/q8zvgxWsimL7+7qHdo/i3BMm1I/5MLxw9hnS2P 6bS3ajxx6UtF8TWVNNcmhWdbxRLLj40rDwPI8aZuGAdZi3OLaZCG8fHOz3/dBDViIMcy LAgty8bJYxZgOsmXS6Tpxy5v33yt9IzjMeLdAlYZz4fl1W14olCiMZpNp6Vvm4LMEr7Q 6nq/BmZPXfcIS102KkMop87a/e8CHzz1dF3HEHYz/BtOcIRRjEdt+TZQt7AbTPwQ/+xM RxM+eeNEUrvhXk9R6TXZcTcvWcIBjZ251+tuGUZU1j5Fvq1ZHDoH7RMaKxva7jzmxylN +LrA== X-Gm-Message-State: AOAM5335ri0sm9M6JTHF2eU9pLspYc7x264YhYiht8+/ztYYQqrKaPC9 u3AVAapicEP0sZNCCri421rXeoa9Yg46AJftYxIYWxlJl0I= X-Google-Smtp-Source: ABdhPJxhaQWCSqyPVEfgMkOhg+VRyQBejioG7wgbYzgHPWt3bT2K8k59hS7Vq4uSU0XMBTvd6IjTVyH0aDJp7pqsiDg= X-Received: by 2002:a05:622a:51:: with SMTP id y17mr2242097qtw.315.1631084429227; Wed, 08 Sep 2021 00:00:29 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Wed, 8 Sep 2021 08:00:00 +0100 Message-ID: To: acl2@utlists.utexas.edu, agda@lists.chalmers.se, ats-lang-users@googlegroups.com, caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18562 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield. The goal is to perform research in one of the following areas: 1. Formal modelling and verification of security properties for digital twins. This involves the design and development of theoretical mathematical models and the use of proof assistants, automated theorem provers, model checkers or related tools to formalize and verify properties of these models. 2. Fine-grained access control system for mission-critical digital twins. This involves the design and development of an advanced access control policy and the usage of security models and public key cryptography (such as CCA) to build proofs of concept in enhancing the security of digital twins. Closing date for applications: 23 Sept. 2021 Starting date: 7 Oct. 2021 or later Duration: 30 months Salary: =C2=A332,344 Applications can be made by going to this page https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=3D= cG9zdF9pbnN0X2d1aWQ9NjEyNzRBN0Y2QjU4M0VEMUUxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXB= lPUVYVA%3d%3d&sap-client=3D400&sap-language=3DEN&sap-accessibility=3DX&sap-= ep-themeroot=3D%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos# and clicking on the "Apply" link. The "About the job" link contains more details about the position. I am happy to answer any informal inquiries. Best wishes, Andrei