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 CD65F5D5 for ; Sun, 1 Jul 2018 19:44:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,295,1526335200"; d="scan'208,217";a="334690597" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jul 2018 21:44:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 18616824B6; Sun, 1 Jul 2018 21:44:16 +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 073F782486 for ; Sun, 1 Jul 2018 21:44:09 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zaydargaye@gmail.com; spf=Pass smtp.mailfrom=zaydargaye@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com IronPort-PHdr: =?us-ascii?q?9a23=3As26wkBH4gQSaLJHnL/c1Zp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ79rs6wAkXT6L1XgUPTWs2DsrQY07SQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDuwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT43/m/Ul8J+kr5UrQm7qBBj2YPZep2ZOOZ8c67bYNgURXBBXsFUVyFZA4Kz?= =?us-ascii?q?dYsOD+wbMuZYsoLyukEBrQGxBQa2BOLg1CJDi3j33KIg0+UuDBvJ3BYvH90UsH?= =?us-ascii?q?Xbss74NKgXUe+vzanIyS/PYO9R2Tf48YXFdA0qr/KUXb9oc8fcxlMjGx7bgliQ?= =?us-ascii?q?s4DoPC2Z2v4CvmWb6edrSPihhHQ9qw5rpzii3scshZfNhoIS0l3E8D92wIcxJd?= =?us-ascii?q?GhRk97ZMKoHIJetyyVN4Z6WMwiQ2ZvuCY1zr0Jp4S3czQNyJQi3xLfavqHfJaU?= =?us-ascii?q?4h/7VuucLi10iG97dL+/nRq/8lasxvfzW8S0yFpKqzBKktjItnADzRzT7c2HR+?= =?us-ascii?q?N8/0i72TeAyhrc6vtLIU8ulavUNYUswrE1lpUJsETDGjX6l1nxjK+Tbkkk4PSn?= =?us-ascii?q?6/z7YrX6oZ+RL5N7hRv7MqQqg8C/BeU4MhMSX2WA4uS91Ljj/VXjT7lQj/02lL?= =?us-ascii?q?PZsJHAKsgBqK65GVwd7oF24B+6C3Ki0c8EtXgBNlNMPhyd3KbzPFSbMvnpC/6/?= =?us-ascii?q?y1ilijhi1v2Oaq/oE5nENHfKgbrJcrN06koaww02m4MMr6lIA60MdaqgEnT6s8?= =?us-ascii?q?bVW0dgYl6Eht3/AdA47bswHGeGA6uXKqTX6Aba6ecmIu3Kb4gQ6m+kd6oVosX2?= =?us-ascii?q?hHp8omczOLGz1MJOOn+9F/ViZU6eZCi024pTISIxpgM7CdfSphiCXDpUPSvgWq?= =?us-ascii?q?s94nQkDdrjA9ueAI+qh7OF0WGwGZgEPm0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DUEwAvLjlbhi1SfUpchB4BgTwogzo/g?= =?us-ascii?q?R2CUJBSij9lhnuFIIFlAQuIEBkHAQQ0FAECAQECAQEBAQETAQEBCAsLCCkjDEI?= =?us-ascii?q?OAYFkIoJyFx0BGw8PAxIDDTcCJAERAQUBNQgTgwWBZwEDFYwWjGWDHjyLCYF/B?= =?us-ascii?q?QEXgnIFg0wKGSYNV1eBJgIGEoZ5gU8TgVY/iGUBEgGDIIJVApFih2QJgT6NX4N?= =?us-ascii?q?8iVmReA8hgTeBAnFwUDGCOIIyg06KVD0whjqHdII5AQE?= X-IPAS-Result: =?us-ascii?q?A0DUEwAvLjlbhi1SfUpchB4BgTwogzo/gR2CUJBSij9lhnu?= =?us-ascii?q?FIIFlAQuIEBkHAQQ0FAECAQECAQEBAQETAQEBCAsLCCkjDEIOAYFkIoJyFx0BG?= =?us-ascii?q?w8PAxIDDTcCJAERAQUBNQgTgwWBZwEDFYwWjGWDHjyLCYF/BQEXgnIFg0wKGSY?= =?us-ascii?q?NV1eBJgIGEoZ5gU8TgVY/iGUBEgGDIIJVApFih2QJgT6NX4N8iVmReA8hgTeBA?= =?us-ascii?q?nFwUDGCOIIyg06KVD0whjqHdII5AQE?= X-IronPort-AV: E=Sophos;i="5.51,295,1526335200"; d="scan'208,217";a="271096055" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Jul 2018 21:44:07 +0200 Received: by mail-wm0-f45.google.com with SMTP id 69-v6so6612886wmf.3 for ; Sun, 01 Jul 2018 12:44:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=8hI7iJ0/gaMhXp11Lj7FTFH2RuH3JnzqdpNFSQ0PK7I=; b=NWR7vn2JmlxRHmkEtHeAYL87HldW5HdufqMYRXV1rsXSnNEAU+0EVXvomAh5RrbVIB +o8EnENImnnW4i/TQZTOTUpK0G4wohXBjx1WhyB8jKHsmASAqHAKhMX6O2L2PPYujqXJ DAq5Z8qlJD4byh+Hk5bg/kNPE4WDm5qdnRqflYt80xHcYDf9OnBRNYvSQZ3/t8kt8AKu FNw3pyvPz5/w990KMvAgGvernx21zs9o5yPp9H9bhQd2hB1ndZHle3FfUo/FADCo4BBz xCEp3XXgatykP/rRqunSCzUFHU6cx5MO1pj/kDzPQEoufrMuB49lqMgsksswpvwsqpsa Py9g== 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=8hI7iJ0/gaMhXp11Lj7FTFH2RuH3JnzqdpNFSQ0PK7I=; b=f7Vb4j/moZmInL5gA5vzjXEyfqetP8T6FRV8ohuR85IMKFRBHU35uKE2eLH+E+JNVP 1YrmhRNn4kXJk6BcN9RO1DCkDLP9BMObRARpbE8tGaqU/fODDoLIFFsF5PeUvPtYyBUR qGXsXP1KnL5RinOBj3Dv+CrBzg76fgBGL4Z8Y6iUii0NT+wiF9Sdo20SGVb8Ys2XwEuF /qX8Yyknk9mk+JhzCdIB/RSUsBauk9+AsSaD9/KeSdRxLNdegfCLP8+F/bJi6Ho4HpYo qgZEdaV5K9ddVsWGHpygy2MlwDk/2rSICD38C+fDx7rw+9KqpOFfGdf0XyN3goMGPHc1 sqsw== X-Gm-Message-State: APt69E2UthEcB6dxrl9DMMhfP0cKeR3zmID+yruYWHH2jgUWHLl3mx8b mP0c6f4ZHxD4FSVhZlbre2hzly5LoqCDVuaPxuzVEQ== X-Google-Smtp-Source: AAOMgpd4Ue0TDIZs+nI61ws6gX7mv0C7Sa1n1u7QwjQmCWObIU+roRNI/SYJtjmt40H8LYEFDXaRW92ZO6jS+lTjNec= X-Received: by 2002:a1c:4d09:: with SMTP id o9-v6mr4007150wmh.111.1530474247137; Sun, 01 Jul 2018 12:44:07 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:adf:c4e1:0:0:0:0:0 with HTTP; Sun, 1 Jul 2018 12:44:06 -0700 (PDT) From: zaynah dargaye Date: Sun, 1 Jul 2018 21:44:06 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000d6ae60056ff54da8" Subject: [Caml-list] =?UTF-8?Q?Poste_d=27ing=C3=A9nieur-chercheur_au_CEA_L?= =?UTF-8?Q?ist_=3A_BlockChain_et_langages_fonctionnels?= Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 16965 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: --000000000000d6ae60056ff54da8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Cher tous, je vous fait par de l'annonce de poste d'ing=C3=A9nieur-chercheur au CEA Li= st suivante. Si vous =C3=AAtes int=C3=A9ress=C3=A9 n'h=C3=A9sitez pas, si vous pensez = =C3=A0 des candidats potentiel, n'h=C3=A9sitez pas =C3=A0 diffuser. Bien =C3=A0 vous, Zaynah Dargaye =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 Au sein de l=E2=80=99Institut List, au c=C5=93ur du Campus Paris Saclay, le= Laboratoire syst=C3=A8mes d=E2=80=99Information de Confiance, Intelligents et Auto-orga= nisants (LICIA) est d=C3=A9di=C3=A9 =C3=A0 la conception et impl=C3=A9mentation de syst=C3=A8me= s et algorithmes distribu=C3=A9es et plus en particulier nous nous int=C3=A9ressons =C3=A0 la blockchain et =C3=A0 se= s applications. Pour que la blockchain perce dans le monde industriel une s=C3=A9rie de challenges nous attendent, comme le passage =C3=A0 l=E2=80=99=C3=A9chelle, la correcti= on des =C2=AB smart contracts =C2=BB et la correction des algorithmes de consensus sous-jacents. Nous d=C3=A9veloppons un nouveau framework, Pluralize, qui permet de concevoir des =C2=AB smart contracts =C2=BB de hau= te confiance sur des blockchains fiables. Nous sommes un tout jeune laboratoire dynamique et en croissance rapide. Ce faisant, nous interagissons avec les acteurs acad=C3=A9miques et industriel= s les plus cr=C3=A9atifs et r=C3=A9put=C3=A9s du domaine. Votre travail aura un i= mpact direct et visible sur l=E2=80=99=C3=A9tat de l=E2=80=99art et les pratiques dans le domaine des blockchains. Le laboratoire est fortement interdisciplinaire et nous accueillons des jeunes talentueux, intellectuellement curieux et avec un fort esprit d=E2=80=99initiative. *Vous:* Vous vous projetez dans le pilotage des nouvelles avanc=C3=A9es dans les blockchains. Vous d=C3=A9vorez des articles de recherche et en m=C3=AAme temps vous joue= z avec les innombrables technologies et applications blockchain disponibles aujourd=E2=80=99hui sur le web. Cela vous fait dire qu=E2=80=99il reste encore beaucoup =C3=A0 faire e= t il faut le faire avec une approche rigoureuse*.* Vous comprenez qu=E2=80=99une meilleure blokchain signifie comprendre un en= semble de probl=C3=A8mes d=E2=80=99impl=C3=A9mentation complexes. Et c=E2=80=99est= tant mieux, parce que =C3=A7a signifie retrousser ses manches et trouver des solutions innovantes. Vous aimez coder et vous adorez les langages fonctionnels. Vous appr=C3=A9ciez =C3=AAtre un membre constructif d=E2=80=99une =C3=A9qui= pe de personnes talentueuses et impliqu=C3=A9es. Si ceci vous ressemble, nous avons un poste pour vous. *Role :* Nous avons besoin de vous pour continuer =C3=A0 d=C3=A9velopper Pluralize, = en am=C3=A9liorant les composants existants et plus particuli=C3=A8rement son langage qui devra = =C3=AAtre compil=C3=A9 sur plusieurs plateformes blockhain (Ethereum, Tezos, Cardano,= etc.) Vous prendrez un r=C3=B4le actif dans les activit=C3=A9s de recherche et les partenariats industriels, aux c=C3=B4t=C3=A9s des autres membres du laboratoire. Ce r=C3=B4le pourra inclure la r=C3=A9ponse =C3=A0 appels =C3=A0 projets, l= a publication d=E2=80=99articles, et le suivi de conf=C3=A9rences scientifiques et techniques. Et enfin vous contribuerez activement =C3=A0 l=E2=80=99=C3=A9cosyst=C3=A8me= blockchain fran=C3=A7ais et international avec vos nouvelles id=C3=A9es et vos solutions concr=C3=A8tes= ! *Exigences :* - Expertise en m=C3=A9thodes formelles, syst=C3=A8mes distribu=C3=A9s, lang= ages de programmation et compilateurs - Capacit=C3=A9 d=E2=80=99immersion dans des d=C3=A9veloppements OCaml cons= =C3=A9quents. Exp=C3=A9rience avec Coq c=E2=80=99est un plus. - Esprit d=E2=80=99=C3=A9quipe =E2=80=93 vous savez quand prendre l=E2=80=99initiative, et quand venir aider. Si vous souhaitez rejoindre le LICIA, envoyez-nous un email (lea-zaynah.dargaye@cea.fr et/ou sara.tucci@cea.fr) pour partager ce qui vous inspire, et pourquoi vous pensez =C3=AAtre utile = =C3=A0 l=E2=80=99=C3=A9quipe. --=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= --000000000000d6ae60056ff54da8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Cher tous,

