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 ESMTP id C89505D5 for ; Sun, 15 Apr 2018 09:56:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,454,1517871600"; d="scan'208,217";a="322918855" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Apr 2018 11:56:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C572F82445; Sun, 15 Apr 2018 11:56:26 +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 5B1558240C for ; Sun, 15 Apr 2018 11:56:20 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oana.piciorus@tezos.com; spf=Pass smtp.mailfrom=oana.piciorus@tezos.com; spf=None smtp.helo=postmaster@mail-pl0-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3At/Gi3B9T0Pemav9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0uIcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mSAXohi?= =?us-ascii?q?kJNDA37X/ZhdBrga1BvB6svQZyz5LIbIyXMvd1Y6PTfckdRWpERsteSzZOApmi?= =?us-ascii?q?YIQRFeoBJvtToo76p1QUqxuxHxOgBPvuyjBUh3/22rc60/k6EQzdwAwvAdMPsH?= =?us-ascii?q?PPrNnvKKgSVuW1wbDOwD7ebP1WwS/w5JbUfh0lu/2BXrJ9fdDMxUQuCw/JlFSd?= =?us-ascii?q?pIzjMjiIzOoCqXKb4PBlVe+3i24otQVxoj+3y8cpkIbJh4YVxknc9SV93Io5PN?= =?us-ascii?q?O4RU97bNK+H5tQsCaaN4RyQsw8WW1npCE6yrgetZ66eigF1ognygbBZ/Cbd4WE?= =?us-ascii?q?+BHuWeaLLTtlhX9pZKizihey/ES4z+3zTMi00FJEripfldnMs2gA1xvJ5ciBUP?= =?us-ascii?q?Rx5F+h2TeT2ADS7eFEO100lbHAJp493LExl50TsV/ZEiDqn0X2ibeadl849eiw?= =?us-ascii?q?9+TnfrLmq4eAOIBujwH+Nr0imsi+AeQjLggDRHOb+OS51L3750L1WrRKjvsskq?= =?us-ascii?q?nYqp/WP8obprTqSzNSh40q7hL6Cza9zPwZm2MGJRRLYkG9gpDtKm3JdfvxF/qy?= =?us-ascii?q?mU+EjDp5wOuANbrkUbvXKX2Wm777cLtn8AYIzwM1xJZH5plVDascO9rvV132r5?= =?us-ascii?q?rTCRpvYF/8+PruFNgojtBWYmmIGKLMaPqD42/N3fomJqy3XKFQvT/8L/Y/4Pu3?= =?us-ascii?q?1C0llE0aZu+i2p5FMSnkTMQjGF2QZD/XuvlECX0D51NsUOH4j0bEWjlWNS7rAv?= =?us-ascii?q?AMowojAYfjNr/tA4CghLvbgXW+F5xSI3hCUhWCTyqueIKDVPMBLimVJ505nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0APAwBnINNaekGgVdFcBhYBAQEKAQEEA?= =?us-ascii?q?QGEOmMoCoMdP4Edk3ZIAQEBBoIyjX6GZQsYAYcSBxkHAQQ0FAECAQEBAQEBAQE?= =?us-ascii?q?BEwEBCQsMBygjDII1IoJeFx0BATgYDTcCJBIBBQELKoUADYktj388ihhtghyCb?= =?us-ascii?q?gEBBYFUg3OCJwgSh3SBDD5Jg2qIIxaCPpBjhwMIgTWBAAGMBYEzg1yHPJAQDwM?= =?us-ascii?q?eNk4zgXNwgQEGgRN5hXyKVD0wjnwBAQ?= X-IPAS-Result: =?us-ascii?q?A0APAwBnINNaekGgVdFcBhYBAQEKAQEEAQGEOmMoCoMdP4E?= =?us-ascii?q?dk3ZIAQEBBoIyjX6GZQsYAYcSBxkHAQQ0FAECAQEBAQEBAQEBEwEBCQsMBygjD?= =?us-ascii?q?II1IoJeFx0BATgYDTcCJBIBBQELKoUADYktj388ihhtghyCbgEBBYFUg3OCJwg?= =?us-ascii?q?Sh3SBDD5Jg2qIIxaCPpBjhwMIgTWBAAGMBYEzg1yHPJAQDwMeNk4zgXNwgQEGg?= =?us-ascii?q?RN5hXyKVD0wjnwBAQ?= X-IronPort-AV: E=Sophos;i="5.48,454,1517871600"; d="scan'208,217";a="262095942" Received: from mail-pl0-f65.google.com ([209.85.160.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Apr 2018 11:56:18 +0200 Received: by mail-pl0-f65.google.com with SMTP id s13-v6so1175005plq.11 for ; Sun, 15 Apr 2018 02:56:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tezos.com; s=google; h=mime-version:reply-to:from:date:message-id:subject:to; bh=Zv6yeXOmhJAtI4P3iOANWFkToXqF7mjzd0cnm8+6VB8=; b=tbSSL2QLFDqKLBXeXxCmyf6wi6lLwvQ8dtplqEbGg+sVclSoMP3jVYHhrFZcS1hFkB oSnyzK6Ad0c67oe32cA8itZgXRGKRixhorxR2fPtzfg+ylin7MY5koQHeGyNAtVHPT6r ZDc4NDaKiHMEuA8fzlYH6Z5R5OgMgbX1YMp7rW/I9xQknAMWPFaGWSmTt47rXpZLYI7N 8slMjnu5mSZ3wO3uqP6n4jlWi6k8yXvzNJysw5cCb4Vr/5rwbBSpd9ZF1Hi6VlTLyXSg T8RW6c7FoNoACPsjIUQ8OI4Q2K29MPNQNoMNWCtVEZz450SnCjSERZ7kNjtFdnM71AaS yYWg== 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=Zv6yeXOmhJAtI4P3iOANWFkToXqF7mjzd0cnm8+6VB8=; b=ELDyXRc2t7RqQAQcbqMo5S14RHTrkZzcXRqW2kfp5biGg+MJNd32s4zrQ7GU+xFe8c zqBnFlp2VJ5Ua8PTupfa9XGig9tZtNkCe0dXaJag3cXSsoCmdkGcJ0Ir3vHoQFabM++j kIvFHfMqn6zbQeYMdgLowslSyexKJbEVrkVvyU9MqnwyQLrP3t+lApXOTnTbd8ZmXaDZ E5lJNcYCGSxXBGuabwR+SjtawSogbJ3DGiKgFp1DwpMmSmr90ikYbutTOvTLiid5lUWh A4qQpOJwTp+uq3y6D6UNHtp22ZefWDhEAMpHMCIYSCrvC/u/bXFB6gLr5ttaVPzypklx b9Vw== X-Gm-Message-State: ALQs6tBhwWPMzhax7dsbYC2L7l2KZrMK/alAsqPid+b6bF8CcBbwnLMT FLmpZNDhfFxlNRWanPSgFnIG7FbCppG62TTg7IQG6V5+ X-Google-Smtp-Source: AIpwx4+eMPD8Gub7atLP8LDdpCTobwCv/yTmz34+gqbb9IQ1ylEXhJh6xeA4uEYkmdxNNcdaLlpXUU46lYrDqXc5mfs= X-Received: by 2002:a17:902:ca4:: with SMTP id 33-v6mr11674185plt.25.1523786176574; Sun, 15 Apr 2018 02:56:16 -0700 (PDT) MIME-Version: 1.0 Received: by 10.100.169.65 with HTTP; Sun, 15 Apr 2018 02:56:15 -0700 (PDT) Reply-To: careers@tezos.com From: careers Date: Sun, 15 Apr 2018 11:56:15 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000c4c93d0569e01d50" Subject: [Caml-list] Tezos recrute!/Tezos is recruiting! X-Loop: caml-list@inria.fr X-Sequence: 16812 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: --000000000000c4c93d0569e01d50 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Tezos est une blockchain et une plateforme de contrats intelligents =C3=A9c= rite en OCaml. En outre, Tezos est dot=C3=A9e d'un m=C3=A9canisme d'auto-gestion= lui permettant d'=C3=A9voluer de mani=C3=A8re d=C3=A9centralis=C3=A9e. Le d=C3=A9veloppement s'articule autour de plusieurs th=C3=A8mes dont les s= yst=C3=A8mes distribu=C3=A9s, les r=C3=A9seaux pairs =C3=A0 pairs, la th=C3=A9orie des l= angages de programmation, la cryptographie, et les m=C3=A9thodes formelles. Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Nous recherchons des profils vari=C3=A9s, avec une pr=C3=A9f=C3=A9rence pou= r les d=C3=A9tenteurs de doctorats. Possibilit=C3=A9 de th=C3=A8se CIFRE pour les =C3=A9tudiants en master. Est fortement pr=C3=A9f=C3=A9r=C3=A9e la ma=C3=AEtrise d'un langage fonctio= nnel tel que OCaml (bien =C3=A9videmment), mais aussi Haskell, Clojure ou =C3=A9quivalent et d= es comp=C3=A9tences dans l'un des domaines suivants: algorithmique, compilateu= rs, conception de langages de programmation, cryptographie, p2p, programmation web / UI en OCaml, SAT/SMT ou v=C3=A9rification formelle. R=C3=A9mun=C3=A9ration tr=C3=A8s attractive. Si vous =C3=AAtes int=C3=A9ress=C3=A9(e)s, envoyez votre CV =C3=A0 careers@= tezos.com! ******************* Tezos is a self-governing blockchain and smart-contract platform written in OCaml. Tezos' self-governance allows it to evolve in a decentralised manner by enabling collective decision making. The development of the project is centred around different areas, such as distributed systems, peer to peer systems, theory of programming languages, cryptography and formal methods. We are currently filling 40 open positions world-wide, including 25 in France and are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for Master students in France. Mastering of a functional language such as OCaml (obviously), Haskell or Closure is particularly desirable, as are proven skills in one or more of the following topics: algorithmics, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, or formal verification. Attractive compensation. If you are interested, please send your CV (resum=C3=A9) to careers@tezos.c= om! --=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= --000000000000c4c93d0569e01d50 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Tezos= est une blockchain et une plateforme de contrats intelligents =C3=A9crite = en OCaml. En outre, Tezos est dot=C3=A9e d'un m=C3=A9canisme d'auto= -gestion lui permettant d'=C3=A9voluer de mani=C3=A8re d=C3=A9centralis= =C3=A9e.

