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 1C8AD5D5 for ; Mon, 6 Apr 2020 16:21:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,351,1580770800"; d="scan'208,217";a="444091996" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Apr 2020 18:21:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C7F797F486; Mon, 6 Apr 2020 18:21:57 +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 E4B217F345 for ; Mon, 6 Apr 2020 18:21:50 +0200 (CEST) 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-lf1-f44.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AchhC3B/a8zrUrv9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2uMcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47WLmffqXyq7DMUBg63dU8s?= =?us-ascii?q?fry0ScbuiJGc3uW2s7nSeBkA0DG0ZLc3KBStsS3QsNMXiM1sMPBi5AHOpy5qZu?= =?us-ascii?q?BXyGUgHlOcmRH469z4qJx+9yVdvbQ69sFGVqH3ZIw3SLVZCHItNGVjt56jjgXK?= =?us-ascii?q?UQbavihUaW4RiBcdRlGdtEinDKe0iTPzs69G4AffPcDySuppCzGr7qMuTBGxzS?= =?us-ascii?q?lba3g292bYjsE2h6Ve8kr49k5PhrXMaYTQD8JQO6bUfNcUX21EB58DWClIA4f6?= =?us-ascii?q?ZIwKXbNYYbRo6rLlrl5LliOQQBG2Dbq2mDBNj37ym6Y91rZ5HA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZBwBsVotefyynVdFmHgELHIRMRFQzK?= =?us-ascii?q?oQbgRyCXYsDjAZ/iEmICgoBAwEMBSAKBAEBgVCFPxwHAQQ0EwIQAQEFAQEBAgE?= =?us-ascii?q?CAwQBEwEBCQsLCCeFXwyCOwUBIwEGgwoUER0BGx4DEgMGAQY3AiQBEQEFASITI?= =?us-ascii?q?oMFgkoBAy4PlGqMc4IdgQQ9iyiBFQUBFxSCbAWEeAoZJw1iA4EzAgcSgSaFIw2?= =?us-ascii?q?HAw+BTD+BR4V/A4R2gjwiBI4Row0HgkB8BIV/cY86HYNSg0+UYZhdkxgPI4EcK?= =?us-ascii?q?oF5TSNQMYI4CUcYDY4dg3OBPokZQjACC415gVIBAQ?= X-IPAS-Result: =?us-ascii?q?A0CZBwBsVotefyynVdFmHgELHIRMRFQzKoQbgRyCXYsDjAZ?= =?us-ascii?q?/iEmICgoBAwEMBSAKBAEBgVCFPxwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBCQsLC?= =?us-ascii?q?CeFXwyCOwUBIwEGgwoUER0BGx4DEgMGAQY3AiQBEQEFASITIoMFgkoBAy4PlGq?= =?us-ascii?q?Mc4IdgQQ9iyiBFQUBFxSCbAWEeAoZJw1iA4EzAgcSgSaFIw2HAw+BTD+BR4V/A?= =?us-ascii?q?4R2gjwiBI4Row0HgkB8BIV/cY86HYNSg0+UYZhdkxgPI4EcKoF5TSNQMYI4CUc?= =?us-ascii?q?YDY4dg3OBPokZQjACC415gVIBAQ?= X-IronPort-AV: E=Sophos;i="5.72,351,1580770800"; d="scan'208,217";a="345139343" X-MGA-submission: =?us-ascii?q?MDGTUTUnfKc12xlaIkFKTGAw2NfTAOVtmLn2Jp?= =?us-ascii?q?wK4cEE9wJHI+jIpFImRcZq7Zf0zzchME1mmHmngIBdThnFcXyqCWzkb0?= =?us-ascii?q?5R9XySQUY4rj/xgRM8ZQp+SliaprygGbM36glkayqEN37e32YnBj2hm2?= =?us-ascii?q?G3k3MIcFnkWjWE+Ku6zf3VIg=3D=3D?= Received: from mail-lf1-f44.google.com ([209.85.167.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Apr 2020 18:21:49 +0200 Received: by mail-lf1-f44.google.com with SMTP id r17so8786819lff.2 for ; Mon, 06 Apr 2020 09:21:49 -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=ZDEzolBd2feNUQYNLAcRFvLstP6kI1csHbbBzxE+vik=; b=UYLCNdgSxOL9Q4OWHDUP9bs6XeFcFZ0+hh12vLXQ6pYYR+WqrnOt43nmxLmMzA8SKk MCKF1RzuNJGfZRW7+gsAlzAK/J1hB0+Tyz/rEuf1nkVFIFBGulcV8Ga5mvt2XojKyo2Z scbdEWbbac6CXkPLRix972H5JzekJ8LqUZAniprCLVd3Ldi64T2saVGB5Hk2YvP9EURg DpFrjtATDgsdle+pOAzVitr++WDcraTCwpXar7220CZ3MGFA/F96qT4VsejA1dy29Zd9 D8xL8dC07e1q+u3IXSo7KfEedxQFo4nbFL//s+An+PK8rqNJ0IlXjI4eSJvasPlPOp6A SJWQ== 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=ZDEzolBd2feNUQYNLAcRFvLstP6kI1csHbbBzxE+vik=; b=R0GCfEKKJ7nxEkKwv9pYIwgDjjooMhFqO65W91105gwSYfqfr2Gcy5GNu38bclhbQS KUGXTUvW1+IWVmn3D8ae1NVjze0nS7ZgkyHNE+dGkxArJ+ZMt1CVwYD7NqpsmulKItxG mK/Eg/2atve3t7C9HUTjRJWIa+CYhBLnV+K6T7Xpkqw5fCq1sam/Wotr1+Ao7JLqyfqJ BrmV55/MNAkUeICdEk+1BycL6b1lEHRGu33BIMfYtApDy6RUzVwPfknkV/wgQbmqJJAk WDPsZJHy59+2GfCwZxNOuAQLojCFFqjDf8DhXFXlbKtUtWg3TuqV7JyoBLrko0/Ieoc8 uYbg== X-Gm-Message-State: AGi0Pub5dp7k9u81C5kkikUW7cBT9TIaz7qOAB9FSIEO6HLRgP+nGe6e Mc2S9dUAYrmTwwkQ193dBEeDEAKVGbEjxVHevb7xmrUG X-Google-Smtp-Source: APiQypJXulQw5aehRzW05KMEsnEk7wfmBRjS4Q0iHSxLBBFJH3zUDAps4gA6t3ZbaRjF4F+yrfzqyYU1Wss/xyJNzFw= X-Received: by 2002:a19:6746:: with SMTP id e6mr13604199lfj.43.1586190108789; Mon, 06 Apr 2020 09:21:48 -0700 (PDT) MIME-Version: 1.0 From: Julien Signoles Date: Mon, 6 Apr 2020 18:21:37 +0200 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="000000000000fb0f1005a2a1a9fd" Subject: [Caml-list] 2 new postdoc positions on Frama-C at CEA Paris Saclay Reply-To: Julien Signoles X-Loop: caml-list@inria.fr X-Sequence: 18089 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000fb0f1005a2a1a9fd Content-Type: text/plain; charset="UTF-8" Hello, The Software Security and Reliability Lab (LSL) at CEA Paris Saclay (France) is hiring 2 postdoc researchers who will work on Frama-C, its code analysis framework for C programs, in the context on the recently accepted H2020 European project Ensuresec. The research topics are: - Advanced Runtime Assertion Checking of C Programs: http://julien.signoles.free.fr/positions/postdoc-ensuresec-eacsl.pdf - Extensive Code Security Analyses for Frama-C: http://julien.signoles.free.fr/positions/postdoc-ensuresec-security.pdf Best regards, Julien Signoles -- Researcher-engineer | Scientific advisor CEA LIST, Software Reliability and Security Lab | Department of Software and System Engineering tel:(+33)1.69.08.00.18 Julien.Signoles@cea.fr --000000000000fb0f1005a2a1a9fd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

The Software Security and Reliability Lab (LSL) at CEA Paris Saclay=20 (France) is hiring 2 postdoc researchers who will work on Frama-C, its=20 code analysis framework for C programs, in the context on the recently=20 accepted H2020 European project Ensuresec.

The research topics are:

- Advanced Runtime Assertion Checking of C Programs:
=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 http://julie= n.signoles.free.fr/positions/postdoc-ensuresec-eacsl.pdf

- Extensive Code Security Analyses for Frama-C:
=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 http://ju= lien.signoles.free.fr/positions/postdoc-ensuresec-security.pdf

Best regards,
Julien Signoles
--=20
Researcher-engineer                              |  Scientific advisor
CEA LIST, Software Reliability and Security Lab  |  Department of Software =
and System Engineering
tel:(+33)1.69.08.00.18   Julien.S=
ignoles@cea.fr
--000000000000fb0f1005a2a1a9fd--