From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id D75DE5D5
	for <caml-list@inbox.ocaml.org>; Thu,  5 Aug 2021 15:01:28 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.84,296,1620684000"; 
   d="scan'208,217";a="522891067"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 05 Aug 2021 17:01:25 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 3D0AEE78DD; Thu,  5 Aug 2021 17:01:24 +0200 (CEST)
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 918B8E78DA
	for <caml-list@sympa.inria.fr>; Thu,  5 Aug 2021 17:01:21 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.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-f43.google.com
IronPort-PHdr: =?us-ascii?q?A9a23=3AhlLXzRC8qq5iMF7peForUyQU30MY04WdBeb1wqQ?=
 =?us-ascii?q?uh78GSKm/5ZOqZBWZua81ygGYFtqLo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/t?=
 =?us-ascii?q?MMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1?=
 =?us-ascii?q?oLejpB4Lelcu62/6u95HJYghFgDWxbLFxIR6rsQjfq84ajJd4JK0s0BXJuHxIe?=
 =?us-ascii?q?+pXxWNsO12emgv369mz8pB+7Sleouot+MFcX6r0eaQ4VqFYAy89M28p/s3rtAL?=
 =?us-ascii?q?MQhWJ63ABT2gZiBtIAwzC7BHnQpf8tzbxu+Rh1CWGO8D9UKs5Uiq+4ah1VBDoi?=
 =?us-ascii?q?T8HNz8n/2HRlsxwl79QrBa4qxBi34LYfISZOfxjda3fYNwaX3JMUclRWSJPAY2?=
 =?us-ascii?q?ycpUBAPYaMOlCs4XwvUEDoQeiCQSuAu7k1z9GhmXx3a0/y+kvFRzG3AghH90Qt?=
 =?us-ascii?q?nTfscj7NKYdUeCzy6nIySvMb+hL0jr66ojIbxQhofCSUrJ2a8bR0kgvFwzDjlW?=
 =?us-ascii?q?XrYzqISiV2/8Cs2ie9eVgVOavh3Q7pAF2pzii38EhgZTGiYwJ0F7L7zl5wJorK?=
 =?us-ascii?q?t2iTk52ecCpHZpNuyyGM4Z6X90vTm9otig1xLALt4K2cTUWxJkoyRPSa+CLfYe?=
 =?us-ascii?q?G7x/tVeucPzh1iG9ldb+/iRu/80ytxOP6W8Kp3lhKqS9FncPNtnALzxHT5NKHR?=
 =?us-ascii?q?eVj8Uu71zaPzQbe4fxHL0AsjafXNYItz7oqmpcQsUnPBDL6lUT0gaOMeUgp9O6?=
 =?us-ascii?q?l4Pn9bLr8vJ+TLYp0hxn+Mqswnsy/Bvw1Mg0UUGia/eSwzbnj/UPkTLlTgP07n?=
 =?us-ascii?q?afUvIrVJcQcoa65DAtV3Zg55xmjCDem1cwUnXgBLF1bZBKKl5blN03KLfziDvq?=
 =?us-ascii?q?yg06gnCpqyv3EJLHsDZvAImDGkLj7fLZ970BcyBA0zdBa/59UCKwBIPbyWkDvs?=
 =?us-ascii?q?tzUFAQ5Mw27w+bhD9V90p0RWXmUD6+WNaPdq16I5uY1L+aQY48VvS7xK+I56P7?=
 =?us-ascii?q?2kX85hVgdcLG10pQNbXC4Gu1qI0GYYXr3ntcMCnwKvwo7TOzyklKOSz9TZ3CoX?=
 =?us-ascii?q?6I9/D43EoymDZ2QDryq1ZeI2SPzOpxNeigSAVmJFTLsdp6Yc/YKciObZMF7xG8?=
 =?us-ascii?q?qT7+kHq080RCjskfByrVhKe7Z4WVMt4/n1dVzofbSmhc18TFvJ8uY2mCJCWpzm?=
 =?us-ascii?q?zVbFHcNwKljrBklmR+42q9ijqkdTIQLjxumegg/PJ/Yied9DoKrMuogVtKASVL?=
 =?us-ascii?q?jRtv/RD9tFZQ+xNgBZ0s7ENKn3EirN8+CDLoclrjND5sxoPq04g=3D=3D?=
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AfB14Ias066CBCwVSxNSOWQM67skDd9V00zEX?=
 =?us-ascii?q?/kB9WHVpm62j5qOTdZsgviMc5Ax6ZJhko7+90cq7IU80l6QY3WB5B97LYOClgg?=
 =?us-ascii?q?WVxepZjLcKtgeQfBEWgdQtsZuIHZISNDSJNykesS+s2njbL+od?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BXAgCC/AthfyunVdFagmKCVwFKVjsxh?=
 =?us-ascii?q?EeBHpBMi2+JR4ZDgWgLAQMBDTUMBAEBI4FAhXoCHQcBBDMGDgECBBUBAQUBAQE?=
 =?us-ascii?q?CAQMDBAETAQENCxAIOCaFaA2CNSkBg2gUER0BGwwSAxIDBgc3AiQBEQEFASITG?=
 =?us-ascii?q?weCUIJUAQMvD49ijHmCHoEEPYsygRUFF4EBgggGhG4KGSgNZQOBVwIHEoEohWy?=
 =?us-ascii?q?BHQEBhwsQgVVEgRU2hg8DAYEkg1GCQiIEg2BVFxR+QE8MBr0rLAeDK4ExBguId?=
 =?us-ascii?q?opxiR8rhSuFBpw7kSaRJJhzECMSgUGBaQ4HTSNQMYI4CUcZDpIQgT6JIkIvAgE?=
 =?us-ascii?q?1AgYBCgEBAwmKUAEB?=
