Les offres de “CEA”

Expire bientôt CEA

Ingénieur chercheur Block chain et langages fonctionnels H/F

  • CDD
  • Saclay (Essonne)
  • Développement informatique

Description de l'offre

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

2018-6431

Description de la Direction


Venez nous rejoindre ! De nouveaux projets vous attendent!

CEA Tech est le pôle " recherche technologique " du CEA. Nous disposons d'un portefeuille de technologies complet dans les domaines de l'information et de la communication, de l'énergie et de la santé. Nous avons un savoir-faire unique issu d'une culture de l'innovation, nous avons pour mission de produire et de transférer les technologies utiles à nos partenaires industriels.

Description de l'unité

Dans le Département d'Ingénierie des Logiciels et des Systèmes (DILS) nous créons des outils et des méthodologies :

– Pour l'intégration de fonctions logicielles avancées dans les systèmes,
– Pour l'analyse, l'optimisation et la validation des systèmes et de logiciels.

Sur la base d'une excellence internationale en ingénierie des langages et en méthodes formelles, nous proposons une offre assurant la maîtrise des processus de développement, leur optimisation et permettant d'établir la conformité des produits aux exigences, normes et contraintes opérationnelles.
Les domaines d'application sont multiples : réseaux d'énergie, véhicule autonome, télécommunications, agroalimentaire, avionique, usine du futur, robotique.

Description du poste

Domaine

Mathématiques, information scientifique, logiciel

Contrat

CDD

Intitulé de l'offre

Ingénieur chercheur Block chain et langages fonctionnels H/F

Statut du poste

Cadre

Durée du contrat (en mois)

12 à 18 mois

Description de l'offre

Au sein du DILS, 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 ; nous nous intéressons en particulier à 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 .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 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 blockchains disponibles aujourd'hui sur le Web. Cela vous fait dire qu'il reste encore beaucoup à faire avec une approche rigoureuse .

Vous comprenez qu'une meilleure blockchain signifie comprendre un ensemble de problèmes d'implémentation complexes .

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 .

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 blockchain (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.

Profil recherché

Profil du candidat

Ingénieur disposant d'une expertise en méthodes formelles , systèmes distribués , langages de programmation et compilateurs .

Compétences techniques essentielles:
- capacité d'immersion dans des développements OCaml conséquents
- une expérience avec Coq est un plus

- Vous êtes curieux et avez un intérêt marqué pour l'innovation et les nouvelles technologies.
- Vous savez travailler en équipe.
- Vous avez un bon niveau d'anglais

Déplacements et missions à prévoir

Faire de chaque avenir une réussite.
  • Annuaire emplois
  • Annuaire entreprises
  • Événements