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 5945B7EEFE for ; Wed, 29 Mar 2017 09:16:56 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=richard.bonichon@cea.fr; spf=Pass smtp.mailfrom=richard.bonichon@cea.fr; spf=None smtp.helo=postmaster@cirse-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of richard.bonichon@cea.fr) identity=pra; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.bonichon@cea.fr"; x-sender="richard.bonichon@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of richard.bonichon@cea.fr designates 132.167.192.148 as permitted sender) identity=mailfrom; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.bonichon@cea.fr"; x-sender="richard.bonichon@cea.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@cirse-smtp-out.extra.cea.fr) identity=helo; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.bonichon@cea.fr"; x-sender="postmaster@cirse-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AT7xqQRVH8JHtHpX1WEq1DwscGPnV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaHt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlMJ+kaxVrhGuqBNj2IPUfJ2ZOeBicq/BYd8WWWxMVdtRWSxbBYO8?= =?us-ascii?q?apMCAfYAPelEr4nyvUEOogajDgSxA+PvzD5IiWP23a091eQqDAbL3BYhH90SsH?= =?us-ascii?q?Tbts/1O7oIXe+uy6nIyzTDYO9W2Tf67ojFaQwuru+WUr5qf8rR01AiGgXYhVue?= =?us-ascii?q?rozlOima1uULs2WD4OpgVP6vi246qw5quDSvx8Ash4/UjYwW0lDJ7Th1zYgrKd?= =?us-ascii?q?GiVUJ2YNypHIFNuyyeKYd6WN4uTm5rtSoi17ELt4C3cDIXxJkmxhPTceGLfoyW?= =?us-ascii?q?7h75VeucJypzimh/d7KlnRmy9FCtyu3iWcmw11ZHtjZKktjWtnAWyRPf89OHSv?= =?us-ascii?q?5h/ke5wDqP0B3T6v1eLU8qmqvbN4QhzaQqmpUPr0vMBDX6mEvsjKOOd0Uk/Pan?= =?us-ascii?q?6/j/b7n7qJKQKZV4hhz/P6ksgMCzHOA1PhYUU2SG9umx16Xv/UjjT7VLiv02nL?= =?us-ascii?q?PZsJffJckDvK65AhNa0oY55BalEjiqys8XnX4BLFJEZB2Hj4/pO1fVLf/kE/iw?= =?us-ascii?q?mU6gkDlxx/zeJL3uHo3NLmTfkLfmZbty91RTyA83zdxG45JUC6oBIO7oV0/qtN?= =?us-ascii?q?3YCwc5PBauz+bmDtV9zIIeVniVDq+XKqOB+WOPs/kiPO6WYIM9ozfyMP8r+7jp?= =?us-ascii?q?l3B90VQUeK3s2ZoMdFi5GO5nKgOXeynCmNAERF0LtQo3VuCiolqEUDVTYHD6C7?= =?us-ascii?q?g97TEyEo7gB4DFR4uth7qp1yqyWJNMMDMVQmuQGGvlIt3XE8wHbzifd5ds?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUAgARX9tYh5TAp4RdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAuBC45mkz+UeiqCQoZmQhUBAQEBAQEBAQEBARIBAQEKCwkIKC+?= =?us-ascii?q?CMyCCR4E3NAFOiB+BfQ6vZopPLQWGTo8JHwWcYGtqMoR2jTcBg0mMBZNqNYEmO?= =?us-ascii?q?iNShGmBcXMBiTUBAQE?= X-IPAS-Result: =?us-ascii?q?A0CUAgARX9tYh5TAp4RdHAEBBAEBCgEBFwEBBAEBCgEBhAu?= =?us-ascii?q?BC45mkz+UeiqCQoZmQhUBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyCCR4E3NAFOi?= =?us-ascii?q?B+BfQ6vZopPLQWGTo8JHwWcYGtqMoR2jTcBg0mMBZNqNYEmOiNShGmBcXMBiTU?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.36,240,1486422000"; d="scan'208";a="218433012" Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Mar 2017 09:16:51 +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 v2T7Go57019790; Wed, 29 Mar 2017 09:16:50 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 75C6D2059A7; Wed, 29 Mar 2017 09:16:50 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 5F3EF2039E8; Wed, 29 Mar 2017 09:16:50 +0200 (CEST) Received: from localhost (is228948.intra.cea.fr [10.8.34.182]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v2T7GoBb002635; Wed, 29 Mar 2017 09:16:50 +0200 From: Richard Bonichon To: seworld@sigsoft.org, caml-list@inria.fr Date: Wed, 29 Mar 2017 09:16:50 +0200 Message-ID: <87shlwwo0t.fsf@cea.fr> MIME-Version: 1.0 Content-Type: text/plain X-Validation-by: richard.bonichon@cea.fr Subject: [Caml-list] Postdoc positions: Software security through binary-level analysis Dear all, The Software Reliability Lab at CEA LIST (Paris Saclay, France) is offering postdoc positions about *Software security through binary-level analysis*. Full description is found @ https://rbonichon.github.io/documents/2017-postdoc.pdf Regards, -- Richard Bonichon