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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3946280127 for ; Tue, 2 May 2017 18:00:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jobs@besport.com; spf=Pass smtp.mailfrom=vbalat@besport.com; spf=None smtp.helo=postmaster@mail-yb0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jobs@besport.com) identity=pra; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vbalat@besport.com"; x-sender="jobs@besport.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of vbalat@besport.com designates 209.85.213.181 as permitted sender) identity=mailfrom; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vbalat@besport.com"; x-sender="vbalat@besport.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-yb0-f181.google.com) identity=helo; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vbalat@besport.com"; x-sender="postmaster@mail-yb0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGmZ1XBMIt3rekoc26Dsl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivz8rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gINzA3/mLZhNFugq1Hux+uvQBzzpTObY2JKPZzfKXQds4aS2pbWcZRUjRMD56i?= =?us-ascii?q?YIASEuQBJeFYr5Php1ATqha+Bw6sC/j0yjJTnXD5w7Y60/wmEQHcwAwsBc4BsH?= =?us-ascii?q?PRrNjsMqoZTO67zK7NzTrZbvNW3y/w55bUch89u/2MXLZwfMzMwkcsDwPIlkuc?= =?us-ascii?q?pZDhMj+P1ekAs3KX4/R9We+hkWIrtgJ8riWpy8wxkIfGnJgVxUrB9ShhwIY6O9?= =?us-ascii?q?m4SEljbN6hCpRQtiWaO5J2Q8w5X21koSg6xqAFtJKmZiQKx5MnxxnQa/yDbYeE?= =?us-ascii?q?+A7sVOGUITtghXJlfqywhwqq/ES+1uHxUtO43VVKoyZfjNXAq34A2wbO5sWEV/?= =?us-ascii?q?dx5kKh1iyO1wDX5OFEO0c0la/DJp4/2bE/jJ4Tvl7fHiLtg0r5krSWdl0j+uiy?= =?us-ascii?q?9+TreKnpppiZN4NskAHxLrwumtCjAeQ/KgUBQ3KU+eG41LH6+U35Qa5KjuEtn6?= =?us-ascii?q?nCsJHaINwbqbSjDw9U1IYj8Re/AC283NQWh3lUZG5CLViMho3tflXPO+zQDPGl?= =?us-ascii?q?gl3qni0hj6TNN7jlR5HMNWTrkbH7fL875VQKjEJ5yttE5p1ZDJkAJujyUwn/rp?= =?us-ascii?q?aQWhgyKA27zuDPCdNn14pYV3jZRufTN6jbtFvN5OUlOMGNYpUUsXDzMbJts/nl?= =?us-ascii?q?hHo93F0ad7KB3J0NaXn+EO4wcGuDZn+5qNpJKn8NpBZ2GO7tgkaqWzNIf3GoQ+?= =?us-ascii?q?Q34TRtW9HuNpvKWo342O/J5yy8BJADPm0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BnAgDuqwhZhrXVVdFcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhRiDIka+UkMUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMgglUXHQEBKwUIGA0?= =?us-ascii?q?3AiQSAQUBIgESCAyKCpF6kRo/ix1rgiaDCQEBBYg1CBKFWmmBaIdPEgEGgxyCX?= =?us-ascii?q?51ZkxGCAoM7gXyKJZJpM4EVNmBAC04hFV0GhEOCDkA2hluCLgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BnAgDuqwhZhrXVVdFcHQEFAQsBGAEFAQsBhRiDIka+UkM?= =?us-ascii?q?UAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMgglUXHQEBKwUIGA03AiQSAQUBIgESC?= =?us-ascii?q?AyKCpF6kRo/ix1rgiaDCQEBBYg1CBKFWmmBaIdPEgEGgxyCX51ZkxGCAoM7gXy?= =?us-ascii?q?KJZJpM4EVNmBAC04hFV0GhEOCDkA2hluCLgEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,280,1491256800"; d="scan'208,217";a="222192691" Received: from mail-yb0-f181.google.com ([209.85.213.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 May 2017 18:00:50 +0200 Received: by mail-yb0-f181.google.com with SMTP id 8so36004723ybw.1 for ; Tue, 02 May 2017 09:00:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=besport.com; s=google; h=mime-version:from:date:message-id:subject:to; bh=H8vlKWh2RNEmSLNSUJRsStdPmI/zTyIvEZQCohp3KUM=; b=GUjWWxdSIIKgozusnQrkEPZi07HDPczAjMCdcGwMDEgc/fjBQlgOuyeVa3vVNMBVXQ /tXBxsQlyzVM9zSo7RwiZOKrb6Dq/rWjOxwYD682d/gCIDa3yHJGwgh9d54+cDGrSiC7 VXh7k/e5mTH5EVrbfkwKSoJu1JyWxxDnFnG4M= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=H8vlKWh2RNEmSLNSUJRsStdPmI/zTyIvEZQCohp3KUM=; b=tzoj8kh6KCBxtHkQ23zeVjGTaBI2Y6qDneNni1RQaIA7kygBCGULsR82r6uLv8M+tl rcnL0G+ytiZjBmWkcNaX60uQ1YB/NUQ+U+YDgX2ioZoHOFM9qxMfa5S0NLnPr3KCuMS9 9YjbzsPLNd9yvmQsErNQY6BQyPI/yUX3TifRtgE9NGV8opFwEoNSgkKJe37Z9tiBQqvj E1BJmrp0OxaE5PF3m9pgaOEhfOipcsZSpg7ro/anIoilzftaQ4D3HmANIvBf+4+0XUog RRRXXfDkY6fUJoCie8BtRtSjfikpIaJ09vhtoFThQvqyRaXuw1NQmnGr+AxCX9qQnfes 4CDQ== X-Gm-Message-State: AN3rC/5E+ilFDCyo0Aku1VnYtRaENRuEVNuhUqz7kjOn7G3Bv5jZCoEg PK7NiPdnNaciei9Tyhg843CCmV7gaQ== X-Received: by 10.37.176.148 with SMTP id f20mr24798366ybj.3.1493740848602; Tue, 02 May 2017 09:00:48 -0700 (PDT) MIME-Version: 1.0 From: Be Sport Date: Tue, 02 May 2017 16:00:37 +0000 Message-ID: To: "caml-list@inria.fr" , "ocsigen@inria.fr" , "ocaml-jobs@inria.fr" Content-Type: multipart/alternative; boundary=f403045e546cab2231054e8ca4cd Subject: [Caml-list] [jobs] OCaml / Ocsigen developer positions --f403045e546cab2231054e8ca4cd Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [Version fran=C3=A7aise =C3=A0 la fin] Hi, Be Sport is looking to hire developers for fulltime positions in Paris, for a development and research work. If you are interested, please email jobs@besport.com J=C3=A9r=C3=B4me Vouillon and Vincent Balat Profile 1: Development and animation of the Ocsigen project (Js_of_ocaml, Eliom, ...) The developer will be integrated to the Ocsigen team, and will take in charge the implementation and improvement of some modules for Web and mobile development in OCaml. In particular, she/he will possibly work on off-line mobile apps with Eliom, Ocsigen for ReasonML, Eliom apps on MirageOS, client-server widgets for Js_of_ocaml and Eliom, etc. She/he will also take part in the animation of the developers community, relations with users, documentation, etc. Profile 2: OCaml developers (mobile/Web) The developers will take part in the development of some features of our apps. They will be integrated in the programming team: participation in the writing of specifications, implementation (client / server), stylesheets, testing =E2=80=A6 They will initially work on improving existing features, = before progressively taking the lead on some components. Skills in databases, Web technologies and/or machine learning are welcome. The company: Be Sport is a young tech company with an ambitious research and development program. We believe in the use of modern technologies coming from research to build strong basis for our apps. We work in close relationship with research laboratories (CNRS, Inria, univ. Paris Diderot, Univ. Pierre et Marie Curie ...). Our main focus at the moment are languages and typing for Web and mobile apps, recommendation algorithms for social networks, classification algorithms. Our first app is a social network dedicated to sport. Be Sport premises are located in the center of Paris. =3D=3D=3D Be Sport est =C3=A0 la recherche de programmeurs familiers avec les langages fonctionnels pour des travaux de d=C3=A9veloppement et de recherche. Profil 1 : D=C3=A9veloppement et animation du projet Ocsigen (Js_of_ocaml, Eliom...) Le/la d=C3=A9veloppeur/se sera int=C3=A9gr=C3=A9/e =C3=A0 l=E2=80=99=C3=A9q= uipe Ocsigen et prendra en charge le d=C3=A9veloppement d=E2=80=99am=C3=A9liorations et de nouveaux modules p= our le d=C3=A9veloppement Web et mobile en OCaml. En particulier, il/elle pourra = =C3=AAtre amen=C3=A9/e =C3=A0 travailler sur les applications mobiles off-line avec O= csigen, Ocsigen pour ReasonML, applications Ocsigen sur Mirage, widgets client-serveurs, etc. Il/elle participera =C3=A9galement =C3=A0 l=E2=80=99a= nimation de la communaut=C3=A9 de d=C3=A9veloppeurs, aux relations avec les utilisateurs, documentation, r=C3=A9daction d=E2=80=99articles scientifiques, conf=C3=A9r= ences... Profil 2 : D=C3=A9veloppeurs OCaml (mobile/Web) Les d=C3=A9veloppeurs recrut=C3=A9s prendront part au d=C3=A9veloppement de= s applications Web et mobile Be Sport, enti=C3=A8rement d=C3=A9velopp=C3=A9es en OCaml, av= ec Ocsigen. Ils seront int=C3=A9gr=C3=A9s =C3=A0 l=E2=80=99=C3=A9quipe de recherche et d=C3= =A9veloppement : participation =C3=A0 la r=C3=A9daction des sp=C3=A9cifications, impl=C3=A9mentation (client et s= erveur), feuille de style, tests=E2=80=A6 Ils commenceront par l=E2=80=99am=C3=A9lio= ration de fonctionnalit=C3=A9s existantes pour progressivement prendre la responsabil= it=C3=A9 de certains modules. Ils pourront =C3=A9galement participer =C3=A0 l=E2=80= =99important travail de recherche effectu=C3=A9 par l=E2=80=99=C3=A9quipe, notamment sur= les techniques de programmation Web. Des comp=C3=A9tences en bases de donn=C3=A9es, Web et/ou machine learning s= ont appr=C3=A9ci=C3=A9es. L=E2=80=99entreprise : Be Sport est une jeune entreprise technologique avec un ambitieux travail de d=C3=A9veloppement et de recherche. Nous souhaitons nous appuyer sur des technologies modernes, venant de la recherche, pour construire des bases solides pour nos applications. Nous travaillons en collaboration =C3=A9troi= te avec des =C3=A9quipes de recherche (CNRS, Inria, Universit=C3=A9 Paris Did= erot, Universit=C3=A9 Pierre et Marie Curie...). Nos travaux portent actuellement= sur les langages de programmation et le typage pour les applications Web et mobiles, les algorithmes de recommandation pour les r=C3=A9seaux sociaux, l= es algorithmes de classification. Notre premi=C3=A8re application est un r=C3=A9seau social d=C3=A9di=C3=A9 a= u sport. Nos locaux sont situ=C3=A9s dans le centre de Paris. --f403045e546cab2231054e8ca4cd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

