• Structure de formation

    Faculté des Sciences

Programme

  • Vérification automatique de programmes

    4 crédits
  • IA pour le génie logiciel

    4 crédits
  • CHOIX 1

    4 crédits
    • Au choix : 1 parmi 5

      • Machine learning 2 (méthodes avancées)

        4 crédits
      • Théorie des bases de données et connaissances

        4 crédits
      • Aide à la décision

        4 crédits
      • Contraintes

        4 crédits
      • Gestion des données au delà de SQL (NoSQL)

        4 crédits
  • Développement mobile avancé, IoT et embarqué

    4 crédits
  • Systèmes réflexifs, models@runtime

    4 crédits
  • Évolution et restructuration des logiciels

    4 crédits
  • Conférences Génie logiciel

    2 crédits
  • Ingénierie des modèles

    4 crédits
  • CHOIX 2

    30 crédits
    • Au choix : 1 parmi 2

      • Stage industriel

        30 crédits
      • Stage académique

        30 crédits