From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 6C7017FA32 for ; Fri, 3 Mar 2017 17:53:30 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=David.Chemouil@onera.fr; spf=Pass smtp.mailfrom=David.Chemouil@onera.fr; spf=None smtp.helo=postmaster@briaree.onecert.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of David.Chemouil@onera.fr) identity=pra; client-ip=134.212.190.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Chemouil@onera.fr"; x-sender="David.Chemouil@onera.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of David.Chemouil@onera.fr designates 134.212.190.4 as permitted sender) identity=mailfrom; client-ip=134.212.190.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Chemouil@onera.fr"; x-sender="David.Chemouil@onera.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@briaree.onecert.fr) identity=helo; client-ip=134.212.190.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Chemouil@onera.fr"; x-sender="postmaster@briaree.onecert.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOgSecBCdIl0hgNFKlPt9UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPXyp8bcNUDSrc9gkEXOFd2CrakV1qyN7+uxBCQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Yb5+Nhu7oAreusQSgYZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhS?= =?us-ascii?q?waNTA27XvXh9RwgqxGpxKvuR9xzYDab46aKPVwcbjQfc8ZSGdbQspdSyJMD4G6?= =?us-ascii?q?YoASD+QBJ+FYr4zlqlUAtxS+GwisC/7ywTJWhHH40qo03f0vHg/F2gIrAtUDvn?= =?us-ascii?q?rOo9XrNacdTPq5wbfIzTrdavNW3ir96InMch06pvGMW6x/cdDLxkU1GQPFlEyd?= =?us-ascii?q?pIr4ND2b0eQNtnKU7+tmVe+3hW8nqgJxojm3xsgyl4bJh5gaxkrD9SVjz4Y5Pd?= =?us-ascii?q?q4SEhlbt6+CpRcrS+aN5FuTsw+XmFnoyc6yqQctZ61ZigG0I8nxxnGZ/ybdIiI?= =?us-ascii?q?/xbjVOGMITdjmn1pYq6whxG38UWm1+byVdG03U5XoidLndTArG4B2wHN5sSdV/?= =?us-ascii?q?dw+lut1SyA2gzL9+1JL085mbDFJ5I83LI8jIQfvETZEiPrmUj7j6mbfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+NbwjldelAeQ5KAcORXaU9vqm2L3k+032XqlFgeMskq?= =?us-ascii?q?nFqpzaK94bqra4Aw9TzIkj9w6yAyqo3dkXh3ULMk9JdAydg4T0P1zCPOr0APin?= =?us-ascii?q?j1SpijhrxvTGPrP7ApXKK3jOiLnvcqxj605d1QU/185S55JKBbEEJ/LzR07xtN?= =?us-ascii?q?jDAx8+NQy73fznB89n2oMQQ2KDGrWZP7/KsV+U+uIvJPGBa5MPtzb4L/gp/vru?= =?us-ascii?q?jX4imV8BZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+Qvbq2xW+VmtYbnO2Gq?= =?us-ascii?q?Y9/S0TCYS8DI6FSJrpyLONxmG0Bpl+Z2VPBRaCCzOgeImeHvYJQC2eOIpgl3oK?= =?us-ascii?q?T/zpQIgn3gy0rgL8wKtPKuvP5jYVr4zuzp5p+uCVkxV2vT16FMm112iEVCd6hC?= =?us-ascii?q?dATiQsma54u1F44lyC16VjxfJCUZRe7uhSTkI/OJvWwvZhI9TzQR7aONOEDl+t?= =?us-ascii?q?BMilUh8rSddk79YQYko1MPWPqzf+/g7iV5Mcib2HQrc0/6fbwnn1D8F7xmzPkq?= =?us-ascii?q?c72Qp1CvBTPHGr0/YsvzPYAJTExh2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AHCQAbnrlYbQS+1IZeDg8BBQELARgBB?= =?us-ascii?q?QELAYMmURAqYINein2QNJNHgg+CDSyCQIYaQBcBAQEBAQEBAQEBARINFQlMgjM?= =?us-ascii?q?ggkcECwEFOAE1CAImAiEqFQwIAQGJdwUJsxCBbDqLDyaBC4VDggUIgmKDF4RDg?= =?us-ascii?q?l8FnCwcT4YLiz2Be1OET4MxhlGTOyEBgThahmc+dQEEigkBAQE?= X-IPAS-Result: =?us-ascii?q?A0AHCQAbnrlYbQS+1IZeDg8BBQELARgBBQELAYMmURAqYIN?= =?us-ascii?q?ein2QNJNHgg+CDSyCQIYaQBcBAQEBAQEBAQEBARINFQlMgjMggkcECwEFOAE1C?= =?us-ascii?q?AImAiEqFQwIAQGJdwUJsxCBbDqLDyaBC4VDggUIgmKDF4RDgl8FnCwcT4YLiz2?= =?us-ascii?q?Be1OET4MxhlGTOyEBgThahmc+dQEEigkBAQE?= X-IronPort-AV: E=Sophos;i="5.35,237,1484002800"; d="scan'208";a="215493313" Received: from briaree.onecert.fr ([134.212.190.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Mar 2017 17:53:29 +0100 Received: from neree.onecert.fr (thetis.onecert.fr [134.212.178.12]) by briaree.onecert.fr (8.14.4/8.14.4/ONERA-SRI) with ESMTP id v23Gqv1p024544; Fri, 3 Mar 2017 17:52:57 +0100 Received: from neree.onecert.fr (thetis.antiviral [127.0.0.1]) by neree.onecert.fr (8.14.3/8.14.3/ONERA-SRI) with ESMTP id v23GqvJt004098; Fri, 3 Mar 2017 17:52:57 +0100 Received: from cottos.onecert.fr (cottos.onecert.fr [134.212.90.4]) by neree.onecert.fr (8.14.3/8.14.3/ONERA-SRI) with ESMTP id v23GqvLm004095; Fri, 3 Mar 2017 17:52:57 +0100 Received: from [134.212.25.168] (ct-ldtim307h.onecert.fr [134.212.25.168]) by cottos.onecert.fr (Postfix) with ESMTP id 8399D6EF27; Fri, 3 Mar 2017 17:52:57 +0100 (CET) From: David CHEMOUIL Organization: Onera/DTIM, Toulouse To: caml-list@inria.fr, gdr.gpl@imag.fr, gdr-im@gdr-im.fr, concurrency@listserver.tue.nl, ifse@laas.fr, asr-forum@cines.fr, easst-members@lists.le.ac.uk Message-ID: <9c1876c7-9164-5618-7cd3-a393494b373c@onera.fr> Date: Fri, 3 Mar 2017 17:52:53 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:50.0) Gecko/20100101 Thunderbird/50.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (briaree.onecert.fr [134.212.190.4]); Fri, 03 Mar 2017 17:52:57 +0100 (CET) X-Virus-Scanned: clamav-milter 0.99.2 at briaree X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.2.5-onera_sri_4 (2008-06-10) on briaree.onecert.fr Subject: [Caml-list] researcher permanent position at ONERA, Toulouse Dear colleagues, we have an open permanent position for a researcher at ONERA. The position is located in our Toulouse (*) premises. --> Please, do not refrain to apply if you have a strong background in formal methods, programming language theory, logic, etc.; as well as a will to perform research ranging from theoretical techniques to prototyping them and experimenting with them in practice. Please apply with a resume and motivation letter before the end of March at the following URL: . ================================================================ ONERA is the French research center in civil and/or defense aeronautics & space. Whether ONERA's research has short, medium or long-term goals, it is ultimately designed to support the aerospace and defense industries. The topic of research will revolve around the following: - theoretical and practical development of formal and modelling means for safety analysis of critical systems - safety analyses of new systems architectures (many-core systems, wireless networks for critical applications...) - formal verification techniques for embedded software (drones, robots...) The selected researcher will collaborate with academic partners as well as industrial (Airbus, Thales, Dassault...) as well as institutional ones (French Defence, French Space Agency..). Expected profile for a candidate: - fluent in English - PhD in Computer Science - Strong background as well as a marked taste for experimenting (/programming) ideas and techniques in the domain of critical systems and a will to address industrial systems. - Strong skills in some of the following areas: * systems safety evaluation * formal methods (e.g.: assisted or automated proof techniques, model-checking, static analysis, test case generation, SAT, SMT, typing...) * architecture modelling * systems certification (*) To learn more about Toulouse, a vibrant city in the south of France, please refer to and . -- David Chemouil ONERA/DTIS & Université de Toulouse tel:+33-5-6225-2936