[Version fran=C3=A7aise =C3=A0 la fin]



Hi,

=


Be Sport is looking to hire developers for fulltime pos= itions in Paris, for a development and research work.


=

If you are interested, please email=C2=A0jobs@besport.com


J=C3=A9r=C3=B4me Vouill= on and Vincent Balat




Pr= ofile 1: Development and animation of the Ocsigen project (Js_of_ocaml, Eli= om, ...)


The developer will be integrated to the Ocs= igen team, and will take in charge the implementation and improvement of so= me modules for Web and mobile development in OCaml. In particular, she/he w= ill possibly work on off-line mobile apps with Eliom, Ocsigen for ReasonML,= Eliom apps on MirageOS, client-server widgets for Js_of_ocaml and Eliom, e= tc. She/he will also take part in the animation of the developers community= , relations with users, documentation, etc.


Profile = 2: OCaml developers (mobile/Web)


The developers will= take part in the development of some features of our apps. They will be in= tegrated in the programming team: participation in the writing of specifica= tions, implementation (client / server), stylesheets, testing =E2=80=A6 The= y will initially work on improving existing features, before progressively = taking the lead on some components.


Skills in databa= ses, Web technologies and/or machine learning are welcome.


The company:


Be Sport is a young tech company= with an ambitious research and development program. We believe in the use = of modern technologies coming from research to build strong basis for our a= pps. We work in close relationship with research laboratories (CNRS, Inria,= univ. Paris Diderot, Univ. Pierre et Marie Curie ...). Our main focus at t= he moment are languages and typing for Web and mobile apps, recommendation = algorithms for social networks, classification algorithms.


