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 34E115D5 for ; Tue, 1 Feb 2022 08:55:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,333,1635199200"; d="scan'208,217";a="19015576" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Feb 2022 09:55:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F39A5E78DF; Tue, 1 Feb 2022 09:55:12 +0100 (CET) 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 04CE0E78DC for ; Tue, 1 Feb 2022 09:55:05 +0100 (CET) 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-wr1-f41.google.com IronPort-SDR: fGbQKl+297F/pGjx2FSgtSMElxx6mDIHkcz5MLqL4oh1J7vhWb5MxDc9Rb+c5z4w0xRt8S4Umb g1fp3KwPZupayxm8ZgakblD/FMzG+278qN3pVlE+EWl9WDiRXHnmlDg3oQsfj9DeTbzfdL5LaM A4oR6t9i/+lT+y0aPwC8Q1I3iIfwnAqVY0NIlJzVtxD3P2WEgkwVNyiQ0l8QO7QYtb4h4iNIlg BdGVzKPr45zincekwVrqstDQisFYlx+ddeAmp5ThQAZjxJoyDuH0OfCdHo0xNRfyGuuXMmMzfS NmQwqz+9ypJBGNJJQWuZDOt0 X-IPAS-Result: =?us-ascii?q?A0B6BQCI9PhhfyndVdFaHQEBPAEFBQECAQkBgXGCJjNLV?= =?us-ascii?q?iwECzGESYEej3WBLIp+iW+GUIFoCwEDAQ0SAQEhDAQBAYIQgT+FFwIdBwEEN?= =?us-ascii?q?BMBAgQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIDBAETAQENCxAICgIFDhNgA?= =?us-ascii?q?WEDAUSBT4FPJQsDMQ2CNSkBg2gUER0BGwwSAxIDBgc3AiQBEQEFASIuB4Jjg?= =?us-ascii?q?mQBAy4Pkl+MeoIfgQQ9izKBFQUXFG2CCQaESwoZKA1nA4FYAgcSgSgBhgmBI?= =?us-ascii?q?AEBgluEUxCBVUSBFTaGFQOBJYNSgkMiBJNGFxR+QE8MBsABNAeDSYE4BguJO?= =?us-ascii?q?IsdiT8zhT2FF50zkXKEWI0PmUwQIxKBQ4F+TSNQMYI4CUUBAgEBAQ0BAgEBA?= =?us-ascii?q?wECAQIJAQECjXtZgzqBPokhQzACNgIGAQoBAQMJAYI6ixEBAQ?= IronPort-PHdr: A9a23:xqZiFxW7IzPIGOZiFJ1OpHbgQ0fV8KyUXDF92vMcY1JmTK2v8tzYM VDF4r011RmVB9+dt6sP0reM++C4ACpcu8/H6ChDOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oRvPusUMjoZuN6k9xgbJr3dWZu9awX9kKU+Jkxvz+Mu84YRv/zhMt/4k6sVNTbj0c6MkQ LJCET8oKXo15MrltRnCSQuA+H4RWXgInxRLHgbI8gj0Uo/+vSXmuOV93jKaPdDtQrAvRTui9 aZrRwT2hyoBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcMgETmRdQMleSy1BApu9b 4QRCeoBIf1YpJT5q1cXsBeyGRWgCObpxzRVhHH5wLc63vwuHg/G0gIuHM8AvmrIo9juLqgeT fq4wbPUwTnfbf5b3yr25ojSchAmpPGBRbZ+cdfVyUkuCQzFiEibp5HkPzOa0OQNtGyb4PR7V emyjGMnqRxxojyuxsgyjInFnJkVylHL9SV/x4Y1IcO3SFVgbN6rFZtfrSCaN49sTsw+RGFov T83x7sbspG0YCYE0o4oxwLDa/OZaYiI5AruWPuPLDp6mH5pZbCyihW9/EWkyODxStS43EtOo ydYnNfBtHEA2gHc58aHS/Zw/Umv1SiS2gzO6+xKL1w5mKXVJZMn37U+mJ0TsUHZES/3nkX7l K2Wdlgg+uip9evnZKzqpoSdN497jAH+NaAuldKkAegiPAgORXCX+eqm1LL940L1WrtKjucwn 6LEs57aPdwWqrClDwJRyIou6BayAy243NgGgHULNl1IdA+BgoP0IV/BOur4Au26g1m0kDdk2 fTGPrr5D5XINHfDkbPhca9z6k5G1QY/1N5f6p1JBr0bL/LzXUjxtNPcDhAnKQC73+HnCNBl2 oMfX2KAHLOZPbvMvVOU4u8jOeqBaY8PtDrjNfQp+uTigHAklVMFeKmmx5oXaHS2HvR8JEWZZ GLhgtUcEWcOvwoxUurqhEeZUT5SaHayWaU85jUlB4K9ForDSYWtj6aA3Ce/BJFZemdGClWUH Xfya4qEQ+sMaD6VIsJ5jjMLT72hS4s42RGqtQ/60KZnI/HP+iwYsJLjzMJ66/fSlRE07zx0D t6S33uDT2FuzSs0QGod1aV76Wh80UvLhaNxhvgdEd1I+9tIVB07PNjS1bopJcr1X1fjY9OIR VDuedSpBzY1Q8l5l90TZ0dwHZO5jx/F2C6nGJcakrWKANo/9aeKjCu5HNp013uTjPpptFIhW MYacDT+3saXliDWDo/NyQCCkrqyML4b12jL/XuCymyHuAdZVhRxWOPLRyNXfVPY+PL+4E6KV LqyEfI/KAIUy9OGK6ZMLMboglNBQPr4ENvbamO13Wy3AEXA3auCObLjYH5VxyDBEA4BmgEX8 2yBMF08GyOgrmSYFz1hE1XrbljE/ux3qXf9RUgxnEmRd0M08b2z91YOgOCEDfMe2rVRoCA6t zB9B0qwxfrTAtuE4hV7JeBSPYp771BA2mbU8Qd6O/RMNohEgVgTO0RytkLqjVBsD5lY1NItp zUsxRZzLqSR1BVAcSmZ1Nb+IO+fLG665x2pZ6PMvzOWmN+L5qcC7ug5oFT/rUmoEEQl6XBuz 9hS1TOV+JzLCAMYVZ+5XFww8lB2oLTTYy914I2xtzUkM7SwszLEnckoC+0izhu7V9haOaKAU gT1FoxSBsSjLvArh0n8dggNb4UwvOY/O8KrcefD2bb+Zr4x2mL7yz4ducYhixHplWI0UOPD0 pcbzuvN2wKGU225l1K9qoXtnosCYzgOH225wCyiBYhLZ6Q0c5xYbAXma8Cx2Nh6gIbgHnBC8 1v2TVEb3M6kf1yJblP72gldzmwYpHWmnW2zyDk+wFRL5uKPmTfDxejvbk9NOHNPRWRky0ztL o6zi90BdEetZgkt0hCi4AyposoT7LQ6JG7VT0BSeiHwJGw3Saq8uI2JZMtX4Y8puyFaOAilS WiTUaW14x4T0ie5WnBb2Ch+bTah/JPwgx19jmuZand1tnvQP89ql1/T49nVRPgZ2TRjJmEwi yTTB1W6ecKo8tOTk5rYmu+7XmOlEJZUdGHnwJiBuy2y+WBxSUfnzrbjx5u9S1F8jXaz3sIPN 22AtBvmZ4j3y6m2eflqeEVlHh606sZ3HJ1/jpplgZgR3XYAgZDGtXEDkGr1LZBawfekNCtLF WNNmYSMplS8iygBZjqTyon0V2uQ2J5kbti+OCYN3z4lqtpNA+GS5aBFmi18phy5qxjQaL5zh GR4q7Nm5XgEjuUOoAdowD+aB+VYH1RcPCHq0Q+J4Na5qKhMTGmqeLm0kkF5mJryadPK6hEZQ 3v/dpo4SGVy88F+PVSKy3z87IbgdcL4YtcatxnSmBDFxbswStp5hr8BgixpPnj4tHsuxrsgj BBg6pq9uZCON2Rn+K/qSg4dLDD+YNkfvy38lasL1NjDxJihR98yf1dDFIutV/+jFyge8OjqJ xrbWiNpsW+VQPLeBVPNsxog9iOXVcr3aDfPYyNFhdR6GEvDeAoF21tSBWti2MZ+T1HPpoSpc V8ltG5PoAeg8F0UjLovbUG3U3+D9ln2LG1oGd7PdFwOqVsar0bNbZ7BtKQqQ2cBr8fn9EvUe gn5L0xJFT1bBRDCXgq+eOHovZ6ZraCZHrbsdqOeJ+zR9qoOEa/Pn8vn05M6rW/TbYPWbyUkV 7tjnRMdOBIxU8XBx2dVE31Rx3+LNpTL4k/7o3I/r9jjoq6yBkSytc3WWuEUaZI2qli3mfvRb bfOwnwieHADjNVUgiaZrdpXlEgbjyUkH9W0OZIHsyOFDKfZm6sNSgUedzs2LsxDqaQ1wghKP 8ffzNLzzL9xyPAvWR9DUhT6l8elaNZvQSn1PU7bBEuNKLWNJCHai8Dxb6SmTLRMjeJS/xSus DefGkXnM3yNjT7sHxyoNOhNimmcMnk88MmldQ1xDGH4UN/8QhiyMdsykidvhLNo3zXFMmkTN TU6eERI7/WR4S5envRjCjlB435ifozm026S6+jVLIpTsOM+WHwl0bIHpi5gkv0JtXIhJrQ9g ibZo99wrkvzl+COzmAiSx9SsnNRg4nNu0x+OKLf/50GWHDe/RtL43/DbnZC79ZjFNDrvLhdj 9bVk6emYjVf99PZ+40HBsfSL8aKK1IuNBPoHHjfCw5PHlvJfSnPwldQlv2f7Cjftp8htp3lg 4YDUJdeXV0xU+wAUwFrQIVEL5BwUTcp17WciYRbgBj25AmUT8JcsJfdU/uUCvi6MzeVg45PY B4QyK/5J4AeXmUa80lra10/g56TXkSMBJZCpSpuagJyq0JIoiAWpogb1Efsawfr63gWR6bcd vEehQ53YOBr/zDpsQ5fGw== IronPort-Data: A9a23:xo2T/qiF90fQtCto8SzateqYX161ShYKZh0ujC45NGQN5FlHY01je htvUGDVPfmJYTHyLdokOYSxpEME75TTzdEwGgQ4+Xo3Ri1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKidUsxIbVcMpB0J0HqPoMZkxN446TSFK1nV4 4mq+ZWGYAbNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Npl7b2fFw13NI/3n9sZFF58DWJPBI9o9+qSSZS/mZT7I0zudnLtx7BxFhhzM9FBvOlwBm5K+ LoTLzVlghKr3brnhuLmDLM234J/daEHP6tH0p1k5TPECfcrR9bYQqrM4ttVxx8/g8lPGbDVY M9xhT9HNUWYOkATaw9/5JQWven1t3TvbwJjmVuWia0t3mXj1SZz+e24WDbSUoXSGZ89clyjj mnP+mC8BhABKPSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiM3DVWBkFPE1S8pva9hwi1XNc3x 1EoFjQG9Ykdqkb1RPvGWCK85zmgoF0tYvh+HLhvgO2S8Zb87wGcD2kCazdObt06qcM7LQDGM HfZzrsF4hQ/4NWopWKhGqS89mztZHBERYMWTWpVEltfuoiLTJQb10qXFr5e/LiJYsoZ8AwcL hiPpSk6wqoJ1IsFi/z98lfAjDah4JPOS2bZBzk7vEr1v2uVh6b/P+REDGQ3C94ecO51qXHf5 xA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSL4INAOvm0veBk5WirhRdMPS B+C0e+2zM8DVEZGkYcqC25MI5hwlPO4TIyNug78NIMUPcUZmPC7ENFGPBbMhQgBYWAjlqYwP ZrzTCpfJSdyNEiT9xLvH711+eZzmEgWnDqLLbiilkjP+efAORa9FOhdWHPTP7hRxP7V+239r ocPX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/L7DbelQ+RDB+Wpc8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTvJVrYZ3Z9RqnoWJoj/3s3MTZ9b1mt0nknJ42o6f5HJZcweLAm8s1lzOJ1H 6FVIZXeXqwXR2SV4SkZYLn8sJdmK0amiAeICCyvP2oycptmcArW94K2ZQDo7iQPUnG6uJJm8 b2t3w/WW7QZQAFmAJqEYf6j1QLjsn0UmeY0VEzNe4EBdELp+YlsCirwkv5ne5FWeUufnmOXj l/EDw0ZqO/Bp54O3OPI3a3U/Z20F+ZeH1ZBGzaJ4LuzMx7c9DXxzIJFVtGOYmmBBm75/aOVZ dJVwev5B/sJkQsYqIF7Cbtqkfsz6taz9b9XygNoQCfCY1ixUOgyJ3CH2YxQrPQIyOMA/wSxX U2L959RPrDQYJHpF1sYJQwEaOWf1KFLxmODs6xteEiqtjVq+LenUFlJO0XegiJqKrYoYpgux v0suZJL5gHj2AAmNM2K0nJd+2iWdCdSVqwmstQFGtauhFZyjF5FZpPYB2n955TWM4dANUwjI zm1gqvehuQDmhCTLSJrTXWdj/BAgZkuuQxRyANQLVq+nNeY1OQ82wdc8GhqQwlYpvmdPzmf5 oS224xJyaSyE/NAgcFCWyWzAVgECkHAvEP2zFQNmSvSSEzAuqkh6oEiEb7lwazb2zs0kvtnE HWwx2PsUDKsd8b0tsf3cVAwsOTtFLSd6SWb8P1K3K25810Sbj/sg6vobm0Nw/ci7QXdm2Wfz dRXEC1MhWEX+MLeT2DXy2VX6FjIdC25GQ== IronPort-HdrOrdr: A9a23:nCW98KOp8ksOZcBcTsyjsMiBIKoaSvp037BL7TEXdfUxSKalfq +V7ZcmPHPP6Ar5O0tApTnjAtjjfZq0z/ccirX5Vo3SOTUO1lHYSL2KLrGP/9QjIUDDHyJmup uIupIRNOHN X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,333,1635199200"; d="scan'208,217";a="19015490" X-MGA-submission: =?us-ascii?q?MDFVwJiVW/5fIZEuC57+uoZnnaE1aT8/twN5cr?= =?us-ascii?q?StC0s2ruSL/wHlXqInKnmIOazSlkXx9D7cUIop+RETM/1sKoERxLnFr7?= =?us-ascii?q?b6HLhrh9qObf9FAaUyBVvn5530heHDR6gPskqCvQimXtw2ReEXzgCZaZ?= =?us-ascii?q?+QhflemhjweUMwBkfcKyIRhw=3D=3D?= Received: from mail-wr1-f41.google.com ([209.85.221.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Feb 2022 09:55:04 +0100 Received: by mail-wr1-f41.google.com with SMTP id s9so30472349wrb.6 for ; Tue, 01 Feb 2022 00:55:04 -0800 (PST) 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=azp5nhULVQU52vJwfRdVpF1ZakjWQ5vHJZirVyhLIcI=; b=CNA+P2rjxYxH5xXR4uok5uJrkf75++Pg/FOw53aLdUDiYkwFFihGUYzTc8PSQM83aw +t3cutHU9475zl/YJNMGoRBHOzKaQEdIgXZdW6Ftfjybr2w3cYPgXughZXJ5EtQftfBX WE8JeACIfWlE16hI0gCEm9k1hZ+h8T0O7yvSUMXpjxAgJ5VlIwx387/3a1TDprg36Z+6 TP5/CGxsNjBmedDNH8kekY9k433kBsWwf+ceqguhhRWa83zaybzuIL/nak6oiuurls8x q7K3dD91xjU/3iUSGhiV1swyKhvxDnckayLsT1XDmzKVoRAK9VmBh7Y3PmXBWJz5jHvw WfTQ== 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=azp5nhULVQU52vJwfRdVpF1ZakjWQ5vHJZirVyhLIcI=; b=iQfJf9IOYBvAZd1SRwwiR8CrJ41UyOl4s9+ZBgcw3UZqISvmNXu7/k+pNxFmvHL0lY TilqCxmwHcuhvkGW+EDjgqBkO/kZuKwAA8Z6JtdYabMmdkoeY5mCFDGMWjjoEn9HNyME BcVger2ne34rnCR329JYalG2KoADOv+OYVfUe4jKDJ4tDzh/uFv439TKekKfdmFTimhD 1f+P3FGBN0AAeK4I9K4rLU9mheSk04TUc19oA7i0s5zK8Y3OCqBjHs6IiLbGw+VfrIwk +x3mD0iWfAe9MHJlfU9aH53J8IwjkV6Ye/AoZDnjsN4LzoPmYAx7uN9d96yHzEaDHrd+ 1jMQ== X-Gm-Message-State: AOAM531KpwKebtRr6c02peE87WbAA1rKO8AlWN50k+78CGPT2hh5WSDW jp9tgPTZ4MeUt55/MtdXTyW8rTuycQho4F8MkxYn3MUNAro= X-Google-Smtp-Source: ABdhPJyzoRunLH8Fp3OBA5vSnYcXy6Va3Rt4AuaCn7b4fNMYojvJwIzdPlhvR6aZj+pA7bFuYLv2lPWTpCzsyEOnnE4= X-Received: by 2002:a2e:83d0:: with SMTP id s16mr15277450ljh.296.1643705270731; Tue, 01 Feb 2022 00:47:50 -0800 (PST) MIME-Version: 1.0 From: Julien Signoles Date: Tue, 1 Feb 2022 09:47:39 +0100 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="000000000000c7060805d6f0f454" Subject: [Caml-list] 2 postdoc positions on Runtime Verification at CEA LIST, =?UTF-8?Q?Universit=C3=A9?= Paris-Saclay, France Reply-To: Julien Signoles X-Loop: caml-list@inria.fr X-Sequence: 18687 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --000000000000c7060805d6f0f454 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 has 2 open postdoc positions in the area of runtime verification for code safety and security: - Designing Compilation Techniques for Improving Efficiency of E-ACSL, a Runtime Assertion Checker for C Programs http://julien-signoles.fr/positions/postdoc-eacsl.pdf - Control Flow Integrity for Remote Attestation http://julien-signoles.fr/positions/postdoc-cfi.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 welcome: - programming * OCaml and C * formal semantics - formal verification * runtime verification, static analysis, formal specification languages, ... - 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). Best regards, Julien Signoles --000000000000c7060805d6f0f454 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 has 2 open postdoc positions in the=20 area of runtime verification for code safety and security:

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

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

The candidates will:
- solve challenging research problems;
- implement their results in Frama-C, an industrial-strength open-source=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=20 at least one of the following areas is welcome:
- programming
=C2=A0=C2=A0=C2=A0 * OCaml and C
=C2=A0=C2=A0=C2=A0 * formal semantics
- formal verification
=C2=A0=C2=A0=C2=A0 * runtime verification, static analysis, formal specific= ation languages, ...
- compilation
=C2=A0=C2=A0=C2=A0 * code generation, program transformation, type system, = ...

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

Best regards,
Julien Signoles
--000000000000c7060805d6f0f454--