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 7B6EA7F98F; Wed, 19 Jul 2017 09:34:58 +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-qt0-f194.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fabrice.le_fessant@ocamlpro.com) identity=pra; client-ip=209.85.216.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrice.le_fessant@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.216.194 as permitted sender) identity=mailfrom; client-ip=209.85.216.194; receiver=mail3-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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f194.google.com) identity=helo; client-ip=209.85.216.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qt0-f194.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AiTyMVRQ3euNanX7GzJ6ygytdodpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybRyN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRODY28?= =?us-ascii?q?YYUBDPcPM/hEoITmvVQCsQGzCBOwCO/zyDJFgGL9060g0+QmFAHLxAwuEMgVv3?= =?us-ascii?q?TOrdX6KLkdWv2zwqbW0D7Nb+1Z2Szm6IfSdBAhveyHULV+ccXL0kYvDQLFgUmO?= =?us-ascii?q?poD/OzOayPwCs2aF4Op7TuKgkWgnqx1qrzio2sgjkIzJhoYNylDe8iV12po6Jd?= =?us-ascii?q?q9SENiZ9OvDZhetzmCOodoXs8vR3tktSU6x7Ecp5K3YSkHxI46yxPbZPGKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8WdO10FZOtyZFi8XMumwU2xzd98SKTv?= =?us-ascii?q?Rw8l2u2TaI0ADT5eVELl4umaXHLJ4hx6Y8lpsVsUvdAi/7gFv6gLOSe0k++eWl?= =?us-ascii?q?6/7rbqv7qpKdLYN4lwXzP6s2lsy6G+s4MwwOX2aB+eS70b3u5UP5T69Rgf0sk6?= =?us-ascii?q?nZq4vaJcUepq6+GAJV3YMj5Ay+DzeiytgXgX4HLFdddBKdk4fpI03OIOz/Dfqn?= =?us-ascii?q?n1ujijJrx/TfMr3lA5XNNWTDnaz6fbd97k5c0BA8wcpe55JSELEBIej8VlX/tN?= =?us-ascii?q?zCFhU5KRC7w/77CNVh0YMTQWWPDbODP6PXtV+E/+AvI+6Xa48Oozv9MPgk5/v2?= =?us-ascii?q?jXAjg1MdfK+p3YEWaH+iBPhmLV+ZMjLQhYImGm4PukIbRe3uiVuNGRpSfGr6C6?= =?us-ascii?q?k14zV+DIO9Ea/CQJqsifqPxnH/Vppdb2VCT1KLG2zAdoOeWv5KZjjBDNVml2kq?= =?us-ascii?q?XLK7SoQsnTWj/CH30KFuKPacriMRv4ji39Uz4+Dkmxwp7jVyE+ya2GiIS3lumS?= =?us-ascii?q?UDQDpgj/M3mlB01lrWifswuPdfD9EGoqoRCgo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B9BABgCm9Zf8LYVdFcHgYMGQYMhSeDL?= =?us-ascii?q?4F5nS4BnkpDFAEBAQEBAQEBAQEBEgEBCQsLCCYxgjMkAYJTF04hDTcCJBIBBQE?= =?us-ascii?q?iARIbihSRQpEbP4wKgiaLOBKDFiyNA4MggmEFiV2VXJQZhVKMXZQUM4EVNoErU?= =?us-ascii?q?iN4BoZ2QDaGFoI9AQEB?= X-IPAS-Result: =?us-ascii?q?A0B9BABgCm9Zf8LYVdFcHgYMGQYMhSeDL4F5nS4BnkpDFAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBCQsLCCYxgjMkAYJTF04hDTcCJBIBBQEiARIbihSRQpEbP?= =?us-ascii?q?4wKgiaLOBKDFiyNA4MggmEFiV2VXJQZhVKMXZQUM4EVNoErUiN4BoZ2QDaGFoI?= =?us-ascii?q?9AQEB?= X-IronPort-AV: E=Sophos;i="5.40,380,1496095200"; d="scan'208,217";a="232009377" Received: from mail-qt0-f194.google.com ([209.85.216.194]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jul 2017 09:34:56 +0200 Received: by mail-qt0-f194.google.com with SMTP id p25so4034366qtp.2; Wed, 19 Jul 2017 00:34:56 -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:from:date:message-id:subject:to; bh=hjnISBanDa2hWNKhlD/IZWuyRh9M7L0x5l/R1rAVhYw=; b=Xkb0Fe63j9PBqrYgYwJHo1yHNc817+on+FwCD+fozWYM/w5NAd8z4rdexPS+lUCrV9 yv4v+Ch2oORATCQ6Fxrq8SeZLCPRvivl/I+sLt9YEkK6VQCiC3VlpxbqniJVBJ8F5Ofy /m3i6YrLYWR1Xe+lrcPNvrhzq0z3UG1D09Ezk1+yv+sUqjOUHo2TFUEMgHcL+ClReXth ThoLbFp9tkb4JtC5CGHq6fkgb3vafcqqPU8TmR3psJltbkT7BfX9Ox2DokA2y7kEcx0f QVKbhPVnJ3UKr3NJsPhhA7ZmEcxFg61UBwmXbpx2lWbE6l9nlgetH5FEYou9etx2FId9 rOPw== X-Gm-Message-State: AIVw1117h3XFWYiAmJyr1cUaEzoReaVvdssx7UM+1m697CVnDdxS87FH /cbBvQsTualraQIZ+cMnTEENwG41FrO0 X-Received: by 10.200.5.134 with SMTP id a6mr1775756qth.44.1500449695063; Wed, 19 Jul 2017 00:34:55 -0700 (PDT) MIME-Version: 1.0 From: Fabrice Le Fessant Date: Wed, 19 Jul 2017 07:34:44 +0000 Message-ID: To: Ocaml Mailing List , ocaml-jobs@inria.fr Content-Type: multipart/alternative; boundary="089e08e53d5913e7ed0554a6abaf" X-Validation-by: fabrice.le_fessant@ocamlpro.com Subject: [Caml-list] OCamlPro is hiring/recrute on/sur Tezos --089e08e53d5913e7ed0554a6abaf Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable English and French versions: ---------------------------- English version ----------------------------------------- Tezos is a blockchain project, entirely developed in OCaml, that comes with breaking-edge features, such as a self-amending system for upgrades, proof-of-stake instead of proof-of-work, intensive use of static types and formal methods, both for the implementation and for the development of smart contracts. It can be seen as the most promising challenger for Bitcoin and Ethereum. A prototype of Tezos has been developed for some time at OCamlPro for Dynamic Ledger Solutions, and, following a successful ICO in June, we are now strengthening the team to release soon the first version, and maintain it in the future, in collaboration with the new born Tezos Fundation and academic partners. We are thus looking for motivated, highly-skilled OCaml programmers for the project. Tezos is a challenging project, with a mix of state-of-the-art algorithms in formal methods, distributed systems and cryptography. Backgrounds in one or more of these fields would be highly appreciated. We are both hiring for short term contracts (1 or 2 years, postdocs), for the first versions of the project, and long term contracts, for maintenance and evolution of the project, with competitive salaries. OCamlPro is currently located in Paris, France. All the developments will be released in open-source by the Tezos Fundation. If you are interested in joining the team and contributing to the project, contact us as early as possible at contact@ocamlpro.com with some motivation hints and a CV. ---------------------------- French version ----------------------------------------- Tezos est un projet de blockchain, enti=C3=A8rement d=C3=A9velopp=C3=A9 e= n OCaml, qui utilise les technologies les plus r=C3=A9centes, telles qu'un syst=C3=A8me d'auto-gestion de son =C3=A9volution, de la proof-of-stake au lieu de l'habituelle proof-of-work, et un usage intensif de types statiques et des m=C3=A9thodes formelles, aussi bien dans l'implantation que pour le d=C3=A9veloppement des smart contracts. C'est probablement le challenger le= plus prometteur pour Bitcoin et Ethereum. Un prototype de Tezos a =C3=A9t=C3=A9 = d=C3=A9velopp=C3=A9 chez OCamlPro depuis un certain temps pour Dynamic Ledger Solutions, et, suite au succ=C3=A8s de son ICO (financement participatif en =C3=A9change d= e futurs jetons) en juin, nous sommes en train de renforcer l'=C3=A9quipe pour fourn= ir bient=C3=B4t la premi=C3=A8re version, et la maintenir et la faire =C3=A9vo= luer dans le futur, en collaboration avec la nouvelle fondation Tezos et des partenaires acad=C3=A9miques. Aussi, nous recherchons pour le projet des programmeurs OCaml motiv=C3=A9= s et hautement qualifi=C3=A9s. Tezos est un projet offrant de nombreux d=C3=A9fi= s, avec un mix d'algorithmes dernier cri en m=C3=A9thodes formelles, syst=C3=A8mes dis= tribu=C3=A9s et cryptographie. Une connaissance d'un ou plusieurs de ces domaines serait tr=C3=A8s appr=C3=A9ci=C3=A9e. Nous recrutons =C3=A0 la fois sur des contra= ts courts (1 =C3=A0 2 ans, postdocs), pour les premi=C3=A8res versions du projet, et sur des cont= rats longs, pour la maintenance et l'=C3=A9volution du projet, avec des salaires comp=C3=A9titifs. Les bureaux d'OCamlPro sont =C3=A0 Paris. Tous les d=C3= =A9veloppements seront distribu=C3=A9s en open-source par la Fondation Tezos. Si vous =C3=AAtes int=C3=A9ress=C3=A9s par rejoindre l'=C3=A9quipe pour co= ntribuer au projet, contactez nous rapidement =C3=A0 contact@ocamlpro.com en nous transmettant = vos motivations et un CV. --Fabrice Scientific Advisor at OCamlPro --089e08e53d5913e7ed0554a6abaf Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
English and French versions:

---------------------------- English version ------------------------= -----------------

=C2=A0 =C2=A0 Tezos is a b= lockchain project, entirely developed in OCaml, that comes with breaking-ed= ge features, such as a self-amending system for upgrades, proof-of-stake in= stead of proof-of-work, intensive use of static types and formal methods, b= oth for the implementation and for the development of smart contracts. It c= an be seen as the most promising challenger for Bitcoin and Ethereum. A pro= totype of Tezos has been developed for some time at OCamlPro for Dynamic Le= dger Solutions, and, following a successful ICO in June, we are now strengt= hening the team to release soon the first version, and maintain it in the f= uture, in collaboration with the new born Tezos Fundation and academic part= ners.

=C2=A0 We are thus looking for motivated, hi= ghly-skilled OCaml programmers for the project. Tezos is a challenging proj= ect, with a mix of state-of-the-art algorithms in formal methods, distribut= ed systems and cryptography.=C2=A0 Backgrounds in one or more of these fiel= ds would be highly appreciated. We are both hiring for short term contracts= (1 or 2 years, postdocs), for the first versions of the project, and long = term contracts, for maintenance and evolution of the project, with competit= ive salaries. OCamlPro is currently located in Paris, France. All the devel= opments will be released in open-source by the Tezos Fundation.
<= br>
=C2=A0 If you are interested in joining the team and contribu= ting to the project, contact us as early as possible at contact@ocamlpro.com=C2=A0with s= ome motivation hints and a CV.

-------------------= --------- French version -----------------------------------------

=C2=A0 Tezos est un projet de blockchain, enti=C3=A8rement= d=C3=A9velopp=C3=A9 en OCaml, qui utilise les technologies les plus r=C3= =A9centes, telles qu'un syst=C3=A8me d'auto-gestion de son =C3=A9vo= lution, de la proof-of-stake au lieu de l'habituelle proof-of-work, et = un usage intensif de types statiques et des m=C3=A9thodes formelles, aussi = bien dans l'implantation que pour le d=C3=A9veloppement des smart contr= acts. C'est probablement le challenger le plus prometteur pour Bitcoin = et Ethereum. Un prototype de Tezos a =C3=A9t=C3=A9 d=C3=A9velopp=C3=A9 chez= OCamlPro depuis un certain temps pour Dynamic Ledger Solutions, et, suite = au succ=C3=A8s de son ICO (financement participatif en =C3=A9change de futu= rs jetons) en juin, nous sommes en train de renforcer l'=C3=A9quipe pou= r fournir bient=C3=B4t la premi=C3=A8re version, et la maintenir et la fair= e =C3=A9voluer dans le futur, en collaboration avec la nouvelle fondation T= ezos et des partenaires acad=C3=A9miques.

=C2=A0 A= ussi, nous recherchons pour le projet des programmeurs OCaml motiv=C3=A9s e= t hautement qualifi=C3=A9s. Tezos est un projet offrant de nombreux d=C3=A9= fis, avec un mix d'algorithmes dernier cri en m=C3=A9thodes formelles, = syst=C3=A8mes distribu=C3=A9s et cryptographie. Une connaissance d'un o= u plusieurs de ces domaines serait tr=C3=A8s appr=C3=A9ci=C3=A9e. Nous recr= utons =C3=A0 la fois sur des contrats courts (1 =C3=A0 2 ans, postdocs), po= ur les premi=C3=A8res versions du projet, et sur des contrats longs, pour l= a maintenance et l'=C3=A9volution du projet, avec des salaires comp=C3= =A9titifs. Les bureaux d'OCamlPro sont =C3=A0 Paris.=C2=A0 Tous les d= =C3=A9veloppements seront distribu=C3=A9s en open-source par la Fondation T= ezos.

=C2=A0Si vous =C3=AAtes int=C3=A9ress=C3=A9s= par rejoindre l'=C3=A9quipe pour contribuer au projet, contactez nous = rapidement =C3=A0 contact@ocamlpro.= com=C2=A0en nous transmettant vos motivations et un CV.

<= /div>
--Fabrice
Scientific Advisor at OCamlPro

=
--089e08e53d5913e7ed0554a6abaf--