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 6E5A25D5 for ; Fri, 26 Jun 2020 09:59:35 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,283,1589234400"; d="scan'208";a="456854784" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jun 2020 11:59:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3A721E0172; Fri, 26 Jun 2020 11:59:33 +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 17324E0133 for ; Fri, 26 Jun 2020 11:59:29 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=david.buhler@cea.fr; spf=Pass smtp.mailfrom=david.buhler@cea.fr; spf=None smtp.helo=postmaster@oxalide-smtp-out.extra.cea.fr IronPort-PHdr: =?us-ascii?q?9a23=3A+ltLNxE8IRupr6OfKsadFp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpMuwAkXT6L1XgUPTWs2DsrQY0reQ6vG5EjZaqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5yIRmssAncstQajYR8Jqov1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOjgk+2/Vl8NwlrpWrgyhqRJiwIDabo+aO/Vica3SZt4aWWlMU9xNWyBdDI6x?= =?us-ascii?q?bY0CBPcBM+ZCqIn9okMDoxWkCgmyBePg1ydHi2Lqxa061+QuDxvG1xEnEt0Tqn?= =?us-ascii?q?vUstT1O7oIXe+u0anIzTHDYO1M2Trm9IfHbAoureuCXbJqaMfcz1QkGAzZgFuK?= =?us-ascii?q?s4PlIy+V2foXs2id9+dtVPyjhm47pwx/vjWiyNogh5XUio8RyV3K9SV0zZgpKd?= =?us-ascii?q?C8R0B2fd6pHZ9Rui+aKoZ4TcAvTW50tSg0ybALuZC1cS4Xw5ok3x7Sc+GLfoaW?= =?us-ascii?q?7h75SeqcIDR1iGh7dL6hiBu+61Wsx+PkWsWp3ltGsDBJnsTNu30MzRDf98yKRu?= =?us-ascii?q?Vn8ku8xzqC0R3Y5PteLkAuj6XbLoYswr4umZoXtkTOBij2mUrsg6+Sd0Ur5/an?= =?us-ascii?q?5/38YrXjup+cL5Z4igbjMqQygMCwH+s5MhQUX2eB4+izyKPs8lfjTLVElP06iq?= =?us-ascii?q?jZsJbEKsQHvqO1HgFY3pg55xqiDjqr084UkWcZIF9KYh6LkobkN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDuH4/CLmbCkLj8Z7py8FNcyAo3zd9B/ZJZEa0OL+zpVUPrut?= =?us-ascii?q?zYFAc1MxaozOb/FNV9yoQeVHqTDaCDNaPStUaE5uYuI+mXeI8Yoy39Kvgg5/72?= =?us-ascii?q?l3A1g14dfa+z3ZsWcn+0BPpmI1/KKUbr19wIFGNPugslUMTrjkeDWHhdfSWcRa?= =?us-ascii?q?U5sx0yFoOqOq1XRoSgmvTV0C6lH5EQbH1GDl2WOXzlfsOKQaFfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ET27VKo+/9cNuPRvxYgm9fj2dxyvLSBkgE78T14AoGG1n2VCmZpgi?= =?us-ascii?q?UFVyMs1eZ0rEU7xE3RifEp0cwdLsRa4rZyail/MJfdy+JgDNWiCAnMd5GHUgT/?= =?us-ascii?q?G4n0MXQKVts0huQ2TQNlAdzy3BvO1mykGe1Nmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DGAgB9xvVehw3gqIRggQmDRYF0ATAsh?= =?us-ascii?q?DCJAYwGlieBaAsBAwEMLQIEAQGBU4UfAhwHAQQ0EwIQAQEFAQEBAgEDAwQBEwE?= =?us-ascii?q?BAQoLCQgphW6CNyKDPw8BBTMGPQImAkgkBgIBARCDEoJ9rD6BMoVRhBiBBIEOK?= =?us-ascii?q?oZFhiGCGoE4gjuEdAESAYM1gmAEjwsYKIEBpCcHgU2BEZktBQodgnKFE4QVhHi?= =?us-ascii?q?Ne4U2pjWEVIFqgQhwdEyCaVAZDY43gQsBBI0fQAExNwIGAQcBAQMJW4xTLYIXA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0DGAgB9xvVehw3gqIRggQmDRYF0ATAshDCJAYwGlieBaAs?= =?us-ascii?q?BAwEMLQIEAQGBU4UfAhwHAQQ0EwIQAQEFAQEBAgEDAwQBEwEBAQoLCQgphW6CN?= =?us-ascii?q?yKDPw8BBTMGPQImAkgkBgIBARCDEoJ9rD6BMoVRhBiBBIEOKoZFhiGCGoE4gju?= =?us-ascii?q?EdAESAYM1gmAEjwsYKIEBpCcHgU2BEZktBQodgnKFE4QVhHiNe4U2pjWEVIFqg?= =?us-ascii?q?QhwdEyCaVAZDY43gQsBBI0fQAExNwIGAQcBAQMJW4xTLYIXAQE?= X-IronPort-AV: E=Sophos;i="5.75,283,1589234400"; d="scan'208";a="352809180" X-MGA-submission: =?us-ascii?q?MDGhlNCKgBfHrjUgTrB83n4JguX+t7Bam7YbFA?= =?us-ascii?q?2mGtij1ppCbn/q1O23eeGZSuPU8x9tNmk8g5eHEAmKVi1p93oCMI78/e?= =?us-ascii?q?BRr3uvlqCa7ZMBRb3FyS/Ws+n3tARqGwFV10Vu2P2i5qsbqzjJl4N2dW?= =?us-ascii?q?IdgTFVWQa0QNhG/F9z8SxLxA=3D=3D?= Received: from oxalide-smtp-out.extra.cea.fr ([132.168.224.13]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jun 2020 11:59:28 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 05Q9xRjo010919 for ; Fri, 26 Jun 2020 11:59:27 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id C5D2C2056AB for ; Fri, 26 Jun 2020 11:59:27 +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 BB3882056A4 for ; Fri, 26 Jun 2020 11:59:27 +0200 (CEST) Received: from [10.11.242.93] ([10.11.242.93]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 05Q9xRch014702 for ; Fri, 26 Jun 2020 11:59:27 +0200 To: caml-list@inria.fr From: =?UTF-8?Q?David_B=c3=bchler?= Message-ID: Date: Fri, 26 Jun 2020 11:59:27 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] Permanent Research Engineer Position at CEA LIST - LSL Reply-To: =?UTF-8?Q?David_B=c3=bchler?= X-Loop: caml-list@inria.fr X-Sequence: 18179 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: The LSL laboratory at CEA LIST, located near Paris, France, is opening a new permanent Research Engineer position in formal methods. If you are interested in joining the development team of Eva, the Frama-C plugin based on abstract interpretation, please consider applying. More details are available below. #### LSL Laboratory The LSL Software Security Laboratory helps developers and validation experts ship high-confidence software and systems. With everyday objects getting more and more complex, we have built a reputation for efficiently applying formal reasoning techniques to establish their trustworthiness. As part of the CEA LIST Institute, at the heart of Campus Paris Saclay, teams at LSL are researching the best possible means to conduct formal verification. We design tools such as Binsec, Frama-C and UNISIM, that ensure production-level systems can comply with the highest safety and cybersecurity expectations. And in doing so, we get to interact with the most creative people in academia and the industry. Our team comprises about 30 permanent research engineers, plus a dozen PhDs and postdocs. Our organizational structure is simple: those who pioneer new concepts are the ones who get to lead their implementation. Your work will have a direct and visible impact on the state of software verification. #### Role We need you to help us develop Frama-C's abstract interpretation plugin, both by improving current analyses and by designing new approaches. You will contribute to growing the community of users, handling feedback and helping real people solve real problems. You will take an active role in research and development activities and industrial partnerships, alongside other members of the laboratory. This can include writing proposals, managing projects, writing and reviewing code, publishing papers, as well as attending scientific and technical events worldwide (or, you know, their remote streams, during a pandemic lockdown). #### Requirements - Background in abstract interpretation and theory of programming languages. - Hands-on experience with significant OCaml developments - other languages   are fine too, but you'll need to convince us you can adapt in a snap. - Self-organized, with an ability to prioritize effectively. - Team-minded - you know when to let someone else take the lead. #### Pluses Various areas of our overall activity can also benefit from specific skillsets. - Break new ground with us:   * Hands-on expertise in the fields of software security.   * Flawless understanding of C, C++, assembly languages or hardware interfaces. - Precision-drive our infrastructure:   * Technical administration of Linux environments and development tools.   * Robust grasp of IT service management processes. - Help us spread the word:   * Strong proficiency in foreign languages.   * A knack for writing and editing longform content. #### Applying If you're interested in joining LSL, send us an email to share what inspires you, and why you think you are a good match for the team. Send it with a resume to david.buhler@cea.fr and thibaud.antignac@cea.fr Feel free to contact me for additional details,  __ David Bühler CEA LIST, Software Reliability and Security Lab