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.
pour partager ce qui vous inspire, et pourquoi vous pensez être utile à l’équipe.