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

  • Association asmae
    549 mots | 3 pages
  • Chef
    777 mots | 4 pages
  • Management - Le développement des compétences
    1372 mots | 6 pages
  • De directeur si profil et compétences
    655 mots | 3 pages
  • Chef de secteur gms
    9876 mots | 40 pages
  • Doc rapport si
    20032 mots | 81 pages
  • Chef de division
    2616 mots | 11 pages
  • Cour gea
    599 mots | 3 pages
  • Chefs d'equipe
    829 mots | 4 pages
  • Rapport de stage
    1275 mots | 6 pages
  • Chef de rayon
    1085 mots | 5 pages
  • Chef d'équipe
    564 mots | 3 pages
  • Chef
    392 mots | 2 pages
  • Co-leader
    255 mots | 2 pages
  • C V Ziad MTIBAA
    489 mots | 2 pages