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 0A4F35D5 for ; Fri, 11 Mar 2022 19:28:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=DJYenjo5HVcHygIwtGam7NIMY8DUSAq7tYqrpbc11g4=; b=vBGcjZcrzYh2ggM4nmQmp+cgyFheCuJ8eYLlYR8q9VTRmP4l3NDb7157 NNU3TeDgtp5zfDIcT9DhPxvE1KidwcPKlFD2ru28YdZ5j2hQnB7g0K5Bl Lgbok+5Kuk1aa4KMpHmbRdWL9THHiE8nBpR3N055nB1UYzvKW/TdyeHlz M=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.90,174,1643670000"; d="scan'208";a="25739882" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2022 20:28:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5131FE0B44; Fri, 11 Mar 2022 20:28:04 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F0DE9E0045 for ; Fri, 11 Mar 2022 20:28:00 +0100 (CET) IronPort-SDR: s8RbH+jAPuAJLuqpIpXuVc3ZtLgS/tENDuUitmJMgGtyg4jLnC2UnmEIMcwRQFOyb6Ocr/bnFe F9C7hCgH6ZMvsMd75TWmpHFyx4E4f61soHCNm4BLbiDRbUFLPr1mIgHzax0MX7TNd5TSC+gs+h AANGv+17TVEjDSAxmjDCSu/6IwT8oInJBYK/HIbc1mvBGYTksAQq6Z9Bo3JmSYRxa+SvRGerCa 4UGDeHl74abP5sq/CqxvASliegzUYgfVuF5yM3TlTR2qQksm5OzChm5BLT6vCV3Ne226jS4tBx 3etc54CO4ez+syJ+COS0TLat X-IPAS-Result: =?us-ascii?q?A0AfAgCUoStih8oR14FaFggBPAwCCxWBWgKCJn5YKgcIR?= =?us-ascii?q?JVskg6KVIF8AgkBAwELAQE1CgIEAQGCEocbAh4GAQQyBw4BAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAwEBBQEBAQIBAQIDBAETAQEBAQ0LCQUIDAUQDgU8ZGiBT4F0CzQNQ?= =?us-ascii?q?AEMAYFnIoQqAhlOBXANJ4MEAYMWBAuwKYEzgQGDTwGECyYWgWSBPAGOfoFVR?= =?us-ascii?q?IEUASeCFIEtgkwMCwEBh18ElmNfLT8jAYEFLx08GgUROpF1Fq1jNAeDTIFAC?= =?us-ascii?q?4k/gmeRZQYPBS6Dc4FOil6YF5ZWikeCTIcJghWQHwIEAgQFAhUBgWgKggRNN?= =?us-ascii?q?IMoCUUBAgECDQECAgMBAgECCQEBAo42gjuBHoUUgiNDgmRCMwI2AgYLAQEDC?= =?us-ascii?q?YVEJhMLhnqFYwEB?= IronPort-PHdr: A9a23:noAV5RbWitFFSFtyxKe4Tpn/LTEg2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gWPBN+BoKsd2qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfQlEniexba1sI Bm5sAndq80bipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2ThLjlSUJOCMj8GzPhMJ+jLxVrg+iqRNw34HZe52VOOZkc6/BYd8WWXRNU8BMXCJBGIO8a I4PAvICM+lCqYn2ukYArQekCgm2B+Pk1zhFiHzs0q08yegvDB3G0xY6H9INq3nbssj6OL0IX u+p1qXI0DbDYupQ1Dzg54fGbgovruuQXbJsb8XR008vGhvZgliTqIHrMT2b2+ANvmWG7edtV v+jhm8opg9+ojWhxtsgh4vGi48Ly13K9Tt1zYU3KNC5R0N1YdCqHpVQui2GMYZ9X80sQ2Ztu Ckgy70Gv4a2fCoNyJs83B7TceaIfJSS7hL+V+adOSl3i29/dL2lmxm+61Wgyu7kWsao0FZFs DBFktjVun8RzxzT99KLSvxn/keuwTqAzRrT6uReLU8okqrbLoYtwrs3lpoJr0vDGiv2mELvg K+ObEUk/eqo5Pr7bbX6vJOcMJV0ig7mPqsygMO/BP40PRISUGSB5OS816Xv/E3+QLVXkv02j 7PVv4vEKsgDu6G5GBRa3Zs55xajETipzNQYkH8aJ1xGYBKKl5XlN0/KLfziE/uznlShnC12y /3EJLHtHInBImbbnLrvYLpx8VNQxBQ8wNxF+p5YF74MLOj3V0L1stHTEwU3PBauw+n9DdVwz oMeVnyLAq+eKK7SqkGH5uMpI+aSfoMVuS39J+I76PHzl3M2g0MScbO03ZsUcHy4H/JmLFuFY Xf0n9sND2MHshAgQOD3iFCOSyNfanSoU64i+j03FpqqDYLZSYCshLyB0j27HppTZm1eCV6DC 3Hoe5+ZVfcQci2SOMxhnycaWre8UYMuzw2huBXny7pkNubU/DYXuor51Ndp/+3TiQ0y9TtsA siAy22NVX17nnsURz8q26ByuVByxU2G0ah8mvBYEd1T5+hVUgohLp7dz+l6C8joVQ7bf9eJT kymQtS8Dj0rQNIx2YxGX0EoENynilXH3jG2K74Tjb2CQpIuoYzG2H2kBs97g03a3bMixw0HS 80JDnGvnK1X+gSVDoWPjkbPxPXiTrgVwCOYrDTL9mGJpkwNCGaYMI3AVHEbPQ7NqMjho1jFV /moAKgmNQ1IzYiDLLFLY5vnlwYOX+/tbfLZZW/5gGKsHVCQ3LrZTYPsPV4B1T/eIEUI1QkYu 2uFZkAlHin0m2vFF3R1EE73JUbl8O1wsnS+G249yUexc0R71JK49lgcjrqBSKBbxaoK7R8os C48B1Ohx5TWBt6H8hJmZ7lZaMgh7U1vzm/YsQE7P4fmIqwkj1VYbgcfU1rG8RJxB80AlMErq Chv1w9uMeeD10sHcTqE3Jf2M7mRK2/o/RnpZbSEklfZmM2b/KsC8pFa4x3qoR2pG0w+8n5mz 8gd0n2S4Y/PBRYTVpS5W1g+9hxzrbXXKicn4Iac2XppOKiy+jjMvrBhTMoszFCbY95FM4uJG En7GIsHBInmKeAnnUSocgNRJPpbp+Y/O8KrcefD2bb+Zbwx2mj/0CIev8Ynihjfkkg0AvTF1 JsE3fyCiw6OVjOnyUykrtiygodcIzcbAmu4zyHgQo9XfKx7O4gRWgLMa4W6wMtzg5n1VjtW7 lmmUhkn0cnvQgabdV/V0AEW3E9RvH/tyk7ah3Rk1iokqKaSxnmE4u3kMiEbM3RIbGRuy17nZ 5W3xYNSTA2jaA4nkwGg7EDxyv1ApahxGGLURF9BYyn8K2wKvrKYjrOZeIYP7ZoptX4SS+Gge RWBTaa7pRIG0iTlFm8YxTYhdjjstI+r1xB9jWucKj50oh+7MYlRzBGZ38DVX/150zZATSI+l DqfClWnPtav9MmZjN+a6LH4DTv8EMQMN3Ozl8uJr2Oj6HdvAAGjkvzW+JWvCgU83SLhlpFrW SjOsBfgc9zu3qW+P/hgexogD1v95sxmX4Bmx9Jq1ddKgCVc38rTpyJdwgKReZ1B1KnzbWQAX 2sOyt/Ru03+3VF7a2mO38T/X2mcxc1oY5+7ZHkX02Qz9ZMvau/c4bpakC9yulf9oxjWZK03v z4bj8Ay4WQZq+wF/gMmiDieSON3fwEQLWn3mhKE4srr5oReYiCUbbGq12JzkZaoB/efoUsPE Ga8cZAkEyhq68x5O1+Zy3z/5Lbvf9zIZM4SvBmZwHKix6BFbYg8nf0QiW97KHrw6Dc7nvUjg 0Ukjtmq+ZKKIGJ38OelDw5EY3frMtgL9GiI7+4Wn97Kjdn1T9M7Q2hNBcWuFKrgESpO5629Z kDUSWB68yjdQ+KFVQ6HtBU/9SOJScn2cSjIYiBJkLAADFGcPBAN2VpFGm9jw9hgSEbznJapN U594np5CkfQkhJX0aooMhD+VjyavwK0cnIvT4DZKhNK7wZE7kOTMMqE7+s1ETsKtpGmqQWML CScaWEqRSkRXVeYAln4IrS0zcLN8u6VQOulafbCJ7yF7/FdH/uF3pOg1IJ68i3Eb5/eeCM7U rtihQwZBSoxEt+8+X1HUyENkiPRc8OX7Ayx/CF6tIH38fjmXh7u+ZraC7ZWNoYn8BS3jKGfc u+I0X8jeHACj85KnCCOkuBFjztww2l0ejKgEKoNr3vIRaPUwepMCgIDLjh0LI1O5r492Q9EP YjajMn03/h2lK1QaR8NWFr/l8WufcFPLXu6MQaNJU+Nco+aLCfI68z7J6q3D6BTxrYx1VX4q XOAHknvMy7W3SHuTAyqOPpQgTuzJxFfvoz7cw0rBGSlRdmgdx7xY7oVxXUmhLYzgH3NL2sVN zNxJlhMorOn5iRdmvxjGmZF4yktPayeli2e9eWdNocOvK4hHHFvj+wDqidfqfMd/GReSfdyg ieXstN+vwTsjLyU0jQ+GBMG7z9PgMjjVaRKIqjY8JQGWG2C8R5L5G7WFhdY/rON5fXit+ZZw Z7Sl/CqQN+n29/Yu8IXQdXXeprvDQ== IronPort-Data: A9a23:8wPF16nijQ+0OZNXjfiNUGTo5gyaIERdPkR7XQ2eYbSJt1+Wr1Gzt xIWCG2Eb6vcYmL8L9x+bNnj8kMOu8XRn4Q2HAM+rC09RltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTres1hlZHWeIcg944f5Ys7N/09YAbeSRWVvX4 4up+pSHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /105J+db0QJfZTDs74nXiF7SXFGAoJvreqvzXiX6aR/zmXdfnrqzrNvFwc7McsR8aBqAgmi9 9RBcmFLNEnewbvphujjEIGAhex7RCXvFKIWvDdb0TjDDt4rTdbKSOPX5re02R9g3ZoeQKmCD yYfQSFCSjHBTD0QBlRUE7kgnsituHDwWTIN/Tp5ooJsvzaPlVUruFT3C/Lec9mOAMFUhVqwv XPD522/AxcANdXZxyDtz563rvTCnCX2HoMJUrC0sPdhxkCQroAONPEIfWLqotSfyW79Yt10c XYZwgl0/ZAN22X+G7ERQCaEiHKDuxcdXf9ZHOs79ByBx8LoD+CxWzFsotlpNI1OiSMmedA5/ gLUzo+5VVSDpJXQEivDre78QSaaZEAowXk+iTgsYiFtDzPLjY0yiBjSVNljeEJepvDVSVkcL xixpy8ig7wVgaY2O0iT5l3GhT/qp4OPQwJz7w6RQ2HNAuJFiGyNOdPABbvztKgowGOlor+p4 CZsdy+2sLxmMH11vHbRKNjh5Znwjxp/DBXSgER0A74q/Cm39niocOh4uW8iehYybZ5cIWG0O Sc/XD+9ArcNZxNGiocpOOqM5zgClvKwfTgYfq+OM4ESPsAZmPGvpXg3NRb4M5/RfLgEyv1hZ c7CK65A/F4YAKJq0HKrQeYD3KUwxzwvjWXeWY/81RfP7FZtTCD9dFvxC3PXNrpRxPrd+G39q o8PX+PXlUk3eLCgM0H/rN5CRXhXfCNTLc2n+6R/KLXZSiI4Qz5JNhMk6eh8E2CTt/8JzbigE 7DUchMw9WcTclWccFTUMC8/MO2zNXu9xFpiVRER0Z+T8yBLSe6SAG03LvPbpJErq75uy+BaV f4Ad5nSC/hDUGSV9jhbZJK7sY87LEanggeHPiyEZjkjfsc4GVKRqo66JlPipHsUEy66lcoiu Ln8hAnVdpwOGlZ5B8HMZfPzkl685CBPmO97U0bSDMNUfUHgrNpjJyDr3q06L4cFIlPexWLCh QqRBB4Zo8jLopM0qYGX2/jU/tnxS+YnRxhUBWjW67qyJBL2xGv7zN8SSvuMcBDcSHjwpPeoa 9JTwqyuK/YAhltL79dxHrs3n6Iz49zj++1Twgh+RSqZdFmqDL4mI2LA0MUJv6YL27wA4Vm6X UeG+997P7SVOZq9TgBJdFt7NryOhaMOhz3fzfUpO0GmtiV5y7yKDBdJNB6WhS0BcbZ4bNE/z eE6tJJE4gCzkEN1YM2LjyZZsWWXaHEMFaws8IwZWde5hg0uw1BEQJrdFi6vuM/RM4UdbBFyL 2/GnrfGipRd2lHGLyg5G0/L0LcPnp8Joh1LkAIPKlnhdgApXRPrMMC9MAjbTzi5Cj1c3uN1N y5qLAt4KeOH9HF1h6CvmkiyThpZCkTxFlPZkjM0eK/xFiFElVAh6EUwNaCE9wYE8AqwuxBFq aqAxj+NvSnCJanMM+hbZaKhg/HvC9V6sBDB8Cxi8wJpALFiCQfYbmSSiabkZvcp7Q7dRKEKm AWywNtNVA== IronPort-HdrOrdr: A9a23:KQQh0a+Sh6Ic4S19+cBuk+DSI+orL9Y04lQ7vn2ZKCYlEfBw+P rCoB1273PJYVUqOE3I++rgBEDoexq1nvRICOIqU4tKMjOIhEKYaK1u7Yzo3ybvGmnF/OZb0q tsGpIOauHNMQ== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,174,1643670000"; d="scan'208";a="8328574" X-MGA-submission: =?us-ascii?q?MDEbqaOPPlvJmLjEutP3SEtBr2Oc3X5YicQX77?= =?us-ascii?q?I0kmQi/DaxUdlzo6Xkg7Cd47b68V8vS6Ou9sFHvIP78lgkpQZxsl9jtO?= =?us-ascii?q?BYNf9lDuLNoJvMiBdPEZyK4TU5ukTt9JEf8dtCnrzTcMYCAY3p3ia6XM?= =?us-ascii?q?8i5L73zqz4aH2XnEZvez2KCw=3D=3D?= Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Mar 2022 20:27:44 +0100 Received: from beeknow.inf.ed.ac.uk (beeknow.inf.ed.ac.uk [129.215.202.44]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 22BJRhoW030631 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 11 Mar 2022 19:27:43 GMT Received: from Locke ([31.124.114.99]) (authenticated bits=0) by beeknow.inf.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 22BJRgXd016368 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 11 Mar 2022 19:27:42 GMT Date: Fri, 11 Mar 2022 19:27:37 +0000 (GMT Standard Time) From: Ian Stark To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII X-Edinburgh-Scanned: at seine.is.ed.ac.uk Subject: [Caml-list] Morello: Edinburgh research post on capability-based security technologies Reply-To: Ian Stark X-Loop: caml-list@inria.fr X-Sequence: 18723 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: Morello: Digital Security by Design Technology Platform Prototype Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh https://www.jobs.ac.uk/job/CNK977/research-associate Applications close 11 April 2022 at 1600 UTC We are recruiting a postdoctoral researcher to join the Innovate UK project "Digital Security by Design: Technology Platform Prototype". This is a research collaboration between Arm and the Universities of Cambridge and Edinburgh to develop the Morello platform, applying a novel capability-based architecture to a mainstream high-performance processor and software stack. https://blogs.ed.ac.uk/morello Further information below: for full details and how to apply please visit https://www.jobs.ac.uk/job/CNK977/research-associate If you would like to discuss informally then please contact Ian.Stark@ed.ac.uk, the project lead for Edinburgh. The University of Edinburgh only takes formal references after appointment: if you have individual letters of support then please submit these as part of your initial application. This position is not restricted to UK or EU citizens and the university will assist with any visas and work permits necessary. Follow these links for more about the wider project. Morello at Edinburgh: https://blogs.ed.ac.uk/morello CHERI Architecture: https://www.cheri-cpu.org Morello at Arm: https://www.arm.com/architecture/cpu/morello Morello Software Stack: https://www.morello-project.org Sail Language: https://www.cl.cam.ac.uk/~pes20/sail/ Video presentation of CHERI security architecture and Morello platform https://youtu.be/dxDDZ5aNTNs Digital Security by Design: https://dsbd.tech The only essential requirement for these positions is a PhD or equivalent research experience in computer science, informatics, mathematics, or a related discipline. This includes being close to PhD completion and submission. We are particularly interested to hear from candidates with any of the following. There is no requirement to demonstrate all of these together: this project crosses domains and the precise tasks followed will depend on each researcher's individual skills, experience, and interests. - Experience with machine-assisted reasoning tools and automated provers: such as Coq, Isabelle, HOL4; or SAT/SMT solvers. - Knowledge of instruction-set architectures; specifically Arm A64, but RISC-V also relevant. - Experience with compiler optimization correctness or secure compilation. - Experience in formal modelling of security properties. - Knowledge of programming-language semantics and type systems. - Knowledge of program logics, program analysis, and specification. -- Ian Stark Laboratory for Foundations of Computer Science http://homepages.ed.ac.uk/stark School of Informatics, University of Edinburgh ------------------------------------------------------------------------------ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.