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 34A035D5 for ; Sun, 28 Mar 2021 17:51:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,285,1610406000"; d="scan'208";a="500376169" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Mar 2021 19:51:20 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 08B38E1D3A; Sun, 28 Mar 2021 19:51:21 +0200 (CEST) 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 64273E0171; Sun, 28 Mar 2021 19:51:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ian@stark.net@mail.hover.com.cust.hostedemail.com; spf=Pass smtp.mailfrom=Ian.Stark@ed.ac.uk; spf=Pass smtp.helo=postmaster@loire.is.ed.ac.uk IronPort-PHdr: =?us-ascii?q?A9a23=3ASjFX6BTm4Eb4Jfbljz3mpQEIDtpsom2ZAWYlgqE?= =?us-ascii?q?Pu/d1aq2muq7aFwnh351FslbFUM3h5u5ejKKO6ua8AD1GuMvc+ylbKNRlbFwss?= =?us-ascii?q?Y0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV?= =?us-ascii?q?6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMssQam5ZuJ6YxxxfGv3dEZ?= =?us-ascii?q?vhazn50KFyOmBrx+t2+94N5/SRKvPIh+c9AUaHkcKk9ULdVEjcoPX0r6cPyrRX?= =?us-ascii?q?MQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi77p3SBLtl?= =?us-ascii?q?SwKOSI1/H3Rh8dtiq9QvRCvqAFlw4PMbo+bNORwcL7ec9wUXmpOUdpeWjddAo+?= =?us-ascii?q?gdYYDE/YNMPxGo4T7ulAArQG+BQ6pBO73yTFHnHn21rAn3eQ9Cw7Gxg8gFM8Jv?= =?us-ascii?q?XrXttr1Mr0eX/2pzKbS1zXDbOhb1ing54TSaB8uveuAXa9zccfIz0QkCgzKgEm?= =?us-ascii?q?Kp4P/IzOVyvoCs3Kd7+d4Se+hi2Eqph1xrzWrxsohiJXFi4wRx13E6Ch13Js4K?= =?us-ascii?q?N64RkJlbtOoDphdujyYOoZoQs0vR3xltDg5x7AFpJK2fS4Hw4kpyR7YbvyIaYm?= =?us-ascii?q?I4hT7WeaTJjd3n2lldKiliBmu60Sg1+78WtGx0FZNtCpKjN3MtnQK1xDK8siHU?= =?us-ascii?q?Px9/kW/1jmTywDf8OZEIVo7labDN5EhwqA/loASsUjaAiD2gFj2gLWRdkU+9ei?= =?us-ascii?q?k8/joba/jppOGLYB7lhvyMrktmsCnG+s4KA0OU3KH9uS70b3v5VP5QLRPjvIol?= =?us-ascii?q?anVqozVJcMepqKhHQBaz5wv5AyjADu8zdQYnn8KJ09GdhKfl4XlJk/CLfTiAfu?= =?us-ascii?q?hnlihkC1ny+3HM7H7H5nBMmDPnbn8cbpn9kJQ1gU+wcpC655JC7wNOvb+VlH3u?= =?us-ascii?q?dfFFBE2KRa0zPziCNhl1oMRR2aPAqiBPaPWtl+I5/gvLPeWaI8UozbxMeYq6OP?= =?us-ascii?q?0gXAjhVARZ7Sp3ZgPZHC5GPRpPVmZbGLxjtsfFWoGpBQyQPHqhVGYTDJeZmy+U?= =?us-ascii?q?78g6j0jDYKpF4bDRoSjgLyb2ye7G4VbaGNcBVCKC3vmapmEVO0WaCKROcJujCE?= =?us-ascii?q?LWaK7RIA9zx2uqQz6x6J9LuXI4i0YqY7j1N9t6uLPkhEy7CV4ANiZ02GQVG55h?= =?us-ascii?q?XgIRj8z3KBnu0Nx0FaD0a5ig/xZD9Nf/f1JUh0iP57G0+N6E8zyWh7GftqRVFm?= =?us-ascii?q?pWNCmATUoQtI1wt8OeFp9Fs65jhHD2iqqG6Uam6aKBJwy6KLc3mL+K9xzy3bch?= =?us-ascii?q?+EdiAwiTMBUcGygmqNl+hPPL4/PnQOUm+CjfuIB32qF9XyKx2eKuEwdTRV9S77?= =?us-ascii?q?tVnRZbULT693yoF7BC/eyGKwqKU5Iz8iFN61BZ/XtjE5aX7H4Nd3FJX+plmG2Q?= =?us-ascii?q?xuE2/fEd5LuYE0Z3T7BEw4PngYPu3mCPE43DWG8oCaWFz1lDluqaFLm/PNWs3K?= =?us-ascii?q?wVUZyxgrMck4ln6G08QUcwOCcRvQJz5ofuSw6onN9FxCg3JaeAMGO4gN9YKhab?= =?us-ascii?q?d4w+39C3GPd8g17MIetJOZpnRgDdQUypErnzRF+DIkGncVu5Hgt1U95Lb+S+FJ?= =?us-ascii?q?HbTKRm57qfvXXLW23/RahbIbS20rCy5CN/boV4/k2rE/ssUevG1Zmu35u1t0Q1?= =?us-ascii?q?3qH+r3LChATWNT/SBUZ7R9/8pDTZGEG+4rO1jU4EKCy9ATe0sgqLOYpjB+rOcp?= =?us-ascii?q?cZvDXXDTuGtEXUpD9YNchnEKkO0psFNAXz7Y9OoadT9XD3aeqOOh6mzfOpWlLp?= =?us-ascii?q?ol2lF+PpXMUYt6N5I4MxrSj5iXCVzr4iz+Jtsf2g40CZCpUE2b5wCOiGY0DP8V?= =?us-ascii?q?aTcMwEW6rZvaP6JBmnZeFc3tR9VrlB1QY1dXvch2XKVfgxhEW1UMMvXGrlC6xz?= =?us-ascii?q?jgymDYs/PL34Q=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AfGh3CaH8S/JqfZIWpLqEGceALOonbusQ8zAX?= =?us-ascii?q?/mp2TgFYddHdqtC2kJ0gpHrJoRsYRX1Io729EYaaR3e0z/JIyK0wGZvnYwX8om?= =?us-ascii?q?uvK+hZnOnf6hntATf3+OIY9YoISclDIeb9B1R7ksr2iTPQe71L/PC8/Kekify2?= =?us-ascii?q?9QYPcShRd6pi4w1lYzz0LmRKQmB9aqYRKICR/Y5uqTamZB0sDviTNz0oUujFrM?= =?us-ascii?q?HRmpOjWxQPABkq5WC1/FeV1II=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CGBQCWwWBghwoQ14FaDggHAQEBAQkBE?= =?us-ascii?q?gEFBQFAgVACgwoVWDgxlgWQSowXAgkBAwELAQEqCAIEAQGBW4R3Ah4GAQQ1BQ0?= =?us-ascii?q?CEQEBBQEBAQIBAwMEARMBAQEBDQsJCBsOhWgNgjgihCkCGTcXBXANFRKCcAGDB?= =?us-ascii?q?wQLrF+BNIQ/AYQdIhaBRIE5iViDcjaBVUKBEQEzgX2BKoJVCwGHVQSCEl8tPyM?= =?us-ascii?q?BUDVKAVuRARKpMSwHgwmBIguILIJJkGIQgziBPYkwlhuVB4lPghGGPoF/jmwCB?= =?us-ascii?q?AIEBQIVAYFsgXtNNIMoCQo9GQ2OOINWhRSCZoIeBT1BMQI2AgYKAQEDCVYmEwu?= =?us-ascii?q?IBgEB?= X-IPAS-Result: =?us-ascii?q?A0CGBQCWwWBghwoQ14FaDggHAQEBAQkBEgEFBQFAgVACgwo?= =?us-ascii?q?VWDgxlgWQSowXAgkBAwELAQEqCAIEAQGBW4R3Ah4GAQQ1BQ0CEQEBBQEBAQIBA?= =?us-ascii?q?wMEARMBAQEBDQsJCBsOhWgNgjgihCkCGTcXBXANFRKCcAGDBwQLrF+BNIQ/AYQ?= =?us-ascii?q?dIhaBRIE5iViDcjaBVUKBEQEzgX2BKoJVCwGHVQSCEl8tPyMBUDVKAVuRARKpM?= =?us-ascii?q?SwHgwmBIguILIJJkGIQgziBPYkwlhuVB4lPghGGPoF/jmwCBAIEBQIVAYFsgXt?= =?us-ascii?q?NNIMoCQo9GQ2OOINWhRSCZoIeBT1BMQI2AgYKAQEDCVYmEwuIBgEB?= X-IronPort-AV: E=Sophos;i="5.81,285,1610406000"; d="scan'208";a="377093200" X-MGA-submission: =?us-ascii?q?MDFYwlV5Xs1wd+4mBKfBVHR2FcX6iS7Wd6BTs9?= =?us-ascii?q?L1I8pULZBmpA7lDjMSETO+Qxfyu9dlNQGZMSw01IGisJ1U2cmBjma2E3?= =?us-ascii?q?JtljJM4THS0UDBvSTxeYJCydwLT72exG5t0ez6C5oEQ/hSDAMmFoR8XL?= =?us-ascii?q?Upwu78FhrWX4aK/cfl1841cw=3D=3D?= Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2021 19:51:15 +0200 Received: from beeknow.inf.ed.ac.uk (beeknow.inf.ed.ac.uk [129.215.202.44]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 12SHpCla010566 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sun, 28 Mar 2021 18:51:12 +0100 Received: from Locke ([31.124.116.92]) (authenticated bits=0) by beeknow.inf.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 12SHp5ca023729 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NO); Sun, 28 Mar 2021 18:51:10 +0100 Date: Sun, 28 Mar 2021 18:51:07 +0100 (GMT Summer Time) From: Ian Stark To: lfcs-interest@inf.ed.ac.uk, isabelle-users@cl.cam.ac.uk, types-announce@lists.seas.upenn.edu, spls@lists.cent.gla.ac.uk, sicsa-cyber@sicsa.ac.uk, sicsa-theory@sicsa.ac.uk, csf-attendees@mail-infsec.cs.uni-saarland.de, coq-club@inria.fr, hol-info@lists.sourceforge.net, caml-list@inria.fr Message-ID: User-Agent: Alpine 2.23 (WNT 453 2020-06-18) Sender: caml-list-request@inria.fr MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII X-Edinburgh-Scanned: at loire.is.ed.ac.uk Subject: [Caml-list] Morello: Edinburgh research posts on capability-based security technologies Reply-To: Ian Stark X-Loop: caml-list@inria.fr X-Sequence: 18446 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk 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/CEO974/research-associate *** Applications close 2 April 2021 at 1600 UTC *** We are recruiting two postdoctoral researchers 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. Further information below: for full details and how to apply please follow the link above. 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 take formal references after appointment: if you have individual letters of support then please submit these as part of your initial application. Follow these links for more about the wider project. Morello Platform: https://www.morello-project.org CHERI Architecture: http://www.cheri-cpu.org Sail Language: https://www.cl.cam.ac.uk/~pes20/sail/ Detailed developer information from Arm https://developer.arm.com/architectures/cpu-architecture/a-profile/morello Video presentation of CHERI security architecture and Morello platform https://vimeo.com/486754830 The only essential requirement for these positions is that 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 - Experience with functional programming in OCaml - Knowledge of instruction-set architectures; specifically Arm A64, but RISC-V also relevant - 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.