Offres de stages et de thèses
| Intitulé | Type | Niveau | Date | Periode |
|---|---|---|---|---|
| UMLChecker : un outil pour vérifier la conformité entre une spécification et du code | Stage | Master 2 | 2024 | Stage de Master - Vérification de propriétés dynamiques pour un modèle hybride de contrôle d’une épidémie | Stage | Master 2 | 2024 | Mars - Aout 2024 |
