From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id C717E7ED5C for ; Thu, 9 Aug 2012 10:10:01 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.215.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.215.182 as permitted sender) identity=mailfrom; client-ip=209.85.215.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ey0-f182.google.com) identity=helo; client-ip=209.85.215.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-ey0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsCADpvI1DRVde2k2dsb2JhbABFhgGzUggiAQEBAQkJCwkUBCOCOQIPHQEwBwIDDQUmFgsCCwMCAQIBIgEFAS8GAgEBHodcAwwEB5phgmEJA4tUg0GFaCcNiUgBBQyOT4IKgRIDjlmBIIVQgRSESIUxgyU+gVSCLA X-IronPort-AV: E=Sophos;i="4.77,738,1336341600"; d="vcf'?scan'208";a="169459170" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Aug 2012 10:10:01 +0200 Received: by eaak11 with SMTP id k11so62087eaa.27 for ; Thu, 09 Aug 2012 01:10:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:message-id:date:from:user-agent:mime-version:to:subject :content-type; bh=q6H7aTYN0ql0gX+KqvPaNyRKF9Dgt528qUMr7h05qVE=; b=J/wP2eUf1b0r5fgkcZtWbAGNMCmg9e2CZCj74DOqyhIHjzhKcsfCuy+haQlu/FbPge jZwa/PTRQy4uzjkreq0FDPR4g5lKWpGp28prjTksCmTz4pwaztCKiVonown1BqIA4Q/c Yt8DfSgj3DOWrpfCTYhBaaa1KuZofAlWx2ii2UvQ/0Wy0T1M5i+CW86S0kZ2NNh2LObR m083bLMSLt8lnt4pMZsSnv6kS9EaCkPoFfhRBOFXk3/AWUZRfTngArmUy0nHQ/YNa3AA M/HgeU1fIDXzsuGmuJrr2aESE6WIJanPG5N9xZQ0rzL5YJuKlMRq8yWQvQSLIdQ3QLmg RDpA== Received: by 10.14.198.200 with SMTP id v48mr26585150een.3.1344499801069; Thu, 09 Aug 2012 01:10:01 -0700 (PDT) Received: from [192.168.0.5] (lns-bzn-48f-81-56-241-169.adsl.proxad.net. [81.56.241.169]) by mx.google.com with ESMTPS id k41sm1308032eep.13.2012.08.09.01.09.59 (version=SSLv3 cipher=OTHER); Thu, 09 Aug 2012 01:10:00 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <50237056.9050500@inria.fr> Date: Thu, 09 Aug 2012 10:09:58 +0200 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120714 Thunderbird/14.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/mixed; boundary="------------080801050005060602040408" X-Validation-by: fabrice.le_fessant@inria.fr Subject: [Caml-list] postdoc positions at INRIA Saclay This is a multi-part message in MIME format. --------------080801050005060602040408 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit New postdoc positions at INRIA Saclay OCaml performance, memory management and multicore Job description: We are currently looking for two one-year postdocs at INRIA Saclay[0], to work on improving OCaml memory management, particularly in the context of multicore systems. The candidate would contribute either to the implementation of the OCaml runtime, to benefit from multicore systems, or to the implementation of compiler optimizations and tools to improve the performance of theorem provers, as part of the Bware ANR project. INRIA Saclay is one of the most recent units of Inria, the French public institute of Computer Science. It is located close to Paris, on the Campus of Saclay, colocated with the University of Paris 11 and several of the best engineer schools in France (Ecole Polytechnique, ENSTA, Supelec, etc.). The Bware ANR project: Bware is a project funded by the ANR (French Research Funding Agency), to improve "Atelier B" [1], an industrial tool to efficiently deploy the B method, developed by Clearsy. Bware will replace the current solver used in Atelier B by new provers developed at INRIA (Dedukti[2], Zenon[3], Why[4], Alt-Ergo[5]), most of them written in the OCaml language. Part of the work will be to improve the performances of these solvers, by implementing new compiler optimizations in OCaml and taking benefit of multicore systems. Bware is a project gathering both academic partners (CEDRIC, INRIA, LRI) and industrial partners (Clearsy, Mitsubishi MERCE, OCamlPro). Requirements: Candidates should have a Ph.D. in Computer Science, and a previous experience of both functional programming and system/compiler development. Application details: To apply, or for more information, you can contact Fabrice Le Fessant (fabrice.le_fessant@inria.fr). Applications should contain a detailed CV, with a particular focus on the experience, both theoretical and practical, that would be useful in the context of this postdoc. [0] http://www.inria.fr/en/centre/saclay/ [1] http://www.atelierb.eu/en/ [2] http://www.lix.polytechnique.fr/dedukti/ [3] http://focal.inria.fr/zenon/ [4] http://why.lri.fr/ [5] http://alt-ergo.lri.fr/ --------------080801050005060602040408 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------080801050005060602040408--