• Structure de formation

    Faculté des Sciences

Programme

  • Graphes, algorithmique et complexité

    4 crédits
  • Vérification automatique de programmes

    4 crédits
  • Algorithmique spécialisée

    4 crédits
  • Modèles de calculs avancés

    4 crédits
  • Calcul formel avancé et applications

    4 crédits
  • Conférences

    2 crédits
  • Contraintes

    4 crédits
  • RO industrielle

    4 crédits
  • CHOIX 1

    30 crédits
    • Au choix : 1 parmi 2

      • Stage industriel

        30 crédits
      • Stage académique

        30 crédits