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 |