Offres de thèses
Sujet de la thèse | Equipe de recherche | Département | Début des travaux |
---|---|---|---|
Une démarche XAI pour la caractérisation et la conceptualisation des Fake News. | ARCHWARE | D4 - Langage et génie logiciel | 01/10/2022 |
Compositional verification of system program modules in Rust | TEA | D4 - Langage et génie logiciel | dès que possible |