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 ESMTPS id D11275D5 for ; Fri, 14 Jan 2022 13:05:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,288,1635199200"; d="scan'208";a="15838458" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2022 14:05:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B0BC6E00CA; Fri, 14 Jan 2022 14:05:04 +0100 (CET) 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 C4C83E00C9 for ; Fri, 14 Jan 2022 14:04:58 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ryukilon@gmail.com; spf=Pass smtp.mailfrom=ryukilon@gmail.com; spf=None smtp.helo=postmaster@mail-pj1-f49.google.com IronPort-SDR: u70ihq/gqpMprcuiPD4GPjOyFJKXUVWr8FMV42FOSKSx6m7rQBW7FSE6BbQ6+Ck2lHpn765VLX 99fGm5pi/QisJ8Ni62LijjcF7REWe7hZo6immXdtDqGuzTZr2xZOsZnxfgwYFPR3S4AZUuh+dD bBjQ2/m+fuODtJP+m2OfDtVoUdgw/09fYpnERQRnf9WYasN+zf045N50YMHLxOBcsK75BGNbBP 4/MPYRc3TgpetOhQqdEaZsG3zimuHd9M1FKHznfK01hhCYvFUKgXma4wh5otsAT3l1OyuDg3nb GW0uerU0ZZ3DeX2u+I9ufrEz X-IPAS-Result: =?us-ascii?q?A0ARBwC7dOFhfzHYVdFaFnOBWYFSVn5XKwQ8hEeObloBA?= =?us-ascii?q?QEGgRQugRaKCoEGkCkUgWgLAQMBCwEBMA8CBAEBPAGBU4J1g0wCHQcBBDIHD?= =?us-ascii?q?gECBAEBAQEDAgMBAQEBAQEDAQEFAQEBAgEBAgMEARMBAQ0LEAgKBw4TYAFhA?= =?us-ascii?q?wFEgU+BTyULAzENgjUihAQRDwEFCAEbHgMSEAcIAh8HAiURAQUBDiEIAQEeg?= =?us-ascii?q?mIBgmQBAy4BDp8zgQQ9izKBFQUXgQGCCQaBUUNIgW0KGSgNaYFYAgEGCQEIf?= =?us-ascii?q?iqOMyccfYEQgRQBJ4JMB4NRBBiBCARPgwOCQyIEkTgFWg0MGBk3KxZOIwIdB?= =?us-ascii?q?gUyGZIujy2cS4EuXoJwBYp0ixiJJwYPBS6DcIwMhhWRXZEZU4RVjQiLLYklh?= =?us-ascii?q?FkCCgcGECMSgTMOX4EgTSMVOzGCOE4BAgEBAQ0BAgEBAwECAQIJAQECjlSDO?= =?us-ascii?q?oMGgg6FWTIzOAIGAQoBAQMJhWqKQwEB?= IronPort-PHdr: A9a23:eMV9LhAhaf7b1dmA1gOCUyQUx0kY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua83ygeVFt6Ao7Ic0qyK6fmmATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1sI BmssQncucYajIVsJ60szhfFvmZEd/5ZyG92OF6fhQrw6tu18JV+7ylepvUt+tJaX67nZao4V 7tYDDonM2Ax+sLmsATIQBWM6HUBTGgYiwJEDAfZ4h70WJfxqTb6ufFm2CaGJ832TKs7Viqk4 qx2VRLnkiYHNzo+8GHKlsx9ib9QrRy9qxBjxYPffYeYP+d8cKzAZ9MXXWlPUMheWCNPHI2yb 5YBAPYOM+tDs4nwpEEDoQeiCQSiBu7izCJDiH/s3a091uQsCR/I0xY6H9IJrX/ascv6NKQTU eG11qbIyC/MZO5R1Dfn6InIbxMhofCIXbJ3d8rc0kYvFwbfgVWRrYzpJS+a1uMIs2WC6edrS O2ghXI9pQ5rvjiv2tkjipPPho8N1F3J6Sp3zZspKNCmRkN2fN2pHptMuiyZNIZ4TMAvTmFot ig6yrALu4O3cigExpkoxBPSZfKKfpSH7x/tVuucIDF1j29rdrK4gha960mgyuvkW8m11lZKs jRKksPKtn8XyxzT68+HSv1m/ku73jaPzQ/T5vlHIUE0kqrbN5khzqctlpYJq0vMAjX6mEfuj KOOdEUk4fSo5/7oYrXhvJOcNZd0hwfjOaotgsyyGfo0PhQKUmSB+umx1Kfv8VPkTLhLlPE7n a3UvIjEKckUuqK2GApY3ps95xu6DjqqzMoUkHwGIV5bZB6Lk43kNE/TLP/kEfiyhlehnCp1y //cO7DtH4nCI3nDnbrkfbtw6kpRxQU1wNtC/ZxbEKsBL+j2WkLptNzXEBs5MwuszubiEtp91 4ceVXuXAq+bLa/eqFGI6+0rLuWWa48VvzH9K/ch5/Hwl3M2hVgdfayx0ZsWbnC3AOhmLl2Hb XbwhtoNC2QHswokQOD0lVGPUCRfanm2Uq4k4zE0EoOmDYPNRoC3h7yB2T+2HodWZ2BbCVCME HPod4KCW/oXZyKSJ9Vukj0AVbS7V4Ah0hSuuBfgy7V7NurU5jEYtZX72ddp/eLTkBUy+SVwD 8ScyGGNU3p5nngIRj8zxKBwu1ZxylaF0ahigvxXD8Zf5/1TUlRyCZmJxOV/D5X2WxndVtaPU levBNu8Uh8rSddk/9YUZA5GFtajnxnG1mL+Ga4IlL2PA5oc/afV3ny3LMF4nSWVnJI9hkUrF 5McfVatgbRyolC77+/hlkyYk/zvbqEAxGvX82zFy2OSvUZeWQo2UKPfXHlZaFGF5c/h6BbkS LmjQa8iLhMH0dSLf7Fbd97oiVJAbPjmMdXaJWm2njT4Hg6Gk4uFd5GiYGABxGPYAUkAnRoU+ COcJBU9ByOmpUrRCTVvERTkZEa/ufJmpiadSUk5hxqPc1Un17ex/UsNgueATvoIwr8ekCIoq jExBFTkmtyKWpyPoA1ueKgaatQ4iLte/UTesQE1fpmpLqQ4w0UbbxwypUTlkRN+FoRHl8Eu6 nIs1gt7b6yCghtHcHuD0Jb8N6eySCG69Q2za6PQxlDV0cqHsqYJ5vMirlz/vQavXkM8+nRj2 tNR3jOS/JLPRAYVVJvwVA4w+X0Y7/nAczQ+5ofT01VjNKC1tnnJ3NdoTOopxxC8fstOZbueH Vy6GMkbCs6ybe0yzgLxP1RUYaYIrfByY5L1EpnOkLSmN+thgj+82GFO4YQnl1mJ6zI5UOnDm ZAM3/Cf2AKDETb6llao9M7tyuUmLXkfGHSyzS/8CctffKp3KMwRGHqtIsmwwP1xgpfsXzhT8 1vpVDZkkIe5PAGfaVDwx1gaz1UKon2jni2QwDl9kjVvpa2aln+G06HpcxwJPXROTW9pgAL3I IS6uNsdWVChcwkjkBbNCV/S/6FAv+w/KmDSRR0NZC3qNyR4VaD2sLOeYslJ4ZdusCNNUe36b 0rIArL6phIb1WvkEQ48jHghZiypu5H+mTR1jWucKDB4q3+RdcxrxBjZ7cDRXrYLhmtAFHQ+0 2CJQATtd9Cytc2ZjZLCrvyzWwfDHtVIfC/nwJnB/Cq36Gt2AAGuyvW6m9npCw8/gmfw09hnU zmNrQ6pONG6kfTnd7g+IA80VQyZiYIyAIx1n4ouiYtF3HEbgs/Q5n8biSLpNt4d36vibX0LT DpNwtjP4QGj1lcwSxDBj4//SHiZxdNsItegZWZDkDgs8sNLDKCSxLNBlCpx5FG/qEiCBJo11 idY0vYo5HMA1qsTqRcuzyGaBJgdGEBZOWrnkBHCvJiu6a5QYmioa7250kFzyMugAL+1qQZZQ H/le50mEHwVjI03IBfW3Xb08I2hZMjIYIdZqEiPixmZxbsdONcrm/ENnyYiJW/toShv1bsgl RI3uPPy9Imfdzc2oeTgU0YebGGqIZtUoG2ljL4CzJjKmdr0RdM4RG1NBNyxHLqpCG5A66qhb l7UVmV68jDBQd+9VUee8Bs08SyJScz6cSHPYiFel40qRQHBdhMFxllIGmxrxNhhUVn6jM35L BUmunZIvAO+8l0Ujbs2Unu3GmbH+FXxMmdyEcfAakoQtkYYvg/UKZDMt70oWXgJotv56lTKc zLTZhwUXztRCwrUWha6ZOnovZ6ZrI36TqK/N6ecO+zQ77EOEa7Zn9T3ldI3tzeUapfVZyckV aZqnBEZGyg+QpWRjTwLT2Z/ezvlScmdqV/8/yR2qpr66/H3QEf14oDJDbJOMNJp8hTwgKGZN ufWijwrYTBfnogBw3PF0t19lBYblj1uej+xEL8BqT+FTaTenbVSBgIabCU7PdVB7qY11A1Ac cDBjda92rl9h/8zQ1BLMD6p0tmuftAPKnqhOUnvAU+KMPGeJ2SOzZ2mJ6y7TrJUgaNfsBjx8 TeXHkn/PyiSwjnkUxf8VIMExCqfPRFYpMS8akM3UTmlHI+gMETldoMm3lhUifUui3jHNHARK 215ekJJ9PiL6D9Ax+94ECpH52ZkKu+Nn2CY6fPZI9AYq6gOYGw8muRE7XA907YQ4jtDQak/g jrPrd9qpFeOneyGyz4hWx1L4GUu5srDrQB5NKPV+4MVE27D5w4I5H6MBg4iotJkDpj3ufkVx ISe0q30LzhG/pTf+s5WVK22YIqXdXEmNxTuAjvdCgAIGCWqOW/ojEtYiPiO93eRo/DSS7Dpk ZsKD6dZDRk7SqJcBUNiE9gPZpxwW2F8+VZ0pMEN7Hu66hLWQZcD1ngifv2XCPTrbj2eiOscD yY= IronPort-Data: A9a23:udqSL6AnjyVQihVW/w/lw5YqxClBgxIJ4kV8jS/XYbTApDMngzABx jMfDW+PPK7bZzH8f4wjOYS2o0oHvpDTyNEwOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YHgX1vX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoxmCp89o5 /FTicCbaBgNPf3jtsMFfAYNRkmSPYUekFPGCX22sMjW10+fNnWwkrNhC0Y5OYBe8eFyaY1M3 aZAeXZdM1bZ3rzwnOPTpupE3qzPKOHxLZ4cu3VnyxnWCP8nRdbIRKCiCdpwhWpg3ZAVQ6q2i 8wxZCosMwTdeBxzJV46Jqxitcr4vEWuWmgNwL6SjfNvvzK7IBZK+LPkNd6Qft2RWe1Oj0OAr yTH+X74C1cULrSiJSGt93utgqrXn3q+Vt5DUrK/8fFujRuYwWl75AAquUWTjfKBlVeRf8xjd 2c15Q4t/Ycc01SEUYyoN/Gnm0KsshkZUttWNuQ17gCR16bZizp14EBUH1atj/R25KcLqSwWO kyhxIy2WGQ+2FGBYTfMqefO9GLa1T09dDdaPUc5oR05D84PSbzfYzrKR9dnVba315j7RWC2z DeNoywzwb4UiKbnNplXH3iX31pARbCTFmbZAzk7uEr7s2uVg6b7POSVBaDzt6ooEWpgZgDpU II4s8af9vsSKpqGiTaARu4AdJnwuarfaGyM3wY3Rch4n9hIx5JFVdABiN2ZDBc5WvvohRe0C KMukV8LvcUMYSfCgVFfOtjuVJxCIVfc+STND6iINLKik7B+cwiI+CwGWKJj9zGFraTYqolmY c3zWZ/0Ux4yUP07pBLrGbp1+eJ0nkgWmDKLLbimnk/P+efPNBaopUItagTmghYRt/Pa/m04M r93a6O39vmoeLavPXmMr99CdABiwLpSLcmelvG7v9WremJOcFzNwdeMqV/4U4A6zalTiMnS+ XSxBh1RxFbl1C/ILAyLbjZob7a2BcRzqncyPCoNO1e02ih7Mdz/svtHL5ZnL6M68OFDzOJvS 6ZXdsiFBMNJQGuV9jkYa677s4E/Jg+gghiDPnb+bTVmJ8xgSgXF98XKZAzq8CVSXCO7udFv8 bKl3wLfB5EEQl06XsrRbfuuyXK3vGQcyLoiBRuWfoELdRy1ooZwKiH3gvsmGO02KE3OlmmAy gKbIRYEvu2S8YI49d/+g6rb/YqkFu1JGFUDQzvW4LOwAint/mS5xLhGXuvVLyvWU3n5+fn7a OhYk6P8PfkAkAoYuoZwCewwn6c35t+qv70Diwo4TTPEaFOkDr4mKX6DhJEduqpIz75fmA23R kPfpYUAaOvRYJvoQAwLOQ4oTuWfzvVIyDPc2vI4fRfh7yht8bvbDEhfY0uWhCpGIOcnOY8p2 7166ssf6gj6khhzd9ja32Zb8GODKnFGWKIi78lIDIjugwst61dDfZ2MVXOssc/XM41BYhswP zuZpKvenLAAlEDMRHw+SCrW1u1HiJVS5R1HwTfu/bhSdgYpWxP24PFQzdjzZgFczxECy+Aqf 2Y3Zgt6IqKB+zouj89GN4xp98etGzXBknEdCXNQ/IEac6VsfmPIJWw5f+2K+Sj1NkpCKyND8 ujwJHnNCF7XkQKY4sf2cUFgov3nC9d282UuXSxh89utR/EHXNYuvkNiiafkZfcq7QPdSXArf dVXwds= IronPort-HdrOrdr: A9a23:BJaiUaqUx4Gf7EElfTEGdKYaV5oceYIsimQD101hICG9Afbo8P xG+85rryMc6QxhI03I/OrrBEDuewK/yXcY2/hpAV7AZniChILLFvAA0WKK+VSJcE3DH4ZmtJ uIGJIOcOEYY2IK6/oSrDPId+rIA+PqzElrv4rjJrtWIj2CopsP0ztE X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,288,1635199200"; d="scan'208";a="15838364" X-MGA-submission: =?us-ascii?q?MDGYwBIpRP4gOUv/LEVr3Dn/2QctTilB6Bxi9x?= =?us-ascii?q?aoeeVhfNkdMkQ9WhnvWNR3J4MM2+v00llme6TWgdw+l0dWGliaizOon9?= =?us-ascii?q?3EkDkWIzAAx5rr333xce+czU6mOHbe8TdYABLSfZj7Qy7zX/Vg1cmmAU?= =?us-ascii?q?imibBTtPzDAyNsB17HCItUDw=3D=3D?= Received: from mail-pj1-f49.google.com ([209.85.216.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Jan 2022 14:04:39 +0100 Received: by mail-pj1-f49.google.com with SMTP id y16-20020a17090a6c9000b001b13ffaa625so21924265pjj.2 for ; Fri, 14 Jan 2022 05:04:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:content-language:to:from :subject:content-transfer-encoding; bh=c5Itflifb2FGSbDSkTLlMNsy7RVs7q2gPQxg7v49Qo4=; b=phYswbInNyQhZTG8pXnUwT0OkZBhsZN8FXWdqXohlzj5RUCUS5oIXkj8TrDBTCzz16 FoQgGlSNawFmI4Fru+kQ7eZ5lTNpEwuTrR8yeYlLu19LmNBw8gW2kS4ASFkbzGd5Ia+S 5jm6iFHuE3tcduUt4sHi7x4q4owHbHkBBbIjdSitd+uRP5Qce/f76Ay3DGmhXaVuuZ/7 s1pNY5E3NlUZL7R+b6lTAVuAWmvZ/RchamvKtWxcErc3Gi3pmevoQAv8y6UAJvyOlQsK rSmc4+6f6ZgPWef1irTKAnTzdrL/K4qKQ67t0LApu4G/fIQPlfILmZG/U6AVFR1P+0Cv 4mwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent :content-language:to:from:subject:content-transfer-encoding; bh=c5Itflifb2FGSbDSkTLlMNsy7RVs7q2gPQxg7v49Qo4=; b=2mPElLwLFO47Lwo8KW6Xb1pfldN0KeesC33ESZv1o7Ph39aJDVSgSj6jXEaBuhSy6Y NJAFMzZnmaPujwET6c2djRFPdI4SzIM6CLyz/pDAL6sxgyBBEAwRQ/JIXIluIt6B+Sle bx5zd72pz13/Z9d0ekCvQ+sLmQ3cD8kZ3JcFnIiqMgfITOjvnS2mXWhwS5v9x2/7Mi5i snd9OIvpyVg0IQrpuw/sxSRaGA2oDbAvNmzEr3RpgCrML0b4S+vc4ur35WpbDYV4A0yI pGWx6fwzz4KH3vkgCEUEI0bmMhk6SLpO/T9sjWNQteiwBmKQPlb5ciJU2gz9ZOUPBoE6 I8rA== X-Gm-Message-State: AOAM533Ab64JYrSHymV57H7bW7lB8LI6AzDyBIN7YgLgGcJ1MhQHzavG Cr3m6iU/5rf8E2u8KSJQn7831aDQKJYzYg== X-Google-Smtp-Source: ABdhPJzjmtYeqxXiWlFmMuvCgjHSULEaKkAC6Px+CiIjQDTU7tneOSmzc8X+iSYG2jyW8lrEC0U4Tg== X-Received: by 2002:a17:90b:3511:: with SMTP id ls17mr10580176pjb.45.1642165477472; Fri, 14 Jan 2022 05:04:37 -0800 (PST) Received: from ?IPV6:240b:12:602:6200:e1cc:812a:1c65:5694? ([240b:12:602:6200:e1cc:812a:1c65:5694]) by smtp.gmail.com with ESMTPSA id j16sm6529772pfj.16.2022.01.14.05.04.35 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 14 Jan 2022 05:04:36 -0800 (PST) Message-ID: Date: Fri, 14 Jan 2022 22:04:35 +0900 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.4.1 Content-Language: en-US To: caml-list@inria.fr From: Taro Sekiyama Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Postdoc positions on Formal Verification for Zero-Trust IoT Systems in Kyoto University and National Institute of Informatics (NII), Japan Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 18645 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: [Please distribute, apologies for multiple postings.] Dear All, We are seeking a few postdoc researchers, who works for a project “Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software” by Japan Science and Technology Agency. We'd be grateful if you could spread the word to interested candidates. * Project Description The project aims at the construction of formally verified secure IoT systems that follow the concept of “zero trust architecture”, dubbed ZT-IoT systems. It consists of four research teams and two teams, led by Atsushi Igarashi, Kyoto University, Japan and Taro Sekiyama, National Institute of Informatics, Japan (NII) are investigating applications of formal verification or programming language techniques to the construction of secure IoT systems. The main research topic of Igarashi’s team is centered around the design and theory of security policy engines for ZT-IoT systems, inclucing the design of a language to describe security policies and policy enforcement algorithms and the techniques for verifying policy enforcement algorithms against given security policies. Other team members are Kohei Suenaga and Masaki Waga at Kyoto University. The main research topic of Sekiyama’s team is centered around techniques for monitoring and intervention for ZT-IoT systems. Other team members include Ichiro Hasuo and Shin-ya Katsumata at NII. Although the two teams are based in different places, we collaborate closely with each other. The appointment can start as early as April 2022 (the starting date is negotiable). The contract will initially run until the end of March 2023, with the possibility of annual renewal until the end of the project, which is March 2027 at maximum. Salary will be about 360,000–550,000 JPY/month. Applicants should have a Ph.D in computer science or related fields, and have a strong background in formal verification and/or programming language theory. Due to the project’s nature, they are required to have strong interests in applying theory to practice; they should also be (self-)motivated, dedicated, and able to work both independently and collaboratively. Strong communication skills in oral and written English are required. * Workplace Members of Igarashi’s team will work at Kyoto University, Kyoto, Japan and members of Sekiyama’s team will work at NII, Tokyo, Japan. (Living costs in Japan are not very high nowadays. An estimate is found here https://www.internations.org/go/moving-to-japan/living/the-cost-of-living-in-japan#:~:text=A%20single%20person%20living%20in,will%20see%20that%20number%20tripled and we find rent can be cheaper than the cited amount.) * Applications and inquiries Inquiries can be sent to application-zt-iot [at] fos.kuis.kyoto-u.ac.jp, with the subject CREST Job Inquiry. Feel free to ask us any questions on relevance, topics, compensation, etc. We will reply when we see enough relevance. Applications should be made electronically via the following JREC-IN Portal web sites. NII: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D122010021&ln_jor=1 Kyoto: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D121122219&ln_jor=1 Please upload a pdf including - your brief CV, - short description of research interests (can be very informal and short), - the list of papers (a dblp or Google scholar link will do, for example), - a couple of representative papers (in pdf), and - (preferably) the contact of two references. We will contact you for further material and interview, provided that we find sufficient relevance in your application. Starting dates are negotiable. The positions will remain open until filled. Many thanks, Taro.