Our first app is a social network dedicated to sport.

Be Sp= ort premises are located in the center of Paris.


=3D=3D=3D


Be Sport est =C3=A0 la recherc= he de programmeurs familiers avec les langages fonctionnels pour des travau= x de d=C3=A9veloppement et de recherche.


Profil 1 : = D=C3=A9veloppement et animation du projet Ocsigen (Js_of_ocaml, Eliom...)


Le/la d=C3=A9veloppeur/se sera int=C3=A9gr=C3=A9/e = =C3=A0 l=E2=80=99=C3=A9quipe Ocsigen et prendra en charge le d=C3=A9veloppe= ment d=E2=80=99am=C3=A9liorations et de nouveaux modules pour le d=C3=A9vel= oppement Web et mobile en OCaml. En particulier, il/elle pourra =C3=AAtre a= men=C3=A9/e =C3=A0 travailler sur les applications mobiles off-line avec Oc= sigen, Ocsigen pour ReasonML, applications Ocsigen sur Mirage, widgets clie= nt-serveurs, etc. Il/elle participera =C3=A9galement =C3=A0 l=E2=80=99anima= tion de la communaut=C3=A9 de d=C3=A9veloppeurs, aux relations avec les uti= lisateurs, documentation, r=C3=A9daction d=E2=80=99articles scientifiques, = conf=C3=A9rences...