X-IPAS-Result: =?us-ascii?q?A0BXAgCC/AthfyunVdFagmKCVwFKVjsxhEeBHpBMi2+JR4Z?=
 =?us-ascii?q?DgWgLAQMBDTUMBAEBI4FAhXoCHQcBBDMGDgECBBUBAQUBAQECAQMDBAETAQENC?=
 =?us-ascii?q?xAIOCaFaA2CNSkBg2gUER0BGwwSAxIDBgc3AiQBEQEFASITGweCUIJUAQMvD49?=
 =?us-ascii?q?ijHmCHoEEPYsygRUFF4EBgggGhG4KGSgNZQOBVwIHEoEohWyBHQEBhwsQgVVEg?=
 =?us-ascii?q?RU2hg8DAYEkg1GCQiIEg2BVFxR+QE8MBr0rLAeDK4ExBguIdopxiR8rhSuFBpw?=
 =?us-ascii?q?7kSaRJJhzECMSgUGBaQ4HTSNQMYI4CUcZDpIQgT6JIkIvAgE1AgYBCgEBAwmKU?=
 =?us-ascii?q?AEB?=
X-IronPort-AV: E=Sophos;i="5.84,296,1620684000"; 
   d="scan'208,217";a="522891025"
X-MGA-submission: =?us-ascii?q?MDEURsIA/yaaOGAs/JXq+1LHeHQnbm9JGaH26x?=
 =?us-ascii?q?Z2rUWRNZbZLZnUQ57yObJitIqV0RPO/yjwqrRpJ6Bmt/sEvxdfuKY9wj?=
 =?us-ascii?q?fdlJOVP0sfhSV6ogN3xRsob2So3Rd5L/s5RZa/KL0jhaesUXta4Hh6lB?=
 =?us-ascii?q?BrlTu3vKAvpOtctDx94sNY9w=3D=3D?=
