• Structure de formation

    Faculté des Sciences

Programme

  • RO industrielle

    4 crédits
  • Vérification automatique de programmes

    4 crédits
  • Algorithmique spécialisée

    4 crédits
  • Conférences

    2 crédits
  • Contraintes

    4 crédits
  • Calcul formel avancé et applications

    4 crédits
  • Graphes, algorithmique et complexité

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

    4 crédits
  • CHOIX 1

    30 crédits
    • Au choix : 1 parmi 2

      • Stage industriel

        30 crédits
      • Stage académique

        30 crédits

Admission

Modalités d'inscription

Les candidatures se font sur les plateformes suivantes : 

Lire plus