From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A305D7F0AF; Mon, 14 Mar 2016 15:58:08 +0100 (CET) IronPort-PHdr: 9a23:Dp5jcRM/9wYsnAgsBO8l6mtUPXoX/o7sNwtQ0KIMzox0Kf77rarrMEGX3/hxlliBBdydsKIbzbuI+P67EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxhr75pcabSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpC39C7Dauw7e/s902S2bO8K+abEvRXz25K5uTFrsiTwbHz8/6mDezMJq2uYTpxmoohg6wYnee6mUMuB/d+XTZ4A0X21EC+9LUSVcDsuHd4oQBuECdbJRtY/0ulcmtgO/GgCnB6XpxyMe1Sy+5rEzz+l0SVKO5wcnBd9b9SmNoQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=arnaud.spiwack@gmail.com; spf=Pass smtp.mailfrom=arnaud.spiwack@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of arnaud.spiwack@gmail.com) identity=pra; client-ip=209.85.213.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of arnaud.spiwack@gmail.com designates 209.85.213.42 as permitted sender) identity=mailfrom; client-ip=209.85.213.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vk0-f42.google.com) identity=helo; client-ip=209.85.213.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="postmaster@mail-vk0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BeDABV0OZWkyrVVdFdg2Q0bQaFO6JigX+IVYZIgQSCEYI8gVmCfwc5EwEBAQEBAQEBEAEBAQEHDQkJIS9BAQEBAgEIBIFagi0RHQEsDQMNBQkHNwIkEgEFASIBEhkCB4dtAxIOnlOBMT4xizaEQYVWJw2ERAwYAQUKBY5VEQEIgxaBOgWHX49sgSiERogSZIFMgiiKLYc9hgIRHoEPDxIBdYMwOy6BfoFXggODUQgXgRsBAQE X-IPAS-Result: A0BeDABV0OZWkyrVVdFdg2Q0bQaFO6JigX+IVYZIgQSCEYI8gVmCfwc5EwEBAQEBAQEBEAEBAQEHDQkJIS9BAQEBAgEIBIFagi0RHQEsDQMNBQkHNwIkEgEFASIBEhkCB4dtAxIOnlOBMT4xizaEQYVWJw2ERAwYAQUKBY5VEQEIgxaBOgWHX49sgSiERogSZIFMgiiKLYc9hgIRHoEPDxIBdYMwOy6BfoFXggODUQgXgRsBAQE X-IronPort-AV: E=Sophos;i="5.24,335,1454972400"; d="scan'208,217";a="168579189" Received: from mail-vk0-f42.google.com ([209.85.213.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Mar 2016 15:58:07 +0100 Received: by mail-vk0-f42.google.com with SMTP id e185so211492839vkb.1; Mon, 14 Mar 2016 07:58:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to; bh=jm4xrz7i/zqcBjIb9W4eIYmw9NQhWZSH1hIlnLczb5Y=; b=Vcei2e7vAvHFwIE9LEP47sOTVZSuIsZ1dOW916FgRlv5owNUPRXU9fhbUapZax8wX8 LtCB4dieiYUrhndHToqf/rYcRHVl2hI7V++Cn087ozYPxrcuk5kas9VKsRH/NNwEe55C srwJp2Z/9qUMreh+WqWhZ31rGb7LyalhSorNoppJjdRELwBg2Two9lkb9HiwhrPuMFP2 /FKXXpsAoua2Zs4pLWKlkZEj3o/jgY/31NovUEqhKT9Zrmrxs9xuszIY8/wBTI0LLBds cHsGSR5td/6bk5sHxM9OG4obBbomuafr0UVZDmg9qYlXHw4RgL9esnE0+Ik0RuM5EMMf HzYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=jm4xrz7i/zqcBjIb9W4eIYmw9NQhWZSH1hIlnLczb5Y=; b=XJ71qvhw7ZZG79VQrHDYLlm+zM7iYET/GG0kes4MyrzwE4OQ7H/HfDEcUGEMCKjzq+ VKjbq3APxSs84TV8CsrO1eGxQGnPuBg1h56hG/4ovoY9aDZc9wYqbeoREbIskLjlXdvZ 0AacrLdhmDp6akxbEVfDxCZtbUZbm5xQlxEqi4TvX8MC2hJa1Tr3lJphvTY4JWmCnydX oBd4EboSNmccMGArw2QL5MXSySFvLuXy8GF6+Ukmu53HB7c1EwhkMMQzf2sYxEGptXkm KSVZZ7hzVsSNTEObnTTZe7hMZ1N8Fb1bjS/PiW4EImB5O8HLsbKc2oPtOWFQl0B61xV1 ofZw== X-Gm-Message-State: AD7BkJKplwZtwz8+SxADF/+iLRPJNSLnnvzqR6LWitgyRZJsKE8awI9fVDutxlzd8jMvX+VDyEW00lP/wd4AFw== X-Received: by 10.31.54.75 with SMTP id d72mr24898077vka.30.1457967486283; Mon, 14 Mar 2016 07:58:06 -0700 (PDT) MIME-Version: 1.0 Sender: arnaud.spiwack@gmail.com Received: by 10.176.2.178 with HTTP; Mon, 14 Mar 2016 07:57:26 -0700 (PDT) From: Arnaud Spiwack Date: Mon, 14 Mar 2016 15:57:26 +0100 X-Google-Sender-Auth: USNUA-6PxoipluXHarUlTuZyR0c Message-ID: To: OCaML Mailing List , ocaml-jobs@inria.fr Content-Type: multipart/alternative; boundary=001a11430a1e1d3597052e03824d X-Validation-by: arnaud@spiwack.net Subject: [Caml-list] Software engineer position at Tweag I/O --001a11430a1e1d3597052e03824d Content-Type: text/plain; charset=UTF-8 Dear all, Tweag I/O [1] (is hiring. We're looking for a software engineer in the Paris area. The position involves Haskell, not Ocaml, but it may still be of interest to this list. Details of the position below. ------------------------------------------------------------------------------- Software Engineer position ========================== Tweag I/O is looking for distributed systems engineers to be part of one of several projects in Europe focused on developing the next wave of storage solutions in Haskell and in C, targeted at the Exascale. Many of our existing folks come from diverse backgrounds, be it a PL research and/or formal methods background, high-speed storage or machine learning. We are active maintainers of the Cloud Haskell [2] project and authors of the HaskellR [3] project, among other open source contributions. Our engineers spend a fair amount of time building the tools they need to make their life here a happy one. We love Nix [4] and Stack [5] so much to build and deploy our software that we made it easy to use both together [6]. For this position we're looking to have you join a local team near our headquarters here in Paris. We're pretty happy to look at helping you relocate if you're up to spending some time in this beautiful city. Fluency in French not required. If you like the idea of working on the software plumbing and infrastructure for tomorrow's Science, by systematically decomposing them into simple, orthogonal solutions that compose and commute like in algebra, give it a try! About us ======== We are a research and development laboratory at the heart of Europe, applying functional programming techniques to tame the complexity of distributed systems and scale predictably. We are a distributed company with a presence across Europe, and on-site teams at our headquarters in the very center of Paris. Our mission is to build and integrate solutions for our customers to support insight discovery and science. If you'd love the opportunity and the space to solve hard problems shoot us an email at jobs@tweag.io. [1]: http://www.tweag.io/ [2]: http://haskell-distributed.github.io/ [3]: http://tweag.github.io/HaskellR/ [4]: http://nixos.org/nix/ [5]: http://haskellstack.org/ [6]: http://www.tweag.io/blog/stack-nix-portable-reproducible-builds --001a11430a1e1d3597052e03824d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,

