Efrei Paris c'est une grande École du Numérique créée en 1936, l’Efrei est un acteur indépendant majeur de l’enseignement supérieur et de la transformation numérique. Installée à Paris ainsi qu’à Bordeaux, l’Efrei forme 5 800 étudiants dans son programme Grande École d’ingénieurs et dans ses Programmes Experts du numérique (bachelors, mastères…), et propose également une offre de formation continue.
Rejoindre l’Efrei, c’est bien plus que rejoindre simplement un leader de l’enseignement supérieur de premier plan, c’est vouloir s’engager dans un projet pédagogique et humain centré sur les étudiants, avec l’assurance d’avoir les moyens de ses ambitions tout en vivant dans un cadre professionnel exceptionnel au sein de nos campus.
Leader indépendant reconnu d’intérêt public par l’État (EESPIG), l’Efrei est habilitée par la Commission des titres d’ingénieurs (CTI) et fait partie de la Conférence des Grandes Écoles. Depuis janvier 2022, l’Efrei est établissement composante de Paris Panthéon-Assas Université.
Cette thèse s’inscrit dans une collaboration entre SCIAM et Efrei Paris, à l’intersection de la recherche académique et de l’ingénierie logicielle avancée.
Elle porte sur un enjeu clé des systèmes distribués : garantir la preuve et l’équité dans des environnements multi-acteurs dynamiques. Si les architectures immuables permettent aujourd’hui d’assurer la traçabilité des événements, elles restent limitées face à des contextes réels évolutifs, ambigus ou incertains.
L’objectif de la thèse est de concevoir un nouveau paradigme de preuve computationnelle, capable de préserver l’immutabilité tout en permettant une réinterprétation sémantique contrôlée des événements passés.
Le/la doctorant(e) participera au développement de nouveaux modèles de preuve computationnelle pour les systèmes massivement distribués, à la croisée des systèmes distribués, de la blockchain, de l’IA neuro-symbolique et des méthodes formelles.
Ses travaux viseront notamment à concevoir des architectures capables de préserver l’immutabilité des traces tout en intégrant des mécanismes de réinterprétation sémantique adaptés à des environnements dynamiques, ambigus ou évolutifs.
Dans ce cadre, le/la doctorant(e) sera amené(e) à :
Concevoir une nouvelle génération d’Event Store évolutifs, permettant la migration ou la re-signature des preuves d’immuabilité sans rupture de la chaîne de causalité
Développer des mécanismes avancés de résolution d’ambiguïtés sémantiques dans des architectures event-sourcées, en s’appuyant sur des approches neuro-symboliques
Proposer et implémenter des algorithmes de découverte de la vérité (Truth Discovery) mobilisant théorie des jeux, modèles de réputation et apprentissage automatique appliqué aux flux distribués
Concevoir des solutions garantissant la résilience cryptographique des empreintes (hash) face aux évolutions technologiques majeures, notamment dans des contextes d’interopérabilité blockchain ou d’informatique quantique
Participer à la formalisation d’un DSL innovant capable d’intégrer des horizons de validité dynamiques au sein de systèmes distribués
Développer et expérimenter un prototype de validation dans un environnement Java (Spring Boot, Axon Framework, moteurs de règles et composants IA)
Évaluer les performances, la robustesse et la cohérence des solutions proposées dans des scénarios distribués complexes
Le travail de recherche donnera lieu à des publications scientifiques dans des conférences et revues internationales de référence en systèmes distribués, méthodes formelles et intelligence artificielle.
Le/la candidat(e) devra être titulaire d’un diplôme d’ingénieur en informatique ou d’un Master 2 équivalent, avec de solides bases en mathématiques, ainsi que des connaissances en cryptographie, intelligence artificielle / machine learning et systèmes distribués.
Une bonne maîtrise de l’écosystème Java est attendue, incluant des technologies telles que Spring, Hibernate ou Maven ; une expérience avec des frameworks modernes comme Quarkus constituera un atout supplémentaire.
Le profil recherché implique une capacité à évoluer en environnement de recherche et développement, avec autonomie, esprit d’initiative et créativité pour proposer des solutions innovantes en ingénierie logicielle.
Une bonne maîtrise du français et de l’anglais (à l’écrit comme à l’oral) est requise. Une présence en France, idéalement en Île-de-France, est souhaitée.
Une première expérience en entreprise (stage, alternance) dans le développement backend ou le conseil IT sera appréciée.