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 C72505D5 for ; Mon, 19 Apr 2021 16:42:46 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,234,1613430000"; d="scan'208,217";a="503986019" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Apr 2021 18:42:45 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 87324E02DE; Mon, 19 Apr 2021 18:42:45 +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 62249E00B8 for ; Mon, 19 Apr 2021 18:42:43 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=david.baelde@gmail.com; spf=Pass smtp.mailfrom=david.baelde@gmail.com; spf=None smtp.helo=postmaster@mail-qv1-f46.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AqM1zdBOYVpwy9P5tHEIl6nZhChdPi93PFj5Q0YI?= =?us-ascii?q?ujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fq4BSdfsd6oizMrSNR0TRgLi?= =?us-ascii?q?MEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgV?= =?us-ascii?q?rO+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txvdutUZjIdtKKs8yQbCr2dVd?= =?us-ascii?q?ehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/?= =?us-ascii?q?YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkh?= =?us-ascii?q?SEaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4G?= =?us-ascii?q?yYJYVD+cZMulWr4fzqVgToxWgGQahH/ngxiNSi3LswaE2z+YsHAfb1wIgBdIOt?= =?us-ascii?q?3HUoc37OqgIT+C1zbTHxijeYvxMxzj97JXHfQ48qvyLQL1/a9TRyUgyGA/flVq?= =?us-ascii?q?fs5LqPzeI2esTqGWb4O9gWviui24jsQ1+vj+vxsI1h4TPm4kaxUzK+z9jz4YpO?= =?us-ascii?q?d23VlR7Ydi8HZdOuC+XNYR7T80sTmxruis0yrIItJ60ciYFx5kqyBDRZuCJfYW?= =?us-ascii?q?M4x/vSeacLCp3iXxlZb6ymhm//Eq8x+D+SMS51ktBoCRCktnJrH8N1hrT59CGS?= =?us-ascii?q?vtn/0ehwiyA2xrd6uFeJ00/iKnVK4Y5z7IuipYetV7PEyz2lUnskqOaa0Ep9vK?= =?us-ascii?q?n5unmZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgWbVKkOA6n?= =?us-ascii?q?rDXsJ3VJMkXvKG5AwhS0oYs7xawES2q38gfnXkCNF5FeRSHgJb1O1zWPvz0EfO?= =?us-ascii?q?yj06vnTpr3fzKIKDtD5HXInXMkbrtZbN95FRdyAo3w9Bf/ZVUCrQZLf3uQEDxq?= =?us-ascii?q?t3YAQIjPwOv2enoFtF92Z4AVm+UDa+ZNbndsV6M5u41P+aMY4oVtC7nK/c5//7?= =?us-ascii?q?ukWM5mVgFcKa1x5QXbXS4Eu1iI0WYenrsnswMEXwKvwo7VOzlkkeOUT9VZ3aoX?= =?us-ascii?q?qIz/Cs3CIy8DdSLeof4p5eI2SPzO5RXYmFABRioEGz0P9GPUvIILSaTOdNJkzo?= =?us-ascii?q?eVLHnRZV3hj+0swqv57N5L+ac0CQVsZ7unIx57vPSmVc4/DFwA8m13GSETmUyl?= =?us-ascii?q?WQNEWxllJtjqFBwnw/QmZNzhOZVQJkKv6shejd/DobVyqlBM/63Wg/Feb+hTV+?= =?us-ascii?q?nRpC/H2h0QI5vhdAJZEl5FpOpiRWRh0KCM/ouj7WOQacM3OfZ1nn1Kdx6zh7u2?= =?us-ascii?q?6wojl1gScxKZzTOrp46zBDaAsvyq2vcj7yjHYwT2SfM8CGIym/c5Cll?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AvOyBAKittql/gH98fQEJLSsJ33BQXmcji2hD?= =?us-ascii?q?6mlwRA09T+WzkceykPMHkSLlkTp5YgBGpfmsGomlBUnd+5l8/JULMd6ZNjXOlW?= =?us-ascii?q?O0IOhZnOjf6hL6HSmWzI5g/INBV4Q7N9HqF1h9iq/BgTWQN9o72tGI/OSJqI7l?= =?us-ascii?q?vhVQZDpnYa1h8At1YzzzeiZLbTNbDpk0Hof03LsjmxOcfx0sH6CGL0hAceyGg9?= =?us-ascii?q?HQjprpbVo9GhY75GC14Q+A2frVFR6X2xtbfhFu5fMZ8WbDmxHk/anLiZyG4y6Z?= =?us-ascii?q?+WnU4ZFb3OHk18IGPsqRkcIYQw+Cti+YIL9sUbGDozw5ydvA1GoX?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AFAQCZsX1gfy7bVdFaHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCEoJXAUpWOjGEQ4EenBOFPINQiCALAQMBDSoKBAEBhFCBdgIdBwE?= =?us-ascii?q?ENBMCEQEBBQEBAQIBAwMEARMBAQ0LCwgnHIVQDYI4KQGDWQ4UER0BGx4DEggBB?= =?us-ascii?q?zcCJAERAQUBIjWCUIJUAQMvD5s3gh2BBD2LMYEVBQEXgQGCBQaEXgoZKA1jA4E?= =?us-ascii?q?4AgEGEoEohWeBGgEBhnkQgVVCgUmCPYNNA4IMgmqCYQSEAYIrkROpaCwHgw8Eg?= =?us-ascii?q?RwGC4g3kyQjiW+bE6EOl2MQI4FIToEuMxojgQGCOFAZDo4fg3CBPokhQi8CATU?= =?us-ascii?q?CBgoBAQMJjQ8BAQ?= X-IPAS-Result: =?us-ascii?q?A0AFAQCZsX1gfy7bVdFaHAEBAQEBAQcBARIBAQQEAQGCEoJ?= =?us-ascii?q?XAUpWOjGEQ4EenBOFPINQiCALAQMBDSoKBAEBhFCBdgIdBwEENBMCEQEBBQEBA?= =?us-ascii?q?QIBAwMEARMBAQ0LCwgnHIVQDYI4KQGDWQ4UER0BGx4DEggBBzcCJAERAQUBIjW?= =?us-ascii?q?CUIJUAQMvD5s3gh2BBD2LMYEVBQEXgQGCBQaEXgoZKA1jA4E4AgEGEoEohWeBG?= =?us-ascii?q?gEBhnkQgVVCgUmCPYNNA4IMgmqCYQSEAYIrkROpaCwHgw8EgRwGC4g3kyQjiW+?= =?us-ascii?q?bE6EOl2MQI4FIToEuMxojgQGCOFAZDo4fg3CBPokhQi8CATUCBgoBAQMJjQ8BA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.82,234,1613430000"; d="scan'208,217";a="379086944" X-MGA-submission: =?us-ascii?q?MDG1k1xZlAuaofo57RCy0sZKOs2rkxeo99Y5iE?= =?us-ascii?q?oh1jCHPDNaBcroAIgiflMb0GCxvAdXD9UWeoR9c4rY8HtNK3qFSQhtBJ?= =?us-ascii?q?04OkObbGiFaZMSaP2JZpvPtU9U0LGwcO38WDf30UuJ46UuBgW7FAoUFc?= =?us-ascii?q?VWwORjQCkw9AjRpoM1VicUPg=3D=3D?= Received: from mail-qv1-f46.google.com ([209.85.219.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 19 Apr 2021 18:42:42 +0200 Received: by mail-qv1-f46.google.com with SMTP id dp18so12563471qvb.5 for ; Mon, 19 Apr 2021 09:42:42 -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=XTTg5TowBJznGsYo1+DG90G45DECCPyHpcKW7AVQRNo=; b=hdKaIdauI7DY47eq9FiHP0Znr/TpUfB6kIvldhqFV+Cid/3RD6QBZs1ZMMbxYtqpTB MH2Ex/2eYlE9W/l6BhBCZTE9Cjj+LgJ/cHKCQyt7jX1DzwuAC9u6posobjVbBMqibVVx 7H518hfPhaP7S+ppXCzclQx6f8itAm9PPa4tizQBvE6DGQMO1BWm4xIQ/4PlL8O1Zwjp +f3m8hblhxXtgqLSczOInOb1DTiXXoIb4REMQFkE5spBrkrhUP6V8jVUiZ2SfbKcvxiU APcTCZqqJmIhE0KpCaY11JSQ9GpIdKJ8wOs/ateugpqkuQco2V4Mc1aLlVc0abyyGshh yUww== 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=XTTg5TowBJznGsYo1+DG90G45DECCPyHpcKW7AVQRNo=; b=c6bXz/H2YW6cGy5wA+GOMa7Ksylv2CJHlqydy0zFJWKNvS2IPfi4SUIzMP6XkHuC+o MwULL4uJxUlS+3yW8nTMYHYSgWjUmrHUtu8+5cgWLqG0uZQgbOvXHxzlDfWbsKkAL/Sc /MFe1fsThme8Nl5scbIkAe4K1Dcyfc2Xy+PvfTnyBI/W/YgC8whj3H9y1wIRqdGPDLzX lipGt2LG5X3bw4ggqgOLAVurbmY6y3OXPVcqcDwb8FT7S4mZpArH2tQT86i5eoUwf7g3 8TxY+ZvidWiB933G199DKeHpqjsZMRm/sgDkuBLKBd18pRkEpaPo3ghqUzde4LTcLcdh K3hQ== X-Gm-Message-State: AOAM531Jh3ROB5uwQfBtqAgAHRVizys2ouGg3JsC6+czaW+RGwxAqqAu N0Arpr59+hWfVmXlcXGjFKzlsrGSCi4L3J9qwg4qhvpDcus= X-Google-Smtp-Source: ABdhPJzwWpwi5b8H6OUXXihkoXkOfOHT8J3sUudmdv4noWtGnHASPjF/ca4b5hm3a/xIlxQOMF3C9xoFPTOtIsj0yug= X-Received: by 2002:a0c:db82:: with SMTP id m2mr22682986qvk.37.1618850560768; Mon, 19 Apr 2021 09:42:40 -0700 (PDT) MIME-Version: 1.0 From: David Baelde Date: Mon, 19 Apr 2021 18:42:30 +0200 Message-ID: To: OCaml Mailing List Content-Type: multipart/alternative; boundary="0000000000009e7fab05c0560430" Subject: [Caml-list] Engineer position for the development of the Squirrel prover Reply-To: David Baelde X-Loop: caml-list@inria.fr X-Sequence: 18471 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: --0000000000009e7fab05c0560430 Content-Type: text/plain; charset="UTF-8" Hi, We are looking for an engineer to support the development of Squirrel, an interactive theorem prover for security protocols. The position will be funded by ERC POPSTAR. You may find more details here: https://people.irisa.fr/Stephanie.Delaune/internship/sujet-engineer-squirrel.pdf Skilled OCaml developers would be most welcome! Best regards, -- David Baelde LMF, ENS Paris-Saclay --0000000000009e7fab05c0560430 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

We are = looking for an engineer to support the development of Squirrel, an interact= ive theorem prover for security protocols. The position will be funded by E= RC POPSTAR. You may find more details here:

Skilled OCaml developers would be most we= lcome!

Best regards,
--
David Baelde
LMF, ENS Paris-Saclay
--0000000000009e7fab05c0560430--