From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Thu, 20 Apr 2023 12:09:17 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Thu, 20 Apr 2023 12:09:17 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Thu, 20 Apr 2023 12:09:17 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 33KB8VZ4002921 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 20 Apr 2023 12:08:31 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 33KB8NlS002907 for ; Thu, 20 Apr 2023 12:08:24 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2023 13:08:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 05CE9E037F; Thu, 20 Apr 2023 13:08:20 +0200 (CEST) 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 14F5AE019E; Thu, 20 Apr 2023 13:08:16 +0200 (CEST) Received: from mail-qt1-f182.google.com ([209.85.160.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 Apr 2023 13:08:16 +0200 Received: by mail-qt1-f182.google.com with SMTP id d75a77b69052e-3ef42c9dcd9so2139161cf.3; Thu, 20 Apr 2023 04:08:15 -0700 (PDT) From: Andrei Popescu To: "caml-list@inria.fr" , "categories@mta.ca" , "coq-club@inria.fr" , "dl@dl.kr.org" Subject: [Caml-list] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Thread-Topic: [Caml-list] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Thread-Index: AQHZc3iM1O5m4xokcUCCgmHhZpnTUQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 20 Apr 2023 12:08:03 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Andrei Popescu Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 11aadaa6-bc99-4c3d-93ef-08db418faf14 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:ac8:5c56:0:b0:3e7:e69f:4762 with SMTP id j22-20020ac85c56000000b003e7e69f4762mr1359981qtj.20.1681988893924; Thu, 20 Apr 2023 04:08:13 -0700 (PDT) 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.99,212,1677538800"; d="scan'208";a="103967300" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: <388E644737C7C14895EDB21479C91911@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 RGVhciBjb2xsZWFndWVzLA0KDQpXZSBoYXZlIGFuIG9wZW5pbmcgZm9yIGEgMy15ZWFyIHBvc2l0 aW9uIG9mIGVpdGhlciByZXNlYXJjaCBhc3NvY2lhdGUNCm9yIHJlc2VhcmNoIGFzc2lzdGFudCBh dCB0aGUgVW5pdmVyc2l0eSBvZiBTaGVmZmllbGQsIFVLLiBJdCBpcyBvbiBhDQpwcm9qZWN0IGNh bGxlZCAiU2FmZSBhbmQgc2VjdXJlIGNvbmN1cnJlbnQgcHJvZ3JhbW1pbmcgZm9yIGFkdmFuY2Vk DQpoYXJkd2FyZSBhcmNoaXRlY3R1cmVzIiBhbmQgaW52b2x2ZXMgbW9kZWxsaW5nIGFuZCB2ZXJp ZmljYXRpb24gdXNpbmcNCmEgcHJvb2YgYXNzaXN0YW50LCBwcmVmZXJhYmx5IElzYWJlbGxlLiBQ bGVhc2Ugc2hhcmUgdGhpcyBvcHBvcnR1bml0eQ0Kd2l0aCBhbnlvbmUgeW91IHRoaW5rIG1pZ2h0 IGJlIGludGVyZXN0ZWQuIFRoZSBjbG9zaW5nIGRhdGUgZm9yDQphcHBsaWNhdGlvbnMgaXMNCg0K ICAgICAgICAgICAgICAgICAgICAgKioqIDIzcmQgTWF5IDIwMjMgKioqDQoNCk1vcmUgZGV0YWls cyBjYW4gYmUgZm91bmQgaGVyZToNCg0KaHR0cHM6Ly93d3cuam9icy5hYy51ay9qb2IvQ1laNjQ1 L3Jlc2VhcmNoLWFzc2lzdGFudC1vci1yZXNlYXJjaC1hc3NvY2lhdGUtaW4tZm9ybWFsLW1vZGVs bGluZy1hbmQtdmVyaWZpY2F0aW9uDQoNCmFuZCBoZXJlOg0KDQpodHRwczovL2pvYnMuc2hlZi5h Yy51ay9zYXAvYmMvd2ViZHlucHJvL3NhcC9ocnJjZl9hX3Bvc3RpbmdfYXBwbHk/UEFSQU09Y0c5 emRGOXBibk4wWDJkMWFXUTlOalF6TlRJeU5FVTBSRGhCTVVGRE0wVXhNREF3TURBd1FVTXhSVGc0 TnpnbVkyRnVaRjkwZVhCbFBVVllWQSUzZCUzZCZzYXAtY2xpZW50PTQwMCZzYXAtbGFuZ3VhZ2U9 RU4mc2FwLWFjY2Vzc2liaWxpdHk9WCZzYXAtZXAtdGhlbWVyb290PSUyZlNBUCUyZlBVQkxJQyUy ZkJDJTJmVVIlMmZ1b3MjDQoNCkJlc3Qgd2lzaGVzLA0KQW5kcmVpIFBvcGVzY3UNCmh0dHBzOi8v d3d3LmFuZHJlaXBvcGVzY3UudWsvDQo=