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 C77145D5 for ; Fri, 8 Jan 2021 13:13:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,331,1602540000"; d="scan'208,217";a="486102831" 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:13:07 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9FFA9E0129; Fri, 8 Jan 2021 14:13:07 +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 F2D79E00C7 for ; Fri, 8 Jan 2021 14:13:00 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Peter.Sewell@cl.cam.ac.uk; spf=Pass smtp.mailfrom=p.m.sewell@googlemail.com; spf=None smtp.helo=postmaster@mail-lf1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AOBrb8hwsdp7yRWLXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+IfIJqq85mqBkHD//Il1AaPAdyEragY16GN6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhjexe61+IRq5oAneuMQanZZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8N/lqJVoByvqR9izYDKfI6YL+Bxcr/HcN4AWWZNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5CoYbju1sBswG+DhSxCuzxxD5HmHv23akn2OkmCw/JwhAgEMwUsH?= =?us-ascii?q?jOsdv6KqkTXv6xzKnM1jjMc/dW1S3h54fSdxAtu+uDUq5qfcrMykkiDgXIhUif?= =?us-ascii?q?poL5JT2azPgNs3SF4Op6U+Kik20qpQFsrjWt2MsiipXEiI0axF7L8Sh3zoY4KM?= =?us-ascii?q?O8RUNlb9OpDZteuiGbOoZ0TM0uXWFltig6xLAFp5O3YCgExpshyhXCZfKHdI2I?= =?us-ascii?q?7QjiVOaXOTp3mGhqeLelixmo7Ues0PD8Vsqy3V1XrSRFisHBum4R2xHX8MSKSf?= =?us-ascii?q?tw8l281TuO1Q3f8O5JLV4ymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo?= =?us-ascii?q?6uDnbqzipp+SKoN4kw/+P6swlsClDuQ4NQ8OX2ef+euizrHs4Ur5QLBSgv03lK?= =?us-ascii?q?nWrozaKNwFqqKlBwJZyIUu5halAzu70dkVn2MLIV1bdB6fiojmIVDOIPT2Dfel?= =?us-ascii?q?hFSslS9mx+jcMr3kGJnNNWbMkbn/crZ5705R0wUzzddY55JbDrEOPvfzVVXwtN?= =?us-ascii?q?zcFBM2Lwu0w+P/BNVnyoweQX6PArOeMK7KrVCH/OcvI+2VaI8RuTb9MOQl6uX1?= =?us-ascii?q?jX45nF8dZbOm0YEWaHC+BPRmIl+WbWDigtcbQi82uV81RenuzVmDSiJ7ZnCoXq?= =?us-ascii?q?t66CtoMo++CZb/QdWVjaCMxmGAE4JbYmRuAVTKGn7tMYyPHeoPOwyIJco0qjEY?= =?us-ascii?q?WKLpcII+2BWq/FvCxqZqNKzv9zIVsZbL39wz7OTW0xg5syF3WZfOm1qRRn15yz?= =?us-ascii?q?tbDwQ927py9BQklgWzlJNgivkdLuR9outTW15mZ5XYiedzDpb7UUTcfYXREQv0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoObkJ6QYjwixnC22+uDeZQmeDRQpMz9a3Y0j76IMMvky+Xhp?= =?us-ascii?q?lktEEvR450DUPjg6d+8wbJAIuQzReWkKGlcakZ1S/JsmyEyDjXsQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxAgBhWfhffyqnVdFihS5LVzMuhD+BH?= =?us-ascii?q?qQ7iB8JAQMBDR8QBAEBgVWEZwIdBwEENBMCEAEBBQEBAQIBAwMEARMBAQ0LCwg?= =?us-ascii?q?nhWoMgjgigxAiETAYLAEHNwIkEgEFAVeDBYMGD58Qgh2BBD2DXYdXgTKEPwGBB?= =?us-ascii?q?oMRIRaBQhKBJo1RD4FNP4FHhX4Bgi2CS4I+IgSDeoIqhiOyBCwHgnmBHAuaOCK?= =?us-ascii?q?iXo9kpgUQI4FKgXozGjRwBoEngQwIRxkNjliLNIJeRDI1AgYBCQEBAwmMTQEB?= X-IPAS-Result: =?us-ascii?q?A0AxAgBhWfhffyqnVdFihS5LVzMuhD+BHqQ7iB8JAQMBDR8?= =?us-ascii?q?QBAEBgVWEZwIdBwEENBMCEAEBBQEBAQIBAwMEARMBAQ0LCwgnhWoMgjgigxAiE?= =?us-ascii?q?TAYLAEHNwIkEgEFAVeDBYMGD58Qgh2BBD2DXYdXgTKEPwGBBoMRIRaBQhKBJo1?= =?us-ascii?q?RD4FNP4FHhX4Bgi2CS4I+IgSDeoIqhiOyBCwHgnmBHAuaOCKiXo9kpgUQI4FKg?= =?us-ascii?q?XozGjRwBoEngQwIRxkNjliLNIJeRDI1AgYBCQEBAwmMTQEB?= X-IronPort-AV: E=Sophos;i="5.79,331,1602540000"; d="scan'208,217";a="486102800" X-MGA-submission: =?us-ascii?q?MDFxPIqN2upeLgrmPUjFuBznlgtIv71OISzlkl?= =?us-ascii?q?7onov7O3C4hylINVSnfkJxVyy8ufDQ/L8qcejWdWYLF16kNdZfaBtBxP?= =?us-ascii?q?Y1Ql0BDVZkeYthA5bCPP39edBto9fKL7t6ssmm9vagYOKhJ0ayp1Srip?= =?us-ascii?q?QiL7j6jA3J6zaJdkl6Xfrb+A=3D=3D?= Received: from mail-lf1-f42.google.com ([209.85.167.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Jan 2021 14:13:00 +0100 Received: by mail-lf1-f42.google.com with SMTP id u25so2031285lfc.2 for ; Fri, 08 Jan 2021 05:13:00 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=P62UkWhGex2ZYIUZBTmdFR/OP5c4JWozzOABwlqBpak=; b=do8+z4dlRPCkQoPUF8EXytvXEvCR95UFz1gMWCBwqZSLuxMiMBnRH66SeZFUaeZmxQ uf5liWQQFEnYzIFkXUvxkjCy8V9BEzpH4DhU3wPa5gek7oc9P5j+BjaF4pamaxW62ge4 8UkolZnsoh6UQbxzrvLNUmt6lvR1lFb39olieA+FIZSfCtP6jvj6DdEDQWCVixtmNhrv uggIJv2RQiS6X5oW///jeGsToooTDZeoiMn/9VlK+Ab9prPramMAMz+Nh3iTf5gVWEzL /96szykuPnecXa/U580PS3+B9a1LUkayxgturB8MkL0ntNGsl1qq6GazUA1sm4QulwKC Jhuw== X-Gm-Message-State: AOAM533bWxdLuoxCgWlfMLaM5RgeDWff0kwv9Puuj6cEM5Ism7go5iix 7WlntPlwCy6LL5KJOq0PswYa3oqzNW8QCqThWsSvN9ZuHlg= X-Google-Smtp-Source: ABdhPJyzpLJY36zSuDRpoPvKVurbcQInxyMtjdd18t+dpZ51gQSv3hyRiMRU2gUn/7Klj8VcwZZsHXPPKdYGFFmldsQ= X-Received: by 2002:a2e:920b:: with SMTP id k11mr1423101ljg.313.1610111579558; Fri, 08 Jan 2021 05:12:59 -0800 (PST) MIME-Version: 1.0 Reply-To: Peter.Sewell@cl.cam.ac.uk From: Peter Sewell Date: Fri, 8 Jan 2021 13:12:48 +0000 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000bf969805b86350d1" Subject: [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification X-Loop: caml-list@inria.fr X-Sequence: 18348 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: --000000000000bf969805b86350d1 Content-Type: text/plain; charset="UTF-8" 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 --000000000000bf969805b86350d1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

We are looking for postdoctoral resear= chers 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=

--000000000000bf969805b86350d1--