[Caml-list] Poste d'ingénieur-chercheur au CEA List : BlockChain et langages fonctionnels

[Caml-list] Poste d'ingénieur-chercheur au CEA List : BlockChain et langages fonctionnels

[zaynah dargaye]

[-- Attachment #1: Type: text/plain, Size: 3831 bytes --]

Cher tous,

je vous fait par de l'annonce de poste d'ingénieur-chercheur au CEA List
suivante.
Si vous êtes intéressé n'hésitez pas, si vous pensez à des candidats
potentiel, n'hésitez pas à diffuser.

Bien à vous,
Zaynah Dargaye

==========================================================

Au sein de l’Institut List, au cœur du Campus Paris Saclay, le Laboratoire
systèmes d’Information de Confiance, Intelligents et Auto-organisants
(LICIA) est
dédié à la conception et implémentation de systèmes et algorithmes
distribuées et plus
en particulier nous nous intéressons à la blockchain et à ses applications.

Pour que la blockchain perce dans le monde industriel une série de
challenges
nous attendent, comme le passage à l’échelle, la correction des « smart
contracts » et la correction des algorithmes de consensus sous-jacents.
Nous développons un nouveau framework,
Pluralize, qui permet de concevoir des « smart contracts » de haute
confiance sur
des blockchains fiables.

Nous sommes un tout jeune laboratoire dynamique et en croissance rapide. Ce
faisant, nous interagissons avec les acteurs académiques et industriels les
plus créatifs et réputés du domaine. Votre travail aura un impact direct et
visible sur l’état de l’art 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’initiative.

*Vous:*
 Vous vous projetez dans le pilotage des nouvelles avancées dans les
blockchains.
Vous dévorez des articles de recherche et en même temps vous jouez avec les
innombrables technologies et applications blockchain disponibles
aujourd’hui sur le
web. Cela vous fait dire qu’il reste encore beaucoup à faire et il faut le
faire avec une
approche rigoureuse*.*

Vous comprenez qu’une meilleure blokchain signifie comprendre un ensemble
de problèmes d’implémentation complexes. Et c’est tant mieux, parce que ça
signifie
retrousser ses manches et trouver des solutions innovantes.
Vous aimez coder et vous adorez les langages fonctionnels.
Vous appréciez être un membre constructif d’une équipe de personnes
talentueuses et
impliquées.

Si ceci vous ressemble, nous avons un poste pour vous.

*Role :*

Nous avons besoin de vous pour continuer à développer Pluralize, en
améliorant les
composants existants et plus particulièrement son langage qui devra être
compilé sur plusieurs plateformes blockhain (Ethereum, Tezos, Cardano, etc.)

Vous prendrez un rôle actif dans les activités de recherche et les
partenariats
industriels, aux côtés des autres membres du laboratoire.
Ce rôle pourra inclure la réponse à appels à projets, la publication
d’articles, et le suivi
de conférences scientifiques et techniques.

Et enfin vous contribuerez activement à l’écosystème blockchain français et
international avec vos nouvelles idées et vos solutions concrètes !

*Exigences :*
- Expertise en méthodes formelles, systèmes distribués, langages de
  programmation et compilateurs

- Capacité d’immersion dans des développements OCaml conséquents.
   Expérience avec Coq c’est un plus.

- Esprit d’équipe – vous savez quand
prendre l’initiative, 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 être utile à
l’équipe.

-- 
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

[-- Attachment #2: Type: text/html, Size: 4380 bytes --]