Received: from mail-lf1-f43.google.com ([209.85.167.43])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Aug 2021 17:01:19 +0200
Received: by mail-lf1-f43.google.com with SMTP id t9so11703663lfc.6
        for <caml-list@inria.fr>; Thu, 05 Aug 2021 08:01:19 -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=RSAPr7XJU6VLliBMgDS8E8+CY2UOah56yymsgkfQaqA=;
        b=JPCyl8wwdbJq2b1tQ34EXwZycEZNAP9WfvfmcFTkERnKadwHwMHawkJvKIv8IQeVBP
         Ljl0lPL7z7NskkKyH1FbjqUQa7dtLUe9mVbM+c2WgG/AnUMM0xLQMJJKsrtpK1nXFdW/
         7qWCZbynrKthQmnt8gExgOo7kT16lix/iV587b4eMaX1Er1N68rH209aMFF5ZLGdMBRZ
         iWDQ6u2NgnIvOmIw7+EkIOUFDuIYp3W2ApKBAZ8MaKxjTv5t97kyaN2SgmBEXFvzF2TY
         YhtS00LgQCDKvN/yVyhDkbwxGxGAWRofjESQSr3tR/Ahz4b2o/XlSUncUGPUmCH7GUaH
         6OHw==
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=RSAPr7XJU6VLliBMgDS8E8+CY2UOah56yymsgkfQaqA=;
        b=k3Cur1t0GJQDeTCqTuLfC4uuWEQ49IUEE7AXgyPKDHE3sOl667YpzyuxIRpAk8D+DV
         jZNfW/w2Tqhf68kPj3MrVT9CyHtqN0nyhCMOYQ2zmZ/fAfO5pfvS7pqXME+82E6TkvW3
         nujnmsyqYh0DqzPTaN9Bv3548HrwXl9grwdkQhmE1DM/xu45ne5QPXkk0fRKSDlSLcEF
         Sg7HCIXG730+r0Rwwq9Q43mTU+JcVke3Ros9SFHoHj1P/huy6BgnKZ71tr2c4FwRKFrt
         tQDwA5Mc8FQjL0GLN0nPEdQcOzW5IuiyBilydLp9m5o8gltdKoLAJXRF5LlWTafsidhB
         HOjw==
X-Gm-Message-State: AOAM533w28Bkaxw3keVBDFgbVr+e3sEd26fgfHqs4zW4rDugpExA3TDh
	lMF4Ehg8GNrQ6Z4cWGY+utx8y0r+AWYBvxLC2IBQ6TO+LDumiQ==
X-Google-Smtp-Source: ABdhPJzICxUB7+r/kNlsMJ4IRKOHmOXx0cLLKN+iooO/bBwbeqbKcw30icIj3WPYnqP1BkYtxSDhxGRSiAcHs8Sr5ik=
X-Received: by 2002:a05:6512:742:: with SMTP id c2mr4232933lfs.145.1628175677187;
 Thu, 05 Aug 2021 08:01:17 -0700 (PDT)
MIME-Version: 1.0
From: Julien Signoles <julien.signoles@gmail.com>
Date: Thu, 5 Aug 2021 17:01:06 +0200
Message-ID: <CAPczgCBhqjW80V-=8Pir+JOCW+L9q9wivZZb2BXpUo8LZGPDeA@mail.gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary="000000000000dee9e805c8d13091"
Subject: [Caml-list] 3 open positions (2 postdoc, 1 PhD) on runtime
 verification at CEA LIST, France
Reply-To: Julien Signoles <julien.signoles@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 18545
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-08/CAPczgCBhqjW80V-%3D8Pir%2BJOCW%2BL9q9wivZZb2BXpUo8LZGPDeA%40mail.gmail.com>

--000000000000dee9e805c8d13091
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Dear all,

The Software Safety and Security Lab at CEA LIST (Universit=C3=A9 Paris-Sac=
lay,
France) is opening 2 postdoc and 1 PhD positions in the area of runtime
verification for code safety and security:

- postdoc: Designing Compilation Techniques for Improving Efficiency of
E-ACSL, a Runtime Assertion Checker for C Programs
        http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf

- postdoc: Control Flow Integrity for Remote Attestation
        http://julien.signoles.free.fr/positions/postdoc-cfi.pdf

