From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 5FEC97EE94; Tue, 25 Dec 2012 13:43:24 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail4-smtp-sop.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 (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-wg0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBAAee2VBKfVItjWdsb2JhbABEg0i6HxYOAQEBAQkJCwkSBiOCXQgBKg0CAw0FDBoWGAMCAQIBIgEFASMMBgIBAYd9Aw8ElyuOJIEKhEEnDYlPAQUMihOCQ4Q4A5I8iTuIfT+BV4I/gWw X-IronPort-AV: E=Sophos;i="4.84,352,1355094000"; d="scan'208";a="166770015" Received: from mail-wg0-f45.google.com ([74.125.82.45]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Dec 2012 13:43:23 +0100 Received: by mail-wg0-f45.google.com with SMTP id dq12so3617698wgb.12 for ; Tue, 25 Dec 2012 04:43:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:message-id:date:from:user-agent:mime-version:to :subject:content-type:content-transfer-encoding; bh=yW/Tjuz7JIVkSrgVl3D48LRjyq4oY44gxsso/UwELMA=; b=y9oPQnYQ/gvrv2pdmZXUHULjQhj7nk+1VtNXC3l2VHTtGOHYlXXb32jqeGptpbS+n9 /zfq6JiEOwDbHCGBBN3Wbto7b/MdQTh9l35ylrj+IzvtBbW9eQasGlfPEFWk12JakRWl 0IXQC4OnmU+KnO2ZFgTxuVKttGqve3pBLOG40ylP2ZsM462OyLw2VGiBQXmTddviiZcu FYylVAOFaHRchGoBJYPwiwEy+vOosEruhJrewcVNjXkxQ9o8ENRuoDrhaHIjycf+wDtQ pXW1ue0N4FFxLFaKq6wSII6xOXUxrqNYIVKqMVW/ejjGgDDJSfkzk5IpF7DbGz6hfCer 8DTg== X-Received: by 10.194.236.166 with SMTP id uv6mr39642793wjc.34.1356439403235; Tue, 25 Dec 2012 04:43:23 -0800 (PST) Received: from [192.168.0.43] (lns-bzn-48f-81-56-241-169.adsl.proxad.net. [81.56.241.169]) by mx.google.com with ESMTPS id ew4sm38421277wid.11.2012.12.25.04.43.22 (version=SSLv3 cipher=OTHER); Tue, 25 Dec 2012 04:43:22 -0800 (PST) Sender: Fabrice Le Fessant Message-ID: <50D99F68.6060805@lefessant.net> Date: Tue, 25 Dec 2012 13:43:20 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: caml-list@inria.fr, ocaml-jobs@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] [job offer] Post-doc/Software Engineer at OCamlPro OCamlPro is a French company devoted to the promotion of the OCaml language in the industry, as a way to make industrial software more reliable. OCamlPro participates to the development of OCaml, and develops its own tools and libraries, such as OPAM, ocp-build, Typerex, etc. to facilitate the use of OCaml in big software projects. OCamlPro is located in the Alan Turing building of INRIA Saclay, at Ecole Polytechnique, south-west of Paris. We are currently involved in the "Richelieu" project, a collaborative R&D project to develop an LLVM-based optimizing JIT compiler for the Scilab software, an open-source Matlab equivalent, in association with INRIA, Scilab Enterprise and Univ Paris 6 (Lip6). As part of this project, the French government is funding a two-year R&D position at OCamlPro. For this position, we are looking for an OCaml expert, with background in typing, software analysis and/or compilation. The engineer will have to work in close collaboration with other teams involved in the project, especially at INRIA, but also in Scilab Enterprise and LIP6 (VMKit team). Although this particular offer focuses on the Richelieu project, the engineer will have the opportunity on the long term to work on other projects in which OCamlPro is involved: improving the OCaml compiler, developing new development tools for OCaml and helping OCamlPro customers in their daily use of OCaml. Please email your resume or C.V. and a description of some of your best accomplishments to: contact@ocamlpro.com For more information on OCamlPro, visit our website: http://www.ocamlpro.com/