Doctorant en Réactivation du sens et horizons de validité dynamiques dans les systèmes de preuve (H/F)

EFREI; Villejuif; In loco; EUR 15.000 - 20.000; Tempo pieno

Descrizione del lavoro

Efrei Paris et SCIAM lancent une thèse en collaboration sur le développement de nouveaux modèles de preuve computationnelle pour des systèmes massivement distribués, à l’intersection de la recherche et de l’ingénierie logicielle.

Le doctorant concevra des architectures préservant l’immuabilité des traces et permettant une réinterprétation sémantique des événements, tout en développant un prototype Java avec Spring Boot et Axon Framework.

Competenze

• Diplôme d’ingénieur en informatique ou Master 2 équivalent
• Solides bases en mathématiques
• Connaissances en cryptographie, IA/ML et systèmes distribués
• Maîtrise de l’écosystème Java (Spring, Hibernate ou Maven)
• Expérience avec Quarkus est un atout
• Capacité à évoluer en R&D avec autonomie et créativité
• Français et anglais courants à l’écrit et à l’oral

Mansioni

• Concevoir des architectures d’Event Store évolutifs et la ré-signature des preuves d’immuabilité
• Développer des mécanismes de résolution d’ambiguïtés sémantiques dans des architectures event-sourcées
• Proposer et implémenter des algorithmes de Truth Discovery
• Concevoir des solutions garantissant la résilience cryptographique des empreintes (hash)
• Prototyper et valider des solutions en environnement Java (Spring Boot, Axon)
• Publier les résultats dans des conférences et revues internationales
• Participer à la formalisation d’un DSL innovant pour des horizons de validité dynamiques

Conoscenze

Java Spring

Axon Framework

Maven

Machine Learning

Cryptography

Distributed Systems

Formal Methods

Français

Formazione

Diplôme d’ingénieur en informatique

Master 2 équivalent

Strumenti

Hibernate

Spring Boot

Quarkus

Descrizione del lavoro

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.