Research interships

Master Internships in the SUMO team (2017-2018)

A pointer to the presentation of 2017 topics can be found [Here]

We list below few topics for research internships. They can be adapted to the academic level of the candidates.
Please contact us for more details.

  • Synthèse de test pour les systèmes temporisés (French)
  • Temporiser les Négociations (French)
  • Parametererized Model Checking of Probabilistic Systems with Abstractions (English)
  • Distributed control of concurrent secrets (French)
  • Control of adaptative systems (English)
  • Modélisation des Flux passagers dans les systèmes ferroviaires urbains (EnglishFrench)