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 c5ff346549e7 (Postfix) with ESMTPS id 852025D5 for ; Fri, 13 Apr 2018 21:55:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,446,1517871600"; d="scan'208,217";a="322817386" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Apr 2018 23:55:00 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 734F282445; Fri, 13 Apr 2018 23:55:00 +0200 (CEST) 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 4F4938240C for ; Fri, 13 Apr 2018 18:52:51 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fabrice.le_fessant@ocamlpro.com; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3APNqHcB/Jlf7OLv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0OMcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsVSmpbXshfWS9PDJ6i?= =?us-ascii?q?YYQTFOcOJ/pUopPnqlcSsRezBw+hD/7vxD9SgX/22LU33eQ7Hg7dxgwgHs4Bv2?= =?us-ascii?q?rJp9vzKqgZTOC7w7fTzTXYdfxW3yv945XPfxAvu/6DRqhwccvNxkYxDQ/Fikuf?= =?us-ascii?q?ppTrPzyLzeQNqHKU7+x8Ve+0jG4otxt+oj2rxsc0kInJgZgZxUzD9SV82Ys4I8?= =?us-ascii?q?CzRkB8Yd6hCpRQtieaOpNqQsIjWGFnpDw1yrsctZ66eygG0JAnxx/Ga/yacoiH?= =?us-ascii?q?/xPjVPqRIDthgHJqYrS/hxmo/Uin0O38WdG40FFWoSVfl9nMsmgN1wbU6sSdVv?= =?us-ascii?q?R9+UKh1DCS3A7Q8uFJOV44mbbfJpI7wbM9loAfvVrdEiPqgkn6kaybelki9+O1?= =?us-ascii?q?8eroeK/mqYWZN4JsigHxLKAumsunDOQ9KAcOXmyb9f2l1L3g4UH1WbtKguA1n6?= =?us-ascii?q?XFqpzaKsMbpqm2Aw9RzIkv8QqwDzCj0NgAnHkHKkxKeA6fgoT3J13DJOr0APS/?= =?us-ascii?q?jli2jjtn2ezKMqf8DpjOMnTPiLLhcqx8605Yxgoz19df55dMB7EPOv38QVXxtN?= =?us-ascii?q?3DDh8iMgy0xuHnBc5y1oMbQ22PA6uZPLnOvl+P4+IjO/OMa5MNuDbhN/gl4Obj?= =?us-ascii?q?gmMjll8YeamlxJ8XaHGjHvR6OEiZenrtgtIZEWgQpAY+TerqiEeDUTFJfXqyUb?= =?us-ascii?q?g8tXkHD9eBBo7GQsiIib2F3SG0VrlXfXwOXluFFHOtc4SfR98NbjiTK4lviGpX?= =?us-ascii?q?b7W5T54d0kSgvQXSz7dpI/HP8ysE85TuyItb/erWwD87/yZ1BMnV92zFYWxvhW?= =?us-ascii?q?oOW3di0ql1u012xxGH3J92judDHNpPz/RCWwI+LYTbied9DoahCUr6Yt6VRQP+?= =?us-ascii?q?EZ2dCjYrQ4d0modWOhcvK5CZlhnGmhGSLfoQnr2PCoYz9/uFjXf0Lsd5jX3B0f?= =?us-ascii?q?t41gV0co50LWSjw5VH2U3LHYeQzxeenK+vcbwG22jG82LRlTPT7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aZkbSqo6ntEbLTrvrELd/dwUYmZbEJaxNZdnky15BQaW7NQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARAgAW39Baf7TcVdFcHgEMBoJNgVYXY?= =?us-ascii?q?yiDJT+BHZN3gwOBZ5EVC4FnH4FbhTgZBwEENBQBAgEBAQEBAQEBARMBAQkLCwg?= =?us-ascii?q?mJQxCEAGBYiQBglsXbwkENwIkEgEFASIThQ2NF4xigx08g06HN4IchEmDfYIvE?= =?us-ascii?q?odyghOBD4dLARIBgx+CVAKHF5BHCIVYhkyCFjaBOIFjiHaJJYZjDyGBBDOBAnF?= =?us-ascii?q?NI4EBBoEGGG4JhXOCZIIwhT4/MIgThC+CNgEB?= X-IPAS-Result: =?us-ascii?q?A0ARAgAW39Baf7TcVdFcHgEMBoJNgVYXYyiDJT+BHZN3gwO?= =?us-ascii?q?BZ5EVC4FnH4FbhTgZBwEENBQBAgEBAQEBAQEBARMBAQkLCwgmJQxCEAGBYiQBg?= =?us-ascii?q?lsXbwkENwIkEgEFASIThQ2NF4xigx08g06HN4IchEmDfYIvEodyghOBD4dLARI?= =?us-ascii?q?Bgx+CVAKHF5BHCIVYhkyCFjaBOIFjiHaJJYZjDyGBBDOBAnFNI4EBBoEGGG4Jh?= =?us-ascii?q?XOCZIIwhT4/MIgThC+CNgEB?= X-IronPort-AV: E=Sophos;i="5.48,446,1517871600"; d="scan'208,217";a="261999216" Received: from mail-qk0-f180.google.com ([209.85.220.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Apr 2018 18:52:49 +0200 Received: by mail-qk0-f180.google.com with SMTP id p23so857031qke.3 for ; Fri, 13 Apr 2018 09:52:49 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=dKeQB1aa/7OtLe1sUhIpbfHEie8xO9/GSprD394LB+Y=; b=P7eeSK+xIcsgmPF8/J1Ol7vwTZOLkPwvUw5Et4jmOhN31fs/2+DnJiIuU+m9dFXE01 Vaum9qlO6/h6aARlhTQ3XlJBT49UB8aaxIt8ob9rieAYwfa8/QAglhsGxzv94gifQXa7 8lWTrufeS6tQzvfU5Tm5AOoiNWkVH6ZGseV705LikYk1/NJhj3KhgnttsersNA3LctHK Ve8ddU8Ip1qrY/f/UeyfPryyuYawR4dAsPwS4kPz2j5ELiXy6moYPK9siLSwG7YMczlC JQWWJgcbmGLYihTeF002ad0gXJh8iCQ4438q5mLF9gXOXv3YtVpXVkdFwtHJm2AP8j8q YjVg== X-Gm-Message-State: ALQs6tBK0pGFxY49//oboT9J0mSQ4xxRhSXqlK0j31/BsjJYEVUGisWY DU2j7Q4Enu0Wf3JASIAiIAoxvlKRhUAgCE8DikGDsg== X-Google-Smtp-Source: AIpwx4+JlebUZmLCCdxXR+OUI7mKa139ozEyqN5X5ybswD9IAfIq+2u3wwP3n1UEA9LwWgJvI+hg12RaByD8HktL5uA= X-Received: by 10.55.139.7 with SMTP id n7mr5137767qkd.210.1523638368703; Fri, 13 Apr 2018 09:52:48 -0700 (PDT) MIME-Version: 1.0 Reply-To: fab@lefessant.net From: Fabrice Le Fessant Date: Fri, 13 Apr 2018 16:52:38 +0000 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="001a114f8a88bb9d710569bdb3b3" X-Validation-by: fabrice.le_fessant@ocamlpro.com Subject: [Caml-list] OCamlPro recrute/is hiring X-Loop: caml-list@inria.fr X-Sequence: 16810 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --001a114f8a88bb9d710569bdb3b3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable (English below) OCamlPro est une entreprise fran=C3=A7aise cr=C3=A9=C3=A9e en avril 2011. E= lle a trois principaux domaines d'activit=C3=A9 : * L'outillage autour d'OCaml. Nous concevons des outils de d=C3=A9veloppeme= nt pour OCaml (en g=C3=A9n=C3=A9ral en open source). Ces outils vont de l'util= itaire en ligne de commande (OPAM, ocp-build) aux outils avec interfaces graphiques ( OCaml Memory profiler) ou web (TryOCaml, le MOOC OCaml, etc.). * Les m=C3=A9thodes formelles. OCamlPro participe =C3=A0 de nombreux projets collaboratifs avec des laboratoires et des entreprises pour d=C3=A9velopper= des outils pour la v=C3=A9rification logicielle, tel le SMT Solveur Alt-Ergo (i= ssu du LRI) * Les blockchains. OCamlPro a cocon=C3=A7u et coimpl=C3=A9ment=C3=A9 la blo= ckchain Tezos. OCamlPro oeuvre aujourd'hui sur de l'outillage autour de Tezos (tel http://tzscan.io ) et d'autres projets autour de blockchains ( http://liquidity-lang.org ) Nous accueillons des d=C3=A9veloppeurs OCaml passionn=C3=A9s, avec des nive= aux diff=C3=A9rents de comp=C3=A9tences et exp=C3=A9rience, de niveau master = =C3=A0 postdoctoral. Chez OCamlPro, chaque ing=C3=A9nieur travaille en parall=C3=A8le sur des pr= ojets =C3=A0 long terme, et plus court terme pour des clients, dans diff=C3=A9rents sect= eurs inustriels. Si vous voulez rejoindre Fabrice, =C3=87agdas, Pierre, Louis, Mohamed, Thom= as, Pierrick, Michael, Vincent, Raja et Muriel, envoyez nous par email votre C.V. et une description de certaines de vos r=C3=A9alisations =C3=A0 : contact@ocamlpro.com http://www.ocamlpro.com/ (English version) OCamlPro is a French company, located in Paris, born in 2011. Today, OCamlPro is working mostly on three topics: * OCaml tooling : design of development tools for OCaml (open-source most of the time). Such tools range from command-line tools (such as OPAM or ocp-build), tools with graphical interfaces (the OCaml Memory Profiler) and web-based tools (TryOCaml, the OCaml MOOC). * Formal methods : OCamlPro is involved in collaborative projects with academia and industry to develop tools for software verification, such the Alt-Ergo SMT Solver (from LRI). * Blockchains : OCamlPro has been involved in the design and implementation of the Tezos ledger. OCamlPro is now working on tooling for Tezos (such as http://tzscan.io) and other blockchain projects. We are looking for passionate OCaml developers, with different levels of skills and experience, from master to PhD++. Every developer at OCamlPro is usually working on both long-term projects, and shorter customer-driven projects, in many different areas of industry. If you want to join Fabrice, =C3=87agdas, Pierre, Louis, Mohamed, Thomas, Pierrick, Michael, Vincent, Raja and Muriel, email your resume or C.V. and a description of some of your accomplishments to: contact@ocamlpro.com http://www.ocamlpro.com/ --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --001a114f8a88bb9d710569bdb3b3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(English= below)