- PhD: Outline Runtime Assertion Checking
        http://julien.signoles.free.fr/positions/phd-outline-rac.pdf

The candidates will:
- solve challenging research problems;
- implement their results in Frama-C, an industrial-strength open-source
framework for analyses of C code;
- evaluate their solutions on concrete benchmarks or/and use cases;
- publish their results in international conferences and journals.

Requirements vary from one position to another, but strong knowledge in at
least one of the following areas is always appreciated:
- programming: OCaml and C, semantics of programming languages, ...
- formal verification: runtime verification, static analysis, ...
- compilation: code generation, program transformation, type system, ...

Interested applicants should send a CV and a motivation letter to Julien
Signoles (julien dot signoles at cea dot fr) as soon as possible.

Best regards,
Julien Signoles

--=20
Researcher-engineer                         |  Scientific advisor
CEA LIST, Software Safety and Security Lab  |  Department of Software and
System Engineering
Julien.Signoles@cea.fr                      |  tel:(+33)1.69.08.00.18
<(+33)1.69.08.00.18>

--000000000000dee9e805c8d13091
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear all,
<br>
<br>The Software Safety and Security Lab at CEA LIST (Universit=C3=A9=20
Paris-Saclay, France) is opening 2 postdoc and 1 PhD positions in the=20
area of runtime verification for code safety and security:
<br>
<br>- postdoc: Designing Compilation Techniques for Improving Efficiency of=
=20
E-ACSL, a Runtime Assertion Checker for C Programs
<br>=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 <a class=3D"gmail-moz-txt-link-fr=
eetext" href=3D"http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf"=
>http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf</a>
<br>
<br>- postdoc: Control Flow Integrity for Remote Attestation
<br>=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 <a class=3D"gmail-moz-txt-link-fr=
eetext" href=3D"http://julien.signoles.free.fr/positions/postdoc-cfi.pdf">h=
ttp://julien.signoles.free.fr/positions/postdoc-cfi.pdf</a>
<br>
<br>- PhD: Outline Runtime Assertion Checking
<br>=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0 <a class=3D"gmail-moz-txt-link-fr=
eetext" href=3D"http://julien.signoles.free.fr/positions/phd-outline-rac.pd=
f">http://julien.signoles.free.fr/positions/phd-outline-rac.pdf</a>
<br>
<br>The candidates will:
<br>- solve challenging research problems;
<br>- implement their results in Frama-C, an industrial-strength open-sourc=
e=20
framework for analyses of C code;
<br>- evaluate their solutions on concrete benchmarks or/and use cases;
<br>- publish their results in international conferences and journals.
<br>
<br>Requirements vary from one position to another, but strong knowledge in=
=20
at least one of the following areas is always appreciated:
<br>- programming: OCaml and C, semantics of programming languages, ...
<br>- formal verification: runtime verification, static analysis, ...
<br>- compilation: code generation, program transformation, type system, ..=
.
<br>
<br>Interested applicants should send a CV and a motivation letter to Julie=
n=20
Signoles (julien dot signoles at cea dot fr) as soon as possible.
<br>
<br>Best regards,
<br>Julien Signoles
<br>
<br><div class=3D"gmail-moz-txt-sig"><span class=3D"gmail-moz-txt-tag">--=
=C2=A0<br></span>Researcher-engineer=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |=C2=A0 Scientific advisor
<br>CEA LIST, Software Safety and Security Lab=C2=A0 |=C2=A0 Department of =
Software and System Engineering
<br><a class=3D"gmail-moz-txt-link-abbreviated" href=3D"mailto:Julien.Signo=
les@cea.fr">Julien.Signoles@cea.fr</a>=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0 |=C2=A0 <a class=3D"gmail-moz-txt-link-freetext" href=3D"te=
l:(+33)1.69.08.00.18">tel:(+33)1.69.08.00.18</a>
<br></div></div>

--000000000000dee9e805c8d13091--