From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A03B5E003C for ; Fri, 8 Oct 2021 17:12:40 +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-f48.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.167.48; 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.167.48 as permitted sender) identity=mailfrom; client-ip=209.85.167.48; 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-lf1-f48.google.com) identity=helo; client-ip=209.85.167.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-lf1-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3AboEJrRIAjt1Cdx0aLdmcuOBmWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM81RSUAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZnebxhHiDe9Y755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDtQLsqRTqt8btkSB7wi?= =?us-ascii?q?CcGKTE59n3Xitdth65fuR6tugBzz5LRbIyTKfFwfL7SfckCSGVOXshfWS9PDJ6?= =?us-ascii?q?iYYQTFOcOJ/pUopPnqlcSsRezBw+hD/7vxD9SgX/22LU33eA8EQHC3QwvAdQOu?= =?us-ascii?q?2nJotX0O6cSV+e1zK3WwjXYcvhb3jX96JXMchAgv/6MW6h8cdHQyUkgEQPFiVG?= =?us-ascii?q?QppL+Pz6O2eQNtnKU7+tkVe61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P?= =?us-ascii?q?9u4RVZ7bNO5EJVdsyWXO5V3T84iQmxkpCQ3x6MItJKmYSQHx5QqyhHDZvCZfIa?= =?us-ascii?q?F5hLtWemfLzl3hH9oe7OyiRix/EWkzOD3S8e60FFPriVfk9nMsGgA1x7O6siDS?= =?us-ascii?q?/ty4EGh1S+U1wDS5eFEJ0c0la7FJJ462LIwmIATvELeFSH1gEX7lLGaelkg9+S?= =?us-ascii?q?y6OnqYq/qqoKdOoJ2kA3zPacjl8qiCuoiKAcORXKU+eGk2b3j40L5RLJKg+Uzk?= =?us-ascii?q?qbDsZDaId0Xpqq3AwNIy4oj5RmyAjS83NQXmnkHK11FeBaZgITzJ17OJ/X4Ae+?= =?us-ascii?q?+g1Sqjjhr2+jLMqP9DpjJNHTOk7fscaxg50Ndygc/199S6pFMBrEEOv3zW0vxt?= =?us-ascii?q?NLCDh8+Ngy52+TnCMh51oMfR22PBLWVMLjTsV+H4OIvJO2Ma5EOuDvmJPgl4uT?= =?us-ascii?q?hjX49mVMHYaap2p4XZGiiHvt6O0WZfWbsgtAZHGgWpAU+SejqhESGUT5SfHayQ?= =?us-ascii?q?7kx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LRcP4JbGq2I9R92mg?= =?us-ascii?q?PXL2lDosgzg2GtQngyrMhIPCCqQMCspe29sVx5uDV3Soz+jpzC8mGmzWPUmV1k?= =?us-ascii?q?2VOXD452qd7rFdVxVKK0Kw+iPtdQ48Ar8hVWxs3YMaPh9dxDMr/D0eYJo/hoLO?= =?us-ascii?q?OTdCvADV3RdU0kYdmi6lVFNCrjxSF1C2vUeZ9f12jAZU19ufY0SG0KZotjXnB0?= =?us-ascii?q?6Ylgh8tRc4dbQWb?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AZlOBTK/Qnh99nmAlRDxuk+EWdb1zdoMgy1kn?= =?us-ascii?q?xilNYDRPeM2ZiMyi2NwHvCWE0wr5P0tQ7uxoWZPwNU80mqQFnLX5A43SEzUO1F?= =?us-ascii?q?HYUr2KzLGSswEJ9UXFh7ZgPYkJSdk6NDTbNyk5sS5jizPISurJ+bG8geaVbQ23?= =?us-ascii?q?9QYocegSUdAm0+4bMHfvLqQVfng7OXNjLuvTl4t6TlObEBx9BKnWaBh1O5ml1r?= =?us-ascii?q?u77eOcEGQ77ngcmUOzZByTmf7H+nOjr1wjul10sMYf2FmAuwv1/aOivrWexgXH?= =?us-ascii?q?32Heq7R68eGRteeqOqa3+4Uow0/X+3SVjf9aKs6/lQFwm+2p4Esni530vhkte/?= =?us-ascii?q?5r43f6dn2urXLWqkHd+Qdr0HPkwUKVmj/bvML0AAgiA856j4RDfnLimgMdleA5?= =?us-ascii?q?665N13+UrN5vEB3N2B7l79zzShl2miOP0AwfeeV4tQ0SbaIuLIVJpYha10tEHI?= =?us-ascii?q?03Jij984xPKpgKMCjF3pZrWGLfVWnQui1LzMOhWzAYPi28K3Jy2fB9zQIm/kyR?= =?us-ascii?q?EHF2tbQit0ZF85R4Q4JP5uTaPs1T5fJzcvM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOAQASaxphfzCnVdFahTkBSlY7MYRHg?= =?us-ascii?q?R6OK4Iki3GJSoZEgWgLAQMBDTUMBAEBgWyFYgIdBwEENBMBAgQVAQEFAQEBAgE?= =?us-ascii?q?DAwQBEwEBDQsQCDgmhWgNgjUpAYNoFBEdARsMEgMSCQc3AiQBEQEFASIuB4JQg?= =?us-ascii?q?lQBAy8PmFuCHoEEPYsygRUFF4EBgggGhGwKGSgNZQOBVwIBBhKBKIVugR0BAYc?= =?us-ascii?q?NEIFVRIEVNoYPA4Elg1GCQiIEhU4TaBZATwwGvUotB4MrBYEsBguIe4p0iSErg?= =?us-ascii?q?2WGT4UUly2RKJEnmHcQIxKBQoF9TSNQMYI4UBkOjleDO4E+iSJCLzgCBgEKAQE?= =?us-ascii?q?DCYl1AQE?= X-IPAS-Result: =?us-ascii?q?A0DOAQASaxphfzCnVdFahTkBSlY7MYRHgR6OK4Iki3GJSoZ?= =?us-ascii?q?EgWgLAQMBDTUMBAEBgWyFYgIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBDQsQC?= =?us-ascii?q?DgmhWgNgjUpAYNoFBEdARsMEgMSCQc3AiQBEQEFASIuB4JQglQBAy8PmFuCHoE?= =?us-ascii?q?EPYsygRUFF4EBgggGhGwKGSgNZQOBVwIBBhKBKIVugR0BAYcNEIFVRIEVNoYPA?= =?us-ascii?q?4Elg1GCQiIEhU4TaBZATwwGvUotB4MrBYEsBguIe4p0iSErg2WGT4UUly2RKJE?= =?us-ascii?q?nmHcQIxKBQoF9TSNQMYI4UBkOjleDO4E+iSJCLzgCBgEKAQEDCYl1AQE?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="395337995" X-MGA-submission: =?us-ascii?q?MDGJy2+vmO3TuYdixhsgQCFjgGNSKVkjd4+s83?= =?us-ascii?q?zv1pZ5SJLQGBMUo4aK0n+iBY3A0Pm4DmpE6xo1uIraIGE176wJHwutnM?= =?us-ascii?q?zuaQvYEtghcgxgDwkntwjisFuhRNqUK71y9YY3TlTgrcEYgW9jnh57JW?= =?us-ascii?q?G2SVZcEbPzBA9dABkrdb6tsw=3D=3D?= Received: from mail-lf1-f48.google.com ([209.85.167.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Oct 2021 17:12:39 +0200 Received: by mail-lf1-f48.google.com with SMTP id u18so40400793lfd.12 for ; Fri, 08 Oct 2021 08:12:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=j4Um76xJmUEo59zKh8gaWxni5ZR+9pUp5byNgxwoz1Y=; b=ovz/VssmreWNjYCLc1l4uPEeMPRaymELDpcVcRxz8OJxpj9ZY4Fi+mGIQ66bapKUM2 g/PUbTbQerO/04mCHjSDEb4ZVJpNZ6rGEw/PNcjp5lcHZGvixv4WogGlSp7lXM2IyQ6R +VLXSwImys/JLTTtB9WHXRObbO0zlnj/1r6slKZf0osvioLjttcUvcmQ/AvfNtE91mE5 EJ9aoTdfE2OUGsvuMb9AP8FnXZjbUlhCYHtwI9dMEwHzvnJQ151lfs2ed/838+XXk0/7 1I4vzsha6cGvPP1KmvSSwVJ+y6DrE1Lg1WitO1Sgudca6a9NNz9w2Kdgrn3U4nrBa5KF ZZZA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=j4Um76xJmUEo59zKh8gaWxni5ZR+9pUp5byNgxwoz1Y=; b=ynVO/wSi4wVUAgOHYtj1O4SUZx9LHpvK9Z729EWe7XnUsyIfNDcl7s4sC8hPmaJgcw cvm8fdmqSLO4Iz7/mZr06VZzmxC/XTMHAm0EvQGkGm5q+BZi28D6Ye3404CIFfU9ba++ Eer43Jq2nw+wqMamcuBHQYPNUDV1zDXy66rEYTDok3+UDUV9vR1nQVqGQ+J5TZ3ZKxqY 5dBJe0WZ80NUW79+hhP9XEfcmvxMlswHhuYu+STOezCVjhzeZR3XIX7qpDaowezf/8B+ 6lICnInEfZbHLveJ02aXq8CHiM7yhIvkNoizjsiz9t09rog/8NxX63iYtGQWGxqKSrTH NADw== X-Gm-Message-State: AOAM530zLQbqE6Y8QphjLc04BfB4rapE9+jKOPuJmC7eKy4EbriL/3fJ krAmwnfKxGVKwWaJEsjlE3rasjsMFdLByFOJ83IZqw9b3cc= X-Google-Smtp-Source: ABdhPJybXErznJmrB7qLNka+orWKpjGg9l9PBSUE3I02Tcsy7oul6uXicmHkbK0lkKRbohffx9VfmJlYC0mHuiE7mc4= X-Received: by 2002:ac2:4d07:: with SMTP id r7mr10570937lfi.422.1633705957708; Fri, 08 Oct 2021 08:12:37 -0700 (PDT) MIME-Version: 1.0 From: Julien Signoles Date: Fri, 8 Oct 2021 17:12:26 +0200 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="00000000000046d80905cdd8cfb0" Subject: [Caml-list] Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France --00000000000046d80905cdd8cfb0 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, 1 PhD, and 1 internship 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 https://julien-signoles.fr/positions/postdoc-eacsl.pdf - postdoc: Control Flow Integrity for Remote Attestation https://julien-signoles.fr/positions/postdoc-cfi.pdf - PhD: Outline Runtime Assertion Checking (possibly preceded by an internship on the same topic if needed) https://julien-signoles.fr/positions/phd-outline-rac.pdf - internship: C Function Synthesis from Axiomatic Definitions (in French, please ask for an English version) https://julien-signoles.fr/positions/master_axiomatics.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. 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 --00000000000046d80905cdd8cfb0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

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

- postdoc: Designing Compilation Techniques for Improving Efficiency of= =20 E-ACSL, a Runtime Assertion Checker for C Programs
https://julien-signoles.fr/positions/post= doc-eacsl.pdf

- postdoc: Control Flow Integrity for Remote Attestation
https://julien-signoles.fr/positions/postdo= c-cfi.pdf

- PhD: Outline Runtime Assertion Checking (possibly preceded by an=20 internship on the same topic if needed)
https://julien-signoles.fr/positions/ph= d-outline-rac.pdf

- internship: C Function Synthesis from Axiomatic Definitions (in=20 French, please ask for an English version)
https://julien-signoles.fr/positions/= master_axiomatics.pdf

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

Strong knowledge in at least one of the following areas is always=20 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 Julie= n=20 Signoles (julien dot signoles at cea dot fr) as soon as possible.

Best regards,
Julien Signoles
--00000000000046d80905cdd8cfb0--