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; Mon, 12 Jun 2023 14:58:31 +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; Mon, 12 Jun 2023 14:58:31 +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; Mon, 12 Jun 2023 14:58:31 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 35CDvlWL018108 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 12 Jun 2023 14:57:47 +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 35CDvdKr018090 for ; Mon, 12 Jun 2023 14:57:39 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Jun 2023 15:57:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A485AE0CD0; Mon, 12 Jun 2023 15:57:38 +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 7B5D9E00BA for ; Mon, 12 Jun 2023 15:57:32 +0200 (CEST) Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Jun 2023 15:57:32 +0200 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 35CDvUKq055676; Mon, 12 Jun 2023 15:57:30 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id A732D203CCD; Mon, 12 Jun 2023 15:57:30 +0200 (CEST) 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 977B020395D; Mon, 12 Jun 2023 15:57:30 +0200 (CEST) Received: from I-EXCH-A4.intra.cea.fr (i-exch-a4.intra.cea.fr [132.166.88.228]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 35CDvU84000796; Mon, 12 Jun 2023 15:57:30 +0200 Received: from I-EXCH-A3.intra.cea.fr (132.166.88.227) by I-EXCH-A4.intra.cea.fr (132.166.88.228) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Mon, 12 Jun 2023 15:57:30 +0200 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.023; Mon, 12 Jun 2023 15:57:30 +0200 From: BLANCHARD Allan To: "caml-list@inria.fr" , "gdr.gpl@imag.fr" Subject: [Caml-list] [Jobs] Several open positions at CEA List in the Frama-C team Thread-Topic: [Jobs] Several open positions at CEA List in the Frama-C team Thread-Index: AQHZnTXQH3kgAlJ89U+zdqz5c8ZARA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 12 Jun 2023 14:57:30 +0100 Message-ID: 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: e8179e17-513d-424e-f815-08db6b4d1b48 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.55] 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.00,236,1681164000"; d="scan'208,217";a="58498550" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0

Dear list,

The Software Security and Reliability Lab (LSL) at CEA Paris Saclay ha= s several open positions (to start as soon  as possible) to work in th= e Frama-C team!

Frama-C (https://www.frama-c.com/) is an ope= n-source sound static and dynamic analysis platform targeting C/C++= source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used= in academia and the industry for safety and
security purposes, to prevent various vulnerabilities, and to prove functio= nal properties on small and large codebases.

Open positions:
Feel free to contact me for additional details.

Best,
Allan, for the Frama-C team