OCamlPro est une entreprise= fran=C3=A7aise cr=C3=A9=C3=A9e en avril 2011. Elle a trois principaux doma= ines d'activit=C3=A9 :
* L'outillage autour d'OCaml. Nous concevons des outils de d=C3=A9veloppement pour=C2=A0= OCaml=C2=A0(en g=C3=A9n=C3=A9ral= en open source). Ces outils vont de l'utilitaire en ligne de commande = (OPAM, ocp-build) aux outils avec interfaces graphiques (OCaml=C2=A0Memory profiler) ou web (TryOCaml, le M= OOC=C2=A0OCaml, etc.).
* Les m=C3=A9thodes formelles= . OCamlPro participe =C3=A0 de nombreux projets collaboratifs avec des labo= ratoires et des entreprises pour d=C3=A9velopper des outils pour la v=C3=A9= rification logicielle, tel le SMT Solveur Alt-Ergo (issu du LRI)
* Les blockchains. OCamlPro a = cocon=C3=A7u et coimpl=C3=A9ment=C3=A9 la blockchain Tezos. OCamlPro oeuvre= aujourd'hui sur de l'outillage autour de Tezos (tel=C2=A0http://tzscan.io=C2=A0) et d&#= 39;autres projets autour de blockchains (http://liquidity-lang.org=C2=A0)

Nous accueillons des d=C3=A9veloppeurs=C2=A0OCaml=C2=A0passionn=C3=A9s, avec des n= iveaux diff=C3=A9rents de comp=C3=A9tences et exp=C3=A9rience, de niveau ma= ster =C3=A0 postdoctoral. Chez OCamlPro, chaque ing=C3=A9nieur travaille en= parall=C3=A8le sur des projets =C3=A0 long terme, et plus court terme pour= des clients, dans diff=C3=A9rents secteurs inustriels.=C2=A0
Si vous voulez rejoindre Fabrice,= =C3=87agdas, Pierre, Louis, Mohamed, Thomas, Pierrick, Michael, Vincent, R= aja et Muriel, envoyez nous par email votre=C2=A0
C.V. et une description de certaines de vos r= =C3=A9alisations =C3=A0 :

<= div style=3D"color:rgb(33,33,33);font-size:13px">(English version)
OCamlPro is a French co= mpany, located in Paris, born in 2011.
Today, OCamlPro is working= mostly on three topics:

*=C2=A0OCaml=C2=A0tooling : design of development tools f= or=C2=A0OCaml=C2=A0(open-source<= /div>
=C2=A0 most of the time). Such tools range from command-line tool= s (such as
=C2=A0 OPAM or ocp-build), tools with graphical interf= aces (the=C2=A0OCaml
= =C2=A0 Memory Profiler) and web-based tools (TryOCaml, the=C2=A0OCaml=C2=A0MOOC).

= * Formal methods : OCamlPro is involved in collaborative projects with
=C2=A0 academia and industry to develop tools for software verificati= on, such
=C2=A0 the Alt-Ergo SMT Solver (from LRI).
* Blockchains : OCamlPro has been involved in the design and
=C2=A0 implementation of the Tezos ledger. OCamlPro is now working = on
=C2=A0 tooling for Tezos (such as=C2=A0http://tzscan.io) and other blockchain project= s.

We are looking for passionate=C2=A0OCaml=C2=A0developers, with different level= s
of skills and experience, from master to PhD++. Every developer= at
OCamlPro is usually working on both long-term projects, and s= horter
customer-driven projects, in many different areas of indus= try.

If you want to join Fabrice, =C3=87agdas, Pie= rre, Louis, Mohamed, Thomas,
Pierrick, Michael, Vincent, Raja and= Muriel, email your resume or
C.V. and a description of some of y= our accomplishments to:

--001a114f8a88bb9d710569bdb3b3--