Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Stage - Analyse de protocoles blockchains H/F


Détail de l'offre

Informations générales

Entité de rattachement

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.

Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).

Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.  

Référence

2020-14541  

Description du poste

Domaine

Mathématiques, information  scientifique, logiciel

Contrat

Stage

Intitulé de l'offre

Stage - Analyse de protocoles blockchains H/F

Sujet de stage

Analyse de protocoles blockchains – Contribution à l'environnement MAX de simulation du laboratoire. Définition d'un langage de modélisation pour la spécification comportementale haut niveau.

Durée du contrat (en mois)

6 mois

Description de l'offre

Contexte : Contribution à l'environnement de simulation de blockchains MAX.

L’univers des blockchains est en effervescence et de nombreuses technologies émergent régulièrement. Les différents protocoles de consensus (proof-of-work, proof-of-stake, PBFT, etc.) sont autant d’alternatives et de combinaisons qu’il faut comprendre, trier et maîtriser afin de diriger les prises de décisions et d’assurer l’adéquation entre le besoin et la technologie disponible.

En outre, étant donné le manque de retour d’expérience que nous avons sur la technologie blockchain (dû à la jeunesse de la technologie) la sûreté de fonctionnement des applications blockchains doit encore être justifiée, ce qui constitue un sujet de recherche en soi.

L’environnement MAX (Multi-Agent Experimenter) permet d’étudier sous différentes hypothèses le comportement de protocoles de blockchain au moyen de librairies dédiées développées (en java) à cet effet (à ce jour, Bitcoin, Tendermint, Hyperledger, Sycomore). L’objectif du stage est de proposer un langage de plus haut niveau pour modéliser et/ou spécifier ces protocoles et les principes d’incitations associés pour les rendre explicites et faciliter les échanges entre les experts impliqués. La modélisation (ou spécification) effectuée dans ce langage pourra ensuite être exploitée pour de la vérification de code via des méthodes formelles ou pour de la synthèse de code de simulation MAX.

Objectif :

L’objectif du stage est 1) de proposer un langage de modélisation comportementale pour la spécification haut niveau des protocoles et mécanismes blockchain à étudier et 2) de réaliser un générateur de code associé permettant de s’interfacer avec MAX et/ou de produire des composants dédiés MAX.

 

Le candidat retenu rejoindra le Laboratoire Systèmes d'Information de Confiance, Intelligents et Auto-Organisants (LICIA) au CEA LIST.

 

Une poursuite en thèse pourra être envisagée pour s’orienter vers des travaux de vérification formelle.

 

Moyens / Méthodes / Logiciels

Modélisation (approches IDM et Multi-agents)/ environnements Eclipse et java

Profil du candidat

Compétences attendues du candidat:

• Ecole d'ingénieur ou Master 2 en Informatique / Systèmes Distribués /Ingénierie Dirigée par les Modèles.
• Bonne expérience en programmation java et des outils Eclipse et MBSE.
• La connaissance de la technologie blockchain est un plus.

Localisation du poste

Site

Saclay

Localisation du poste

France, Ile-de-France, Essonne (91)

Ville

Palaiseau - Plateau de Saclay

Critères candidat

Langues

  • Français (Courant)
  • Anglais (Courant)

Diplôme préparé

Bac+5 - Master 2

Formation recommandée

Ecole d'ingénieur ou Master 2 Informatique

Possibilité de poursuite en thèse

Oui

Demandeur

Disponibilité du poste

15/03/2021