Chef divisionnaire

15330 mots 62 pages
MASTER SCIENCES, TECHNOLOGIES, SANTÉ, MENTION INFORMATIQUE, SPÉCIALITÉ ALGORITHMES ET MÉTHODES FORMELLES
CARTE D'IDENTITÉ DE LA FORMATION : Niveau : Master Durée : oracle.sql.CLOB@61e1b011 Crédits : 120 crédits ECTS Disciplines : Informatique Organisation de la formation :
Langue d'enseignement et examen : Français.

Organisation des études : Les semestres S1, S2, S4 sont communs à toutes les spécialités du master, avec des options dépendant de la spécialité. Le semestre S3 dépend du parcours choisi. S1 : Modèles de calcul, Approche Objet , Image et Son et 2 options S2 : Anglais, Projet de programmation, Traitement d'images et une option Les options de S1 et S2 sont à choisir parmi les UE de l'offre de formation du master mention informatique 1ère année. Au semestre 3 le parcours informatique fondamentale comporte les UE Analyse d'algorithmes, Algorithmes pour la bio-informatique et visualisation, Graphes et applications, Logique et langages tandis que le parcours Vérification s'appuie sur les UE Formalismes de Description de Systèmes, Logiques Comportementales et Technologies de la vérification.

Parcours de formation :
3 parcours différenciés à partir du master 2 : Informatique fondamentale European master in software verification Informatique et recherche opérationnelle (IRO)

Public concerné : Formation initiale, Formation continue Site de formation : Bordeaux et agglomération Responsable :
Emmanuel FLEURY Géraud SENIZERGUES Isabelle ESCOLIN-CONTENSOU Anca MUSCHOLL Pierre CASTÉRAN Pierre CASTERAN Xavier BLANC

OBJECTIFS ET DÉBOUCHÉS : Objectifs :
La spécialité Algorithmes et Méthodes Formelles vise à donner au diplômé des compétences solides concernant la modélisation informatique de tous types de problèmes et l'évaluation quantitative de la qualité des solutions apportées.

Compétences acquises :
Le diplômé possède des compétences transversales, acquises dans un contexte général de formation universitaire et des compétences scientifiques

en relation

  • l'administration de Douane en Tunisie
    5313 mots | 22 pages
  • l'initiation du statut d'opérateur économique agrée et le contrôle à postériori
    11335 mots | 46 pages
  • le nouvel organigrame de la dgi
    8696 mots | 35 pages
  • Paiment fournisseur par chéque
    4097 mots | 17 pages
  • La puissance quasi-illimitée du parlement et la fragilité de la suprématie de la constitution de 1987
    1459 mots | 6 pages
  • Structures organisationnelles
    2142 mots | 9 pages
  • organisation comptable
    7341 mots | 30 pages
  • Franchise
    312 mots | 2 pages
  • Les structures organisationnelles
    2785 mots | 12 pages
  • Rapport de stage en boulangerie
    933 mots | 4 pages