Ingénieur Chercheur en systèmes distribués de confiance H/F (Mathématiques, information  scientifique, logiciel)

Description de l'offre

Domaine : Mathématiques, information  scientifique, logiciel

Contrat : CDI

Description du poste :

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 systèmes distribués de nouvelle génération.

1/ Votre  mission est de définir des méthodes et des outils pour la conception formelle de systèmes distribués de nouvelle génération.
Vous avez alors à:
Spécifier une méthodologie basée sur la composition d’abstractions distribuées pour leur application à la blockchain et aux mémoires distribuées dynamiques.
Développer des algorithmes pour les abstractions définies.
Définir une bibliothèque d’abstractions.

2/ Vous aurez le lead des projets industriels appliquant la méthodologie proposée. Vous pourrez ainsi encadrer une petite équipe ainsi que des post-docs, doctorants et des stagiaires.

3/ Enfin vous développez vos activités de recherche : Etat de l’art, publications de papiers scientifiques, organisation de conférences


Après avoir obtenu votre doctorat, vous avez continué vos activités de recherche pendant deux ans au moins dans le domaine des systèmes distribués et/ou alors vous avez eu une forte implication dans la réalisation d'un grand projet technologique dans le domaine des systèmes distribués, décentralisés et à large échelle.
Vous avez acquis :
• Une connaissance approfondie de la théorie du calcul distribué
• De fortes compétences en architecture de systèmes distribuées et décentralisés à large échelle
• Une vraie capacité à formaliser des problèmes reliés à la concurrence et à la distribution.
• un vrai intérêt pour les méthodes formelles.
• Une expérience de programmation de systèmes distribués dans un ou plusieurs langages suivants : Rust, OCaml, C++, C.

Vos amis vous reconnaissent une réelle capacité d'écoute et de communication.

Votre curiosité vous amène à poser des questions pour mieux comprendre vos interlocuteurs et leur réalité.

Vous aimez travailler au sein d'une équipe et y être acteur. Vous pouvez témoigner de vos capacités de gérer des délais et des priorités.

Ville : Palaiseau