Le d=C3=A9veloppe= ment s'articule autour de plusieurs th=C3=A8mes dont les syst=C3=A8mes = distribu=C3=A9s, les r=C3=A9seaux pairs =C3=A0 pairs, la th=C3=A9orie des l= angages de programmation, la cryptographie, et les m=C3=A9thodes formelles.=

Tezos compte 40 postes ou= verts dans le monde dont environ 25 en France.

Nous recherchons des profils vari=C3=A9s, avec une pr= =C3=A9f=C3=A9rence pour les d=C3=A9tenteurs de doctorats.=C2=A0
Possibilit=C3=A9 de th=C3=A8se CIFRE pour les =C3=A9tudiants en = master.

Est fortement pr= =C3=A9f=C3=A9r=C3=A9e la ma=C3=AEtrise d'un langage fonctionnel tel que= OCaml (bien =C3=A9videmment), mais aussi Haskell, Clojure ou =C3=A9quivale= nt et des comp=C3=A9tences dans l'un des domaines suivants: algorithmiq= ue, compilateurs, conception de langages de programmation, cryptographie, p= 2p, programmation web / UI en OCaml, SAT/SMT ou v=C3=A9rification formelle.=

R=C3=A9mun=C3=A9ration tr= =C3=A8s attractive.

Si vou= s =C3=AAtes int=C3=A9ress=C3=A9(e)s, envoyez votre CV =C3=A0 careers@tezos.com!


**********= *********


Tezos is a self-governing blockchain and smart-contract platform= written in OCaml. Tezos' self-governance allows it to evolve in a dece= ntralised manner by enabling collective decision making.

The development of the project is centred ar= ound different areas, such as distributed systems, peer to peer systems, th= eory of programming languages, cryptography and formal methods.

We are currently filling 40 open posi= tions world-wide, including 25 in France and are looking for a range of pro= files, with a preference towards PhD holders.=C2=A0
P= ossibility of PhD funding for Master students in France.

Mastering of a functional language such as O= Caml (obviously), Haskell or Closure is particularly desirable, as are prov= en skills in one or more of the following topics: algorithmics, compilers, = design of programming languages, cryptography, p2p, web programming / UI in= OCaml, SAT / SMT, or formal verification.

=
Attractive compensation.

<= div dir=3D"ltr">If you are interested, please send your CV (resum=C3=A9) to= careers@tezos.com!


--000000000000c4c93d0569e01d50--