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

RESPONSABILITÉS : 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.

Le projet porte sur les enjeux de preuve, d'équité et de traçabilité dans les systèmes massivement distribués et multi-acteurs. Si les architectures immuables permettent aujourd'hui de garantir la cohérence des événements passés, elles montrent leurs limites face à des contextes réels dynamiques, ambigus ou évolutifs.

L'objectif de la thèse est de concevoir un nouveau modèle de preuve computationnelle capable de préserver l'immutabilité des traces tout en intégrant des mécanismes de réinterprétation sémantique adaptés à des environnements complexes.

• Concevoir des architectures d'Event Store évolutives et résilientes Développer des mécanismes de résolution d'ambiguïtés sémantiques via des approches neuro-symboliques Proposer des algorithmes de découverte de la vérité appliqués aux systèmes distribués Concevoir des solutions garantissant la robustesse des empreintes cryptographiques face aux évolutions technologiques (interopérabilité blockchain, informatique quantique) Développer et expérimenter un prototype dans un environnement Java (Spring Boot, Axon Framework, moteurs de règles, IA) Tester, valider et publier les résultats dans des conférences et revues scientifiques internationales PROFIL RECHERCHÉ : 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 profi...