Tweag I/O [1] (is hiring. We're looki= ng for a software engineer in the Paris area. The position involves Haskell= , not Ocaml, but it may still be of interest to this list. Details of the p= osition below.

-----------------------------------------------------= --------------------------

Software Engineer position
=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Tweag I/O is looking for distributed systems engineers to be part of one = of several projects in Europe focused on developing the next wave of storag= e solutions in Haskell and in C, targeted at the Exascale.

Many of o= ur existing folks come from diverse backgrounds, be it a PL research and/or= formal methods background, high-speed storage or machine learning. We are = active maintainers of the Cloud Haskell [2] project and authors of the Hask= ellR [3] project, among other open source contributions. Our engineers spen= d a fair amount of time building the tools they need to make their life her= e a happy one. We love Nix [4] and Stack [5] so much to build and deploy ou= r software that we made it easy to use both together [6].

For this = position we're looking to have you join a local team near our headquart= ers here in Paris. We're pretty happy to look at helping you relocate i= f you're up to spending some time in this beautiful city. Fluency in Fr= ench not required.

If you like the idea of working on the software p= lumbing and infrastructure for tomorrow's Science, by systematically de= composing them into simple, orthogonal solutions that compose and commute l= ike in algebra, give it a try!

About us
=3D=3D=3D=3D=3D=3D=3D=3D<= br>
We are a research and development laboratory at the heart of Europe,= applying functional programming techniques to tame the complexity of distr= ibuted systems and scale predictably. We are a distributed company with a p= resence across Europe, and on-site teams at our headquarters in the very ce= nter of Paris. Our mission is to build and integrate solutions for our cust= omers to support insight discovery and science. If you'd love the oppor= tunity and the space to solve hard problems shoot us an email at jobs@tweag.io.

[1]: http://www.tweag.io/
[2]: http://haskell-distributed.github.io/
[3]: http://tweag.github.io/HaskellR/
[4]: http://nixos.org/nix/
[5= ]: http://haskellstack.org/
[6]= : http://www.tweag.io/blog/stack-nix-portable-reproducible-builds
<= /div> --001a11430a1e1d3597052e03824d--