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 F184C5D5 for ; Fri, 8 Jan 2021 13:51:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,331,1602540000"; d="scan'208,217";a="486111485" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jan 2021 14:51:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 47E2AE00A6; Fri, 8 Jan 2021 14:51:06 +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 DFCD0E00A6 for ; Fri, 8 Jan 2021 14:51:03 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f173.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AKm1QcBTGzr3f7n6M3IqLJpjeLdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYx2N2/xhgRfzUJnB7Loc0qyK6v+mAzBcqs3Z+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLqMUbjoRvJqk/xxfVv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqBNxw4HWYI+bOvlwcL7Dc9wGXmdORNpdWjZbD4+g?= =?us-ascii?q?c4cCDewMNvtYoYnnoFsOqAOzCwi2C+z00D9Ih2H53akn2Oo8DQ7G3BIvH8gQv3?= =?us-ascii?q?TOsd74M6gSXvquw6nSzDXMcfdW1S3m6IfUchAuv+uMUqxqccfKxkkvEhnKjlSU?= =?us-ascii?q?qYD/IzyV0eENvnGd4uF9Wu2hl3QppBttojiz2MgskI/Ji5oWx13Z6Ch03ok7K9?= =?us-ascii?q?2kREB7btCqHpteuiKbOoZ1Xs4sTXxktTsmx7Eat5O3YjUHxIolyhPDaPGLb5WE?= =?us-ascii?q?7BznWeqNJzpzmXxreLW6hxmo8EigzPXxWdWu31ZPtCZKiMXDumoQ1xzQ7MWMV/?= =?us-ascii?q?hz/l+51DqRywze7vtILEM0mKbBNZIt3KA8moAOvUnBECL7nlj9grWMeUU+4Oeo?= =?us-ascii?q?7vzqYrX4qZ+YMI95kgT+Pb4vmsy7GOg4KwsOU3WC9eSyybHu/0P0TK9Fjv0xla?= =?us-ascii?q?nZv5TaKtoBqqGlBA9V154v6xe5Dzi4zNQVhWcLIE5BdR6djIXkO0vCLO7mAfuh?= =?us-ascii?q?mVigjTVmyv7eMr3kGJrNL3zDkLn7fbZ67k5R0AUzwspE6JJOC7EOPvbzVlXqtN?= =?us-ascii?q?PEDh82LRa0zPj9CNhm2YMeXHiAAq6dMK/IrVCI4ecvL/GWZIAJoDb9N+Ql5/n2?= =?us-ascii?q?gHAlg1AdeK2p0YITaHC5BfRmP16UYWHsg9cECWcFpBAyTO3siF2YUD5cfWy+X6?= =?us-ascii?q?wm5mJzNIXzNYrfS5rru7Ge0SO/NpZSIGtPDxaFGjH1dNaqQfAJPQ2bKNVgnzhM?= =?us-ascii?q?brOhRpUsz1n6uwbw0btqKqzP8S0Vr5/5/Ndw7uzX0xo18GonXIymz2iRQjQszS?= =?us-ascii?q?szTDgs0fUn+B0v+hK4yaF9xsdgO5lW7vJNXB09MMeFneN/AtH2HAnGe4XQEQv0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoObkJ6QYvwixnC22+zAOZQmeXUX9o79aXT23W3LMF4mS6fiP?= =?us-ascii?q?sRymI+S84KDlWIw7Zl/lGKVYHMmkSd0a2tcPZE0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6AgDaYvhff63eVdFiDoUgS1czLoQ/g?= =?us-ascii?q?R6QIYsmkRQLAQMBDR8QBAEBgVWCdQKBcAIdBwEENBMCEAEBBQEBAQIBAwMEARM?= =?us-ascii?q?BAQ0LCwgnhWoMgjgigxoBAQMBEhEdARsPDgEDDAYFBAEGNwICIgERAQUBHBkig?= =?us-ascii?q?wWCVAEDDiAPoRSBBD2LNIEVBQEXgwUGgTQBgxkKGSgNYgOBNgIHEoEmhV+HTCY?= =?us-ascii?q?PgU0/gUeCNS4+gl0Bgi2CS4I+IgSDeoIquCcsB4J5gRcFC5o4IqJej2SmBRAjg?= =?us-ascii?q?UqBejMaI1AxgjgJRxkNjliDOod6gh5BQzACNQIGAQkBAQMJjE0BAQ?= X-IPAS-Result: =?us-ascii?q?A0A6AgDaYvhff63eVdFiDoUgS1czLoQ/gR6QIYsmkRQLAQM?= =?us-ascii?q?BDR8QBAEBgVWCdQKBcAIdBwEENBMCEAEBBQEBAQIBAwMEARMBAQ0LCwgnhWoMg?= =?us-ascii?q?jgigxoBAQMBEhEdARsPDgEDDAYFBAEGNwICIgERAQUBHBkigwWCVAEDDiAPoRS?= =?us-ascii?q?BBD2LNIEVBQEXgwUGgTQBgxkKGSgNYgOBNgIHEoEmhV+HTCYPgU0/gUeCNS4+g?= =?us-ascii?q?l0Bgi2CS4I+IgSDeoIquCcsB4J5gRcFC5o4IqJej2SmBRAjgUqBejMaI1Axgjg?= =?us-ascii?q?JRxkNjliDOod6gh5BQzACNQIGAQkBAQMJjE0BAQ?= X-IronPort-AV: E=Sophos;i="5.79,331,1602540000"; d="scan'208,217";a="369432588" X-MGA-submission: =?us-ascii?q?MDGK7ISuS2vt1OAb1ckrzZYAXNCHDeR4Kynbr/?= =?us-ascii?q?ASVs2Q/dBOaHNXA0zX4DnZ3bCPzPC1fScu6RjKI3Xpy8LaHNDUDSi+5y?= =?us-ascii?q?6jF88XOp4iBYsERkBVkx15zJZS4CmFd0Xw052+EU3ucZu3HxwP1SNkxh?= =?us-ascii?q?1zHF2ETFh9Asj6Qy5mUzKMZA=3D=3D?= Received: from mail-qk1-f173.google.com ([209.85.222.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Jan 2021 14:51:02 +0100 Received: by mail-qk1-f173.google.com with SMTP id 19so8407192qkm.8 for ; Fri, 08 Jan 2021 05:51:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=7J+GIl/LXhHTb9jP03PY02c7ALc0bxM0v/Em/7wAhhc=; b=crsB/Dg5BTzTuWh3BFlED0mheQQ1WiVzNSh2+ro417RugzJ4HaF8gEtl+aAfP2vTYU e3a2wko8xOy0uZzjlp8XppK+PUCc5k1TnAalLOZf0FuFYoxLrObkMqqcBP93HLIyRF8Z ouv7gnkc0cHw6P/9uDlDzXT7J9qobe8WFZPIIDW2SojD/nAqn167Ea8VZiwqQ5EEGA10 otFUN98f2EGCdYWbtv+N1Xn7uND638h3Dqzo5Os/EtgkTKpSzMEx4MC8IynhNcTe/e4Z mJQovME3gkbyTPVmIU1jXW7CZph6TapKlazbfGnl92gCQXkfU6OJ03X/YdUw0ogz+HiY CW9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=7J+GIl/LXhHTb9jP03PY02c7ALc0bxM0v/Em/7wAhhc=; b=sflOGc8wNauDSBvTIUZL3BgodCYZ59jkfCFv771hgJfioe7UTdevgiITIfwS+jSahq MmbxoUAVt9A5U5D1KuUTAzwieGRASIx35MOPXe+QiyM4vweWzvDC1TwgBdoG9tD8MZlb etjGkwU/mZNXd6V5ensltMrF2CGyaKIvOsObHop/d7aYQi1Wj+2/4GN4JXee5KdFgrmf +Bqe4NAURfGC5AOJ170+eyUVr44PsSbBP4/lPO6mUoC3RL36cSG073uDsPVTiV0GmvfK wS3qG/IBOz9IathTg59j6Sag/2yRwHeMrgNmikTgpSYgL/mLrX8XbwOGQFCwlUgJjlQE eeLw== X-Gm-Message-State: AOAM531GEk1CwIZESEx0bLeeMazdA4JF6nLDeCtp0zjsDstCYnqyYrCH P2U1a6itwooSr29L4VGW2NMpZL3EmdTVJ9QZNzc= X-Google-Smtp-Source: ABdhPJyo3zTNYISSFe1TLDvt1TARDJI/TN5+zddX4p9d8+mQFOB4pPZNwTLBQBkWFfTUjQAYdy1u2KgMVo50BuVWMcc= X-Received: by 2002:a37:4854:: with SMTP id v81mr3913169qka.20.1610113861052; Fri, 08 Jan 2021 05:51:01 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Fri, 8 Jan 2021 14:50:28 +0100 Message-ID: To: Peter.Sewell@cl.cam.ac.uk Cc: caml users Content-Type: multipart/alternative; boundary="000000000000bc6cb605b863d8db" Subject: Re: [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 18349 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: --000000000000bc6cb605b863d8db Content-Type: text/plain; charset="UTF-8" To support this announcement: CHERI is one of the most exciting projects out there in terms of hardware-software codesign: a radical approach to security (capabilities) with a strong focus on making it practical in the real world. On Fri, Jan 8, 2021 at 2:13 PM Peter Sewell wrote: > > We are looking for postdoctoral researchers and postdoctoral or > postgraduate research engineers to help develop semantics and verification > to improve the foundations and security of mainstream computer systems, for > CHERI and Arm system software verification, at the University of > Cambridge. OCaml expertise to help develop verification tools will be > especially welcome. Closing date 13 January 2021 - see the advert > . > > Peter > > --000000000000bc6cb605b863d8db Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
To support this announcement: CHERI is one of the most exc= iting projects out there in terms of hardware-software codesign: a radical = approach to security (capabilities) with a strong focus on making it practi= cal in the real world.

On Fri, Jan 8, 2021 at 2:13 PM Peter Sewell <<= a href=3D"mailto:Peter.Sewell@cl.cam.ac.uk">Peter.Sewell@cl.cam.ac.uk&g= t; wrote:

We are looking for postdoctoral researchers = and postdoctoral or postgraduate research engineers to help develop semantics and verification to improve the foundations and security of mainstream computer systems, for CHERI and Arm system software verification, at the University of Cambri= dge.=C2=A0 OCaml expertise to help develop verification tools will be espec= ially welcome. Closing date 13 January 2021 - see the advert.
Peter

--000000000000bc6cb605b863d8db--