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 sympa.inria.fr (Postfix) with ESMTPS id D27C0822AC for ; Mon, 13 Nov 2017 09:41:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xavier.leroy@gmail.com; spf=Pass smtp.mailfrom=xavier.leroy@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f41.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of xavier.leroy@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of xavier.leroy@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="postmaster@mail-wm0-f41.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9tozwxN2AzT0HYjHprol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/T/rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6alFTpsmVXQkm3dVct?= =?us-ascii?q?Z7e9JomHhM2y06W2+obPK1FDjT+5JLdzNwmerAPLt8BQj5E0eYgrzR6cknJWeu?= =?us-ascii?q?lMjUdlP1WC10LM79mx8YQl1ylKvOMJ9shaUKy8cb5uHu8QNygvL21gvJ6jjhLE?= =?us-ascii?q?VwbauyMR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRBABQWglafylSfUpbHQEBBQELAYJmg?= =?us-ascii?q?SMQgQITg36ZSIFXmREfgWKICkIVAQEBAQEBAQEBARIBAQkLCwgmMYI4BQMEDBK?= =?us-ascii?q?CZh0BEhgPAw0FHwImAjYBBQEiDQYCAQGKBgMVAQ+fKECMDYInF4JzBYN6Jw2Dc?= =?us-ascii?q?wIGCQEIfYIlggeBVYISC4YfhQOCQyAFoiqBA4ZojRmCdIMGhXKHVoxoiQ8CBAI?= =?us-ascii?q?EBQIGFCSBFTWCFDQhKYM+CXmBCgwBNIITdoZSDIIDAQEB?= X-IPAS-Result: =?us-ascii?q?A0BRBABQWglafylSfUpbHQEBBQELAYJmgSMQgQITg36ZSIF?= =?us-ascii?q?XmREfgWKICkIVAQEBAQEBAQEBARIBAQkLCwgmMYI4BQMEDBKCZh0BEhgPAw0FH?= =?us-ascii?q?wImAjYBBQEiDQYCAQGKBgMVAQ+fKECMDYInF4JzBYN6Jw2DcwIGCQEIfYIlgge?= =?us-ascii?q?BVYISC4YfhQOCQyAFoiqBA4ZojRmCdIMGhXKHVoxoiQ8CBAIEBQIGFCSBFTWCF?= =?us-ascii?q?DQhKYM+CXmBCgwBNIITdoZSDIIDAQEB?= X-IronPort-AV: E=Sophos;i="5.44,388,1505772000"; d="scan'208";a="300501721" Received: from mail-wm0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Nov 2017 09:41:19 +0100 Received: by mail-wm0-f41.google.com with SMTP id b189so6555304wmd.0 for ; Mon, 13 Nov 2017 00:41:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:to:from:subject:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=RS4XAWbyRzOczm+xrhvOZ1bHGTy8Aw55VmXc7AHv9LY=; b=rZBAJc3kZqiFsPF3e7p//eAkxzz3QLLeRObXu28Jg77UT8EbSiHC1gU5GRO/L+aFej ivQebZAhUspzM+1tK6oYmbbtjs1hC75Zd1gaOpDnkfg0Sd95lttMp6YxssNnIVXZ7tiQ IUzBFLA7Zszz7rSz2iQJjB6dDBDi/kgyoSutCnFVWBUVpNnSsSaSvRxXSLCGrMGbITcV TDPLNFK+8LV9Zwe2O7I4HDzApQqZDP/GoJBA+J/IfFi5BHJyZEXA7hEtKBPaeXDuOg2y q7bxXoQEImuLGqigORQs1hIwC5JjIxYi/Ra49+iR/+h/zhd/WLJmPAYpYhW5X26Ml8Xc fa1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:to:from:subject:message-id:date :user-agent:mime-version:content-language:content-transfer-encoding; bh=RS4XAWbyRzOczm+xrhvOZ1bHGTy8Aw55VmXc7AHv9LY=; b=gHefC1iJpANafZaQnpCsnithXQsOg4FHHKewN7OyEYrLU74GRTnFVmtRJ0ACIeHRZP wp5TONn6COYovc3FyiREIQV8IuiWWudTWBRtSQ0ehqsmh52YFl2XZ88gqqFvgHOLrORL rLvGUpaBqxhHyURLUvsEr3zTn/ShvtqI/DhPe6v4pTiPBVrp+QqlzX0ChspJjd+TWEbN UCQewuRkVv6RPauYfqOuPN4jeHELowFyy/r/djwCT4PgRcIt/q/fPDQPNVjT7olDOcVN /UoF9+VqxIK860RGh5HIqWFu7B2WL3wHqKp7avxRcDeCBqI5ZQTZZDMynSURbJjHhIUO wQTg== X-Gm-Message-State: AJaThX59ogDgJJ8tgNHyfcmDbuVOIpLbootfP70BZPDko+4X/P4r7bxU 1YR3x4UWx3wU+AXqG2wFPaHyEmov X-Google-Smtp-Source: AGs4zMZl4AoSGgr6YQTlor5bEqwGjyRMPhe8PVTe7o9oLmr7IbdNIf32mfQDAZf69mYHzvlAdMwjkA== X-Received: by 10.80.245.253 with SMTP id x58mr6983562edm.132.1510562479321; Mon, 13 Nov 2017 00:41:19 -0800 (PST) Received: from ?IPv6:2a01:e35:2ed4:7bf0:9a96:4718:392e:bd7? ([2a01:e35:2ed4:7bf0:9a96:4718:392e:bd7]) by smtp.gmail.com with ESMTPSA id o60sm12123175eda.48.2017.11.13.00.41.18 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 Nov 2017 00:41:18 -0800 (PST) Sender: Xavier Leroy To: caml-list From: Xavier Leroy Message-ID: <353e4bd0-b5ec-2803-27a5-d1a57f368247@inria.fr> Date: Mon, 13 Nov 2017 09:41:18 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: [Caml-list] Post-doc at Inria Paris to work on the OCaml language and core system Interested in contributing to OCaml as part of the team that created it? The Gallium project-team at Inria Paris (http://gallium.inria.fr/) is opening a post-doctoral position to work on the OCaml language and core system. The position is part of the SecurOCaml project (http://ocamlpro.github.io/SecurOCaml/) and aims at improving the usability and reliability of OCaml for the development of high-assurance applications. In this context, a broad variety of OCaml-related research topics can be considered depending on the expertise of the post-doctoral scientist. Theory-oriented topics will be considered but more practically-oriented topics such as tool development and short-term improvements to the OCaml system are especially welcome. The position can start as early as February 2018 and extends until June 2019, with a possible extension to December 2019. The candidate should have a PhD, prior experience in the design and implementation of functional programming languages, and a solid experience in developing advanced software in OCaml. To apply, send your curriculum vitae (including software portfolio and names of references) to Xavier.Leroy@inria.fr.