Master Internship 2019
We have several Master’s internship positions available
On Formal Methods or Verification
- Algorithme de résolution de contraintes intervalles pour la vérification de systèmes dynamiques continus
Guidage optimal et robuste - application à un lanceur spatial (with ONERA Palaiseau)- Co-simulation ensembliste et garantie
- Génération automatique de tests pour la couverture fonctionnelle de logiciels (with Naval Group)
On robotics topic
- Identification des paramètres dynamiques et controle d’un véhicule réaliste
- Planification de trajectoire garantie via platitude