je vous fait= par de l'annonce de poste d'ing=C3=A9nieur-chercheur au CEA List s= uivante.
Si vous =C3=AAtes int=C3=A9ress=C3=A9 n'h= =C3=A9sitez pas, si vous pensez =C3=A0 des candidats potentiel, n'h=C3= =A9sitez pas =C3=A0 diffuser.

Bien =C3=A0 vou= s,
Zaynah Dargaye

=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

Au sein de l=E2=80=99Institut List, = au c=C5=93ur du Campus Paris Saclay, le Laboratoire
syst=C3=A8mes d=E2= =80=99Information de Confiance, Intelligents et Auto-organisants (LICIA) es= t
d=C3=A9di=C3=A9 =C3=A0 la conception et impl=C3=A9mentation de syst=C3= =A8mes et algorithmes distribu=C3=A9es et plus
en particulier nous nous = int=C3=A9ressons =C3=A0 la blockchain et =C3=A0 ses applications.
<= br>
Pour que la blockchain perce dans le monde industriel une s= =C3=A9rie de challenges
nous attendent, comme le passage =C3=A0 l=E2= =80=99=C3=A9chelle, la correction des =C2=AB smart contracts =C2=BB et la c= orrection des algorithmes de consensus sous-jacents. Nous d=C3=A9veloppons = un nouveau framework,
Pluralize, qui permet de concevoir des =C2=AB smar= t contracts =C2=BB de haute confiance sur
des blockchains fiables. =

