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.32 via Mailbox Transport; Mon, 20 Nov 2023 08:30:52 +0000 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.32; Mon, 20 Nov 2023 08:30:52 +0000 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.32 via Frontend Transport; Mon, 20 Nov 2023 08:30:52 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3AK8UriW017344 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 20 Nov 2023 08:30:53 GMT 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 3AK8UkYf017328 for ; Mon, 20 Nov 2023 08:30:46 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Nov 2023 09:25:38 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0E14EE0CD4; Mon, 20 Nov 2023 09:25:38 +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 EE81BE0AF1 for ; Mon, 20 Nov 2023 09:25:30 +0100 (CET) Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 Nov 2023 09:06:40 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 3AK86Wlx060098; Mon, 20 Nov 2023 09:06:32 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 682B8207440; Mon, 20 Nov 2023 09:06:32 +0100 (CET) Received: from muguet1-smtp-out.intra.cea.fr (muguet1-smtp-out.intra.cea.fr [132.166.192.12]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 59E6D20731B; Mon, 20 Nov 2023 09:06:32 +0100 (CET) Received: from I-EXCH-A2.intra.cea.fr (i-exch-a2.intra.cea.fr [132.166.88.226]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 3AK86W2o042637 (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 20 Nov 2023 09:06:32 +0100 Received: from I-EXCH-A3.intra.cea.fr (132.166.88.227) by I-EXCH-A2.intra.cea.fr (132.166.88.226) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.27; Mon, 20 Nov 2023 09:06:31 +0100 Received: from I-EXCH-A3.intra.cea.fr ([132.166.88.227]) by I-EXCH-A3.intra.cea.fr ([132.166.88.227]) with mapi id 15.01.2507.027; Mon, 20 Nov 2023 09:06:31 +0100 From: BLANCHARD Allan To: "gdr.gpl@imag.fr" , "caml-list@inria.fr" , "frama-c-discuss@groupes.renater.fr" Subject: [Caml-list] Permanent computer scientist position in the Frama-C team at CEA List Thread-Topic: Permanent computer scientist position in the Frama-C team at CEA List Thread-Index: AQHaGWleWTpaMS4n6k+Nuq54DZ5lYw== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 20 Nov 2023 08:06:31 +0000 Message-ID: <217b2f86a3a8cc276658bc805170b12cbd1399db.camel@cea.fr> References: <536e405317a2c7bdcc7095432c201cd69286b98c.camel@cea.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: BLANCHARD Allan Accept-Language: en-US Content-Language: en-US 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: 71ea46f6-a733-4bcb-157b-08dbe9a30201 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-originating-ip: [132.166.88.54] 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="6.04,213,1695679200"; d="scan'208,217";a="137273110" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <830378A57CC9A941A8B59E8ADDDBB9E8@cea.fr> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdj5EZWFyIGxp c3QsPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5UaGUgU29mdHdhcmUgU2FmZXR5IGFu ZCBTZWN1cml0eSBMYWJvcmF0b3J5IChMU0wpIG9mIHRoZSBDRUEgTGlzdCBpcyBvcGVuaW5nIGEg Jm5ic3A7bmV3IHBlcm1hbmVudCBjb21wdXRlciBzY2llbnRpc3QgcG9zaXRpb24gaW4gdGhlIEZy YW1hLUMgdGVhbS48L2Rpdj4NCjxkaXY+DQo8ZGl2PkZyYW1hLUMgKDxhIGhyZWY9Imh0dHBzOi8v d3d3LmZyYW1hLWMuY29tLyI+aHR0cHM6Ly93d3cuZnJhbWEtYy5jb20vPC9hPikgaXMgYW4gb3Bl bi1zb3VyY2Ugc291bmQgc3RhdGljIGFuZCBkeW5hbWljIGFuYWx5c2lzIHBsYXRmb3JtIHRhcmdl dGluZyBDL0MmIzQzOyYjNDM7IHNvdXJjZSBjb2RlLjwvZGl2Pg0KPGRpdj5JZiB5b3UgYXJlIGlu dGVyZXN0ZWQgaW4gam9pbmluZyB0aGUgZGV2ZWxvcG1lbnQgdGVhbSBvZiBFdmEsIHRoZSBGcmFt YS1DIHBsdWdpbiBiYXNlZCBvbiBhYnN0cmFjdCBpbnRlcnByZXRhdGlvbiwgcGxlYXNlIGNvbnNp ZGVyIGFwcGx5aW5nLjwvZGl2Pg0KPC9kaXY+DQo8ZGl2PkEgYmFja2dyb3VuZCBpbiBhYnN0cmFj dCBpbnRlcnByZXRhdGlvbiBhbmQgT0NhbWwgZGV2ZWxvcG1lbnQgaXMgZXhwZWN0ZWQuPC9kaXY+ DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5Nb3JlIGRldGFpbHMgY2FuIGJlIGZvdW5kIGF0IHRo aXMgbGluazombmJzcDs8YSBocmVmPSJodHRwczovL3d3dy5mcmFtYS1jLmNvbS9qb2JzLzIwMjMt MTAtMjYtcGVybWFuZW50LWNvbXB1dGVyLXNjaWVudGlzdC1hYnN0cmFjdC1pbnRlcnByZXRhdGlv bi5odG1sIj5odHRwczovL3d3dy5mcmFtYS1jLmNvbS9qb2JzLzIwMjMtMTAtMjYtcGVybWFuZW50 LWNvbXB1dGVyLXNjaWVudGlzdC1hYnN0cmFjdC1pbnRlcnByZXRhdGlvbi5odG1sPC9hPjwvZGl2 Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+RmVlbCBmcmVlIHRvIGZvcndhcmQgdGhpcyBhbm5v dW5jZSB0byBmcmllbmRzIG9yIG90aGVyIHJlbGV2YW50IG1haWxpbmcgbGlzdHMuPC9kaXY+DQo8 ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5CZXN0IHJlZ2FyZHMsPGJyPg0KQWxsYW4gQi48L2Rpdj4N CjxkaXY+PHNwYW4+PC9zcGFuPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PHNwYW4+ PC9zcGFuPjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K