Profil 2 : D=C3=A9veloppeurs OCa= ml (mobile/Web)


Les d=C3=A9veloppeurs recrut=C3=A9s = prendront part au d=C3=A9veloppement des applications Web et mobile Be Spor= t, enti=C3=A8rement d=C3=A9velopp=C3=A9es en OCaml, avec Ocsigen. Ils seron= t int=C3=A9gr=C3=A9s =C3=A0 l=E2=80=99=C3=A9quipe de recherche et d=C3=A9ve= loppement : participation =C3=A0 la r=C3=A9daction des sp=C3=A9cifications,= impl=C3=A9mentation (client et serveur), feuille de style, tests=E2=80=A6 = Ils commenceront par l=E2=80=99am=C3=A9lioration de fonctionnalit=C3=A9s ex= istantes pour progressivement prendre la responsabilit=C3=A9 de certains mo= dules. Ils pourront =C3=A9galement participer =C3=A0 l=E2=80=99important tr= avail de recherche effectu=C3=A9 par l=E2=80=99=C3=A9quipe, notamment sur l= es techniques de programmation Web.


Des comp=C3=A9te= nces en bases de donn=C3=A9es, Web et/ou machine learning sont appr=C3=A9ci= =C3=A9es.


L=E2=80=99entreprise :


Be Sport est une jeune entreprise technologique avec un ambitieux trava= il de d=C3=A9veloppement et de recherche. Nous souhaitons nous appuyer sur = des technologies modernes, venant de la recherche, pour construire des base= s solides pour nos applications. Nous travaillons en collaboration =C3=A9tr= oite avec des =C3=A9quipes de recherche =C2=A0(CNRS, Inria, Universit=C3=A9= Paris Diderot, Universit=C3=A9 Pierre et Marie Curie...). Nos travaux port= ent actuellement sur les langages de programmation et le typage pour les ap= plications Web et mobiles, les algorithmes de recommandation pour les r=C3= =A9seaux sociaux, les algorithmes de classification.


Notre premi=C3=A8re application est un r=C3=A9seau social d=C3=A9di=C3=A9 = au sport.

Nos locaux sont situ=C3=A9s dans le centre de Paris.

=

--f403045e546cab2231054e8ca4cd--