Nous sommes un tout jeune laboratoire dynamiq= ue et en croissance rapide. Ce faisant, nous interagissons avec les acteurs= acad=C3=A9miques et industriels les plus cr=C3=A9atifs et r=C3=A9put=C3=A9= s du domaine. Votre travail aura un impact direct et visible sur l=E2=80=99= =C3=A9tat de l=E2=80=99art et les pratiques dans le
domaine d= es blockchains.

Le laboratoire est fortement = interdisciplinaire et nous accueillons des
jeunes talentueux, intellectu= ellement curieux et avec un fort esprit d=E2=80=99initiative.

Vous:
=C2=A0Vous vous projetez dans le pil= otage des nouvelles avanc=C3=A9es dans les blockchains.
Vous d=C3=A9vore= z des articles de recherche et en m=C3=AAme temps vous jouez avec les
in= nombrables technologies et applications blockchain disponibles aujourd=E2= =80=99hui sur le
web. Cela vous fait dire qu=E2=80=99il reste encore bea= ucoup =C3=A0 faire et il faut le faire avec une
approche rigoureuse.<= /b>

Vous comprenez qu=E2=80=99une meilleure blokch= ain signifie comprendre un ensemble
de probl=C3=A8mes d=E2=80=99impl=C3= =A9mentation complexes. Et c=E2=80=99est tant mieux, parce que =C3=A7a sign= ifie
retrousser ses manches et trouver des solutions innovantes.
Vous= aimez coder et vous adorez les langages fonctionnels.
Vous appr=C3=A9ci= ez =C3=AAtre un membre constructif d=E2=80=99une =C3=A9quipe de personnes t= alentueuses et
impliqu=C3=A9es.

