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. 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) contribuera à la conception et au développement de solutions innovantes à la croisée des systèmes distribués, de la blockchain et de l'IA : • Concevoir des architectures d'Event Store évolutives, permettant la migration ou la re-signature des preuves sans rupture de causalité • Développer des algorithmes de découverte de la vérité, intégrant théorie des jeux, modèles de réputation et apprentissage non supervisé • Garantir la robustesse des empreintes (hash) face aux évolutions technologiques majeures (interopérabilité, informatique quantique) • Explorer des approches neuro-symboliques pour traiter les ambiguïtés sémantiques dans des systèmes event-sourcés • Implémenter et valider les solutions dans un environnement Java (Spring Boot, Axon, moteurs de règles, intégration IA) Le travail donnera lieu à des publications scientifiques de haut niveau en systèmes distribués et méthodes formelles. 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 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.