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 945687FB38; Mon, 22 Dec 2014 16:07:03 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=85.233.204.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=85.233.204.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx20.yaziba.net) identity=helo; client-ip=85.233.204.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx20.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As8AAO0ymFRV6cykh2dsb2JhbABbg1hYgwTDQ4cKFgEBAQEBEQEBAQoLCQcWLoQ2FTwEGhwCBRYLAgsDAgECATQXAQwGAgEBiCwJnHycaJYqgSGRQIFBBYw6ikmBDYJkghKID4M3AoFzgh5ugkMBAQE X-IPAS-Result: As8AAO0ymFRV6cykh2dsb2JhbABbg1hYgwTDQ4cKFgEBAQEBEQEBAQoLCQcWLoQ2FTwEGhwCBRYLAgsDAgECATQXAQwGAgEBiCwJnHycaJYqgSGRQIFBBYw6ikmBDYJkghKID4M3AoFzgh5ugkMBAQE X-IronPort-AV: E=Sophos;i="5.07,624,1413237600"; d="scan'208";a="114529958" Received: from mx20.yaziba.net ([85.233.204.164]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 22 Dec 2014 16:07:03 +0100 Received: from mta10.int.yaziba.net (unknown [10.4.20.30]) by mx20.yaziba.net (mx10.yaziba.net) with ESMTP id 3973D1A769A; Mon, 22 Dec 2014 16:07:02 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id 548CACA695; Mon, 22 Dec 2014 16:07:02 +0100 (CET) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rbdqO66K0vnq; Mon, 22 Dec 2014 16:07:02 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id 2AC91C073C; Mon, 22 Dec 2014 16:07:02 +0100 (CET) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id f4eZO7Xr6fD1; Mon, 22 Dec 2014 16:07:01 +0100 (CET) Received: from [10.0.48.103] (unknown [185.23.92.144]) by mta10.int.yaziba.net (Postfix) with ESMTPSA id D4CCECA72A; Mon, 22 Dec 2014 16:07:01 +0100 (CET) Message-ID: <5498339B.7050203@lexifi.com> Date: Mon, 22 Dec 2014 16:07:07 +0100 From: Alain Frisch Organization: LexiFi User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0 MIME-Version: 1.0 To: caml-list , ocaml-jobs@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable X-DRWEB-SCAN: ok X-VRSPAM-SCORE: 0 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeejiedrkeehgdejjecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucenucfjughrpefkfffhohgfggfvufgtgfesthhqrgdttdefjeenucfhrhhomheptehlrghinhcuhfhrihhstghhuceorghlrghinhdrfhhrihhstghhsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehlvgigihhfihdrtghomh X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: [Caml-list] LexiFi is hiring Dear caml-list, (French version follows.) LexiFi is hiring! We are looking for full time software developers, with a passion for functional programming, ideally in OCaml, and for beautiful code. Learn about how LexiFi uses OCaml: http://www.lexifi.com/product/technology/ocaml No prior knowledge of finance is required. If you are interested, please send your resume to careers@lexifi.com We also offer quantitative developer positions for those with a background in mathematical finance, and internship positions for master or PhD students. About LexiFi: LexiFi is a financial software vendor based in Paris (Boulogne Billancourt). OCaml is our main development language, and we are strongly involved in the evolution of OCaml. We have created approaches and tools, rooted in the theory of programming languages, to radically simplify the development of financial applications. Our products are used by financial institutions and other software or service providers that embed our technology (and sometimes become OCaml enthusiasts as well). For more information, visit http://www.lexifi.com. =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=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D LexiFi recrute ! Nous recherchons des d=C3=A9veloppeurs passionn=C3=A9s par la programmation fonctionnelle, id=C3=A9alement en OCaml, et par le code de qualit=C3=A9. D=C3=A9couvrez comment LexiFi utilise OCaml: http://www.lexifi.com/product/technology/ocaml Aucune connaissance pr=C3=A9alable de la finance n'est requise. Si vous =C3=AAtes int=C3=A9ress=C3=A9, envoyez votre CV =C3=A0 careers@lexifi.com Nous proposons =C3=A9galement des postes d'ing=C3=A9nieur quantitatif pour = ceux qui s'y connaissent en math=C3=A9matiques financi=C3=A8res, et des stages p= our =C3=A9tudiants en M2 ou en th=C3=A8se. =C3=80 propos de LexiFi: LexiFi est un =C3=A9diteur de logiciels financiers bas=C3=A9 =C3=A0 Paris (= Boulogne Billancourt). OCaml est notre principal langage de d=C3=A9veloppement, et nous sommes fortement impliqu=C3=A9s dans les =C3=A9volutions d'OCaml. Nous avons cr=C3=A9=C3=A9 des approches et des outils, inspir=C3=A9s de la th=C3= =A9orie des langages de programmation, pour simplifier de mani=C3=A8re radicale le d=C3=A9veloppement d'applications financi=C3=A8res. Nos produits sont util= is=C3=A9s par des institutions financi=C3=A8res et d'autres fournisseurs de logiciels ou de services qui int=C3=A8grent notre technologie (et deviennent, parfois, eux-m=C3=AAme passionn=C3=A9s d'OCaml). Pour plus d'information, = vous pouvez visiter http://www.lexifi.com.