Master Internships (2023-2024)

Below are few topics for research internships in 2023-2024. They can be adapted to the academic level of the candidates.
Please contact us for more details. Slides presenting the team and the topics.

  • Energy Saving Games in Transport systems. [PDF] The theme of this internship is the study quantitative games modeling energy consumption and energy transfers in transport systems (Metros, buses,....), with the objective to minimize the overall energy consumption while providing a service.
    Contact: loic.helouet@inria.fr

    • Internships (2022)

    Some topics proposed in 2022 are still relevant. Please contact us for more details.

    • Dynamic Partial Order Reduction et Directed Model-Checking pour la vérification de programmes distribués asynchrones [PDF]
      Contact: Martin Quinson and Thierry Jéron

    • Parameterized verification of asynchronous distributed programs [PDF]
      The objective of this internship is to develop formal verification techniques, in the style of parameterized verification, to assess properties of asynchronous distributed programs.
      Contact: Nathalie Bertrand and Thierry Jéron

    • Simulation symbolique de réseaux de transport. [PDF] The objective of this internship is to develop symbolic simulation techniques to speed up quantitative evaluation of properties of transport systems (Metros, buses,....).
      Contact: loic.helouet@inria.fr