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 A3FDA800FE for ; Tue, 21 Mar 2017 18:30:02 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julien.signoles@gmail.com; spf=Pass smtp.mailfrom=julien.signoles@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f196.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.223.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.223.196 as permitted sender) identity=mailfrom; client-ip=209.85.223.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; 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@mail-io0-f196.google.com) identity=helo; client-ip=209.85.223.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-io0-f196.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AG+gb8xwdqmWsdePXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+gSIJqq85mqBkHD//Il1AaPBtSGrawVwLuG+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFIiTanYL5/KBq6oAHSu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDIOy?= =?us-ascii?q?YYUMEuQPI/pXopLnqFcStxazHxWgCP/txzJOm3T43bc60+MkEQze2AIgAtYOsH?= =?us-ascii?q?XKo9XzKawcTOG1zKbOzTXEa/NZxyz945XPfxAjvPGMWbNwftTXyUU1DAPFj1qQ?= =?us-ascii?q?qYriPzORyOsNqHOW7+VlVe21im4nrxt9rSSoxscpk4TEgJ8exF7D9SV82ok1JN?= =?us-ascii?q?u4RVZ1Yd6+DpRfqTuWN4VsQs4kXmpmuz46x6UYtZKneCUG0pcqyh7FZ/CZbYSF?= =?us-ascii?q?7AjvWPuVLDp5gn9uZaixiAyo8Ue6z+3xTsm030hOripCitTMs2oC1x3X6sSeS/?= =?us-ascii?q?t9+Vut1S+B1wzO7uxJIFo4laXcK54mzb4wkoQcvV7fES/xnUX6lK6WdkM69ei0?= =?us-ascii?q?8+nrfKnqq5uGO4J3igzyKLoiltKxDOgiLwQDW2mW9fy51LL5/E35RLtKjucxkq?= =?us-ascii?q?ncqJ3aJ9kbpqq4AwBL1IYv8Q2/Dzap0NQemnkHKExKeAmcgojmPlHBOvH4DfOl?= =?us-ascii?q?j1uwlzdrwujKPqf9DZXVMnjDjLDhcK5h5EFGzQozyclT55ZVCrEaPPL+QVTxtd?= =?us-ascii?q?zdDh8hKQO42efnCNNn1oMfQ22DGKGZMLmB+WOPs8kmJu3EQI4OpH6pIPEg47vq?= =?us-ascii?q?jGQlsV4bZ6igm5UNPiOWBPNjdmeEZXvhhJ86EGgMuQ4zV6S+ikCGUDNVIW2zUK?= =?us-ascii?q?Q74jwgII2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDBAq9UZQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7AABtYtFYhsTfVdFeHRgHCwEBFgEBB?= =?us-ascii?q?QEBgzs/gQoHg1ukboo1gg+CDgwegkKGRQc/GAEBAQEBAQEBAQEBEgEBAQgLCwg?= =?us-ascii?q?oL4IzIgGCNg4lHQEbHgMSAwUBBzcCJAERAQUBIhOJawEDFQ6MSo1Vg0Q/jAOCB?= =?us-ascii?q?AUBHIMJBYNoChknDVWCVAIGEoY8jEmCXwWJJHySMIIFhHWLTIJPgQuBU4wAkhc?= =?us-ascii?q?UH4EVDxCBPDkfVheEUYFwPzUBiUABAQE?= X-IPAS-Result: =?us-ascii?q?A0D7AABtYtFYhsTfVdFeHRgHCwEBFgEBBQEBgzs/gQoHg1u?= =?us-ascii?q?kboo1gg+CDgwegkKGRQc/GAEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzIgGCNg4lH?= =?us-ascii?q?QEbHgMSAwUBBzcCJAERAQUBIhOJawEDFQ6MSo1Vg0Q/jAOCBAUBHIMJBYNoChk?= =?us-ascii?q?nDVWCVAIGEoY8jEmCXwWJJHySMIIFhHWLTIJPgQuBU4wAkhcUH4EVDxCBPDkfV?= =?us-ascii?q?heEUYFwPzUBiUABAQE?= X-IronPort-AV: E=Sophos;i="5.36,200,1486422000"; d="scan'208,217";a="217558960" Received: from mail-io0-f196.google.com ([209.85.223.196]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Mar 2017 18:30:01 +0100 Received: by mail-io0-f196.google.com with SMTP id 68so7948449ioh.3 for ; Tue, 21 Mar 2017 10:30:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=LSpJbRzSoLCuXpsWP/RShhUVnOck7xttLkT0ujtCMyQ=; b=Jm1BJNj1Ts3o9p7yJexs5bGOxXNe3gHPBuBn0ulnuFcdG0EWYBDUlgZwUGPyDKRqv6 qfY67Dqm6BTAiYXA3nKhb88HK8JTyvLF4ZhM8u+bpdF7nYSjzls43tp59lFlmLuQTWH8 4z+IJ5uysclV/1Jvk3xR7ybVeuW53f62uQ5lks0Nlm9DbUTqausYlsTH8so3aH7ISRf2 r72BPMjN+hdwF6dKQe9fMk82uicdIvnYNSfuJ0Mox0RhfmXN/4VZ/5KNaf2/u9oavDGr 0RigbvfZa0oK7eKLCIY+EW+TlH1C52MyTDaJW91Fv/Dhb3F8JC+EigXtycr2kkbWA8dS ZQyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=LSpJbRzSoLCuXpsWP/RShhUVnOck7xttLkT0ujtCMyQ=; b=WHy0zNWlf7xrFMyoISwJA+yq+rmwgc1QMtPGmuLWrT8Hb6booR9BrycJ3YL5e2rPkE gKWP5JIpUCA3TmEl0Ip8uwoVvrUFqc+bOjByQMzjwxn/JWlntylDp63OhyixV8EcA7zP 8EEobJtQ8yDfqPomOnkacFdRaJ4xI7IDZMidDNqyphvMfcHTOTd6Radyt9ve28rFD/Rb iD58/MyE6PaF4c/TSy/53zxH/jYLgWCR95bOdNxHpqGVB90d013LiI3cikZrr4VZNoCS cZ0njatwWLHvMjt0Yg/WvZXLJCY8GgWmp3X17PoYu3FwizEjFI3/q8iAPi6kluTk6+3D uSrg== X-Gm-Message-State: AFeK/H3mAD5ndOO2w6Nt2JYRkpkqIQnxARFaqkCj1K2/LfLYXFnIMMuwEu6qN8din9X8YzJhLkmeSCSKATte9g== X-Received: by 10.107.20.10 with SMTP id 10mr31528891iou.30.1490117400004; Tue, 21 Mar 2017 10:30:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.19.211 with HTTP; Tue, 21 Mar 2017 10:29:59 -0700 (PDT) From: Julien Signoles Date: Tue, 21 Mar 2017 18:29:59 +0100 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a114fcd2c4d1739054b40febd Subject: [Caml-list] Open 18-month Research Engineer Position on Frama-C/E-ACSL --001a114fcd2c4d1739054b40febd Content-Type: text/plain; charset=UTF-8 Hello, The Software Reliability Lab at CEA LIST (Paris Saclay, France) is hiring a 18-month research engineer to improve the Frama-C runtime verification plug-in E-ACSL. A full description of the open position is available online: http://julien.signoles.free.fr/eacsl_engineer.pdf. Feel free to contact me for additional details, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles@cea.fr --001a114fcd2c4d1739054b40febd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello,

The Software Reliability Lab at CEA LIST (Pa= ris Saclay, France) is hiring a 18-month research engineer to improve the F= rama-C runtime verification plug-in E-ACSL.

A full description of th= e open position is available online:
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 htt= p://julien.signoles.free.fr/eacsl_engineer.pdf.

Feel free to con= tact me for additional details,
Julien Signoles
--
Researcher-eng= ineer
CEA LIST, Software Reliability Lab
tel:(+33)1.69.08.00.18 fax:= (+33)1.69.08.83.95 Julien.Signol= es@cea.fr
--001a114fcd2c4d1739054b40febd--