Si ceci vou= s ressemble, nous avons un poste pour vous.

Role :

Nous avons besoin de vous pour= continuer =C3=A0 d=C3=A9velopper Pluralize, en am=C3=A9liorant les
comp= osants existants et plus particuli=C3=A8rement son langage qui devra =C3=AA= tre
compil=C3=A9 sur plusieurs plateformes blockhain (Ethereum, Tezos, C= ardano, etc.)

Vous prendrez un r=C3=B4le actif= dans les activit=C3=A9s de recherche et les partenariats
industriels, a= ux c=C3=B4t=C3=A9s des autres membres du laboratoire.
Ce r=C3=B4le pourr= a inclure la r=C3=A9ponse =C3=A0 appels =C3=A0 projets, la publication d=E2= =80=99articles, et le suivi
de conf=C3=A9rences scientifiques et techniq= ues.

Et enfin vous contribuerez activement =C3= =A0 l=E2=80=99=C3=A9cosyst=C3=A8me blockchain fran=C3=A7ais et
internati= onal avec vos nouvelles id=C3=A9es et vos solutions concr=C3=A8tes !
<= div>
Exigences :
- Expertise en m=C3=A9thode= s formelles, syst=C3=A8mes distribu=C3=A9s, langages de
=C2=A0 programma= tion et compilateurs

- Capacit=C3=A9 d=E2=80= =99immersion dans des d=C3=A9veloppements OCaml cons=C3=A9quents.
=C2=A0= =C2=A0 Exp=C3=A9rience avec Coq c=E2=80=99est un plus.

=
- Esprit d=E2=80=99=C3=A9quipe =E2=80=93 vous savez quand
prendre l= =E2=80=99initiative, et quand venir aider.

Si vous= souhaitez rejoindre le LICIA, envoyez-nous
un email (lea-zaynah.dargaye@cea.fr et/ou sara.tucci@cea.fr)
pour partage= r ce qui vous inspire, et pourquoi vous pensez =C3=AAtre utile =C3=A0 l=E2= =80=99=C3=A9quipe.




--000000000000d6ae60056ff54da8--