| Lieu |
Contenu de la formation |
Type de master, organisation |
Statut des informations |
| Etablissement(s) |
Ville(s) |
Domaine |
Mention |
Spécialité |
Options, parcours ou thèmes |
Pro |
Rech. |
Alt. |
FoAD |
Remarques |
| Aix-Marseille 1 - Aix-Marseille 2 | Marseille | Sciences | Informatique | Informatique avancée et applications | Algorithmique et recherche opérationnelle - Fiabilité et sécurité informatique -Bases de données avancées - Traitement automatique des langues - Intégration de systèmes logiciels | pro | | | | | confirmées en 2011 |
| Aix-Marseille 1 - Aix-Marseille 2 | Marseille | Sciences | Informatique (recherche) | Recherche en informatique fondamentale | Thèmes : Bases de données et apprentissage - Combinatoire et recherche opérationnelle - Compréhension automatique du langage naturel - Logique et complexité - Modélisation et vérification - Bio-info et mathématiques | | rech. | | | | confirmées en 2011 |
| Aix-Marseille 1 - Aix-Marseille 2 - Aix-Marseille 3 - Toulon - ENSA - ENSAM | Marseille | Sciences - Technologies - Santé | Sciences de l'information et des systèmes | Sciences de l'information et des systèmes (recherche) | Parcours: Conception de Produits et de Systèmes de Production - Modélisation, Commande et Simulation - Imagerie Numérique - Systèmes d'Information et Connaissance - Intelligence Artificielle | | rech. | | | | mises à jour en 2010 (non confirmées) |
| Aix-Marseille 2 | Marseille | Sciences | Mathématiques et applications | Mathématique et informatique des nouvelles technologies | Programmation Java - Bases de données - Statistiques - Cryptographie - Logique | pro | | | | | confirmées en 2007 |
| Aix-Marseille 2 | Marseille | Sciences | Mathématiques et applications | Mathématiques discrètes et fondements de l'informatique | Logique - Arithmétique - Systèmes dynamiques discrets - Combinatoire - Théorie des graphes | | rech. | | | | confirmées en 2011 |
| Artois | Lens | Sciences | Mathématiques-informatique | Systèmes intelligents et applications | | | rech. | | | | mise à jour 2012 en cours |
| Bordeaux 1 | Talence | Sciences - Technologies - Santé | Informatique | Algorithmes et méthodes formelles | Deux parcours: Informatique fondamentale - Vérification | pro | rech. | | | | mises à jour en 2012 |
| Bordeaux 1 | Talence | Sciences - Technologies - Santé | Informatique | Cryptologie et sécurité informatique | | pro | rech. | | | | mises à jour en 2012 (non confirmées) |
| Bretagne Occidentale - Bretagne Sud - Rennes 1 - ENIB - ENS Bretagne - INSA Rennes - Supélec Bretagne - TELECOM Bretagne | Brest - Lannion - Rennes - Vannes | Sciences - Technologies - Santé | Informatique | Master Recherche en Informatique | Logiciels enfouis à base de composants - Réseaux et systèmes répartis - Sécurité des contenus et des infrastructures informatiques - Des données aux connaissances : apprentissage, modélisation et indexation des contenus multimédias et des données symboliques - Images et interactions - Systèmes informatiques centrés sur l'humain - Systèmes et objets communicants mobiles - Interaction intelligente sur l'information - Architecture et ingénierie logicielles des systèmes autonomes et adaptatifs – Systèmes intelligents auto-organisés - Application à l’animation par ordinateur, la robotique et au Web Mining | pro | rech. | | | | confirmées en 2011 - changement à prévoir en 2012-2013 |
| CNAM | Paris | Sciences et Technologies de l'Information et de la Communication | Informatique | Modélisation, optimisation, conception de systèmes | Recherche opérationnelle - Logiciels sûrs - Systèmes embarqués et mobiles - Conception d'applications multimédias | pro | rech. | | | | confirmées en 2010 |
| Caen | Caen | Sciences et Technologies | Informatique | Algorithmes et modèles de l'information | un parcours “Décision et extraction de connaissances” organisé autour de l'optimisation combinatoire, la fouille de données, l'intelligence artificielle et le traitement d'images, et un parcours “Sécurité” organisé autour de la sécurité informatique, la cryptologie, la transmission de l'information et l'aléatoire | | rech. | | | | confirmées en 2011 |
| Clermont-Ferrand 2 | Clermont-Ferrand | Sciences et Technologies | Informatique et systèmes | Modèles, imagerie, robotique | | | rech. | | | | confirmées en 2009 |
| Evry - Paris UPEC - ENSIIE - TELECOM SudParis | Évry | Sciences et Technologies | Informatique et systèmes | Modèles, optimisation, programmation et services | Parcours : Optimisation et services – Conception et validation | | rech. | | | | mises à jour en 2008 (non confirmées) |
| Franche-Comté - Belfort-Montbéliard - Haute-Alsace | Belfort | Sciences - Technologies - Santé | Informatique | Algorithmique, hautes perfomances et optimisation | Algorithmique numérique et répartie, algorithmique géométrique et optimisation | | rech. | | | | confirmées en 2011 |
| Grenoble UJF | Grenoble | Sciences - Technologies - Santé | Mathématiques et informatique | Cryptologie, sécurité et codage de l'information | | pro | | | | tous les cours sont en anglais | mises à jour en 2009 (non confirmées) |
| Grenoble UJF | Grenoble | Sciences - Technologies - Santé | Mathématiques et informatique | Informatique | 4 options en parcours classique : Systèmes d’Information et Ingénierie Avancée des Logiciels - Recherche Opérationnelle, Combinatoire et Optimisation - Informatique Centrée Humain - Fondements de l’Informatique : Conception et Validation – 4 options en parcours international (tous les enseignements sont en anglais) : Artificial Intelligence and the Web - Graphics, Vision and Robotics - Security and Cryptology - Mobile and Interactive Systems - Parallel, Distributed and Embedded Systems | | rech. | | | | confirmées en 2011 |
| Le Havre | Le Havre | Sciences - Technologies - Santé | Mathématiques-informatique | Mathématiques et Informatique des systèmes complexes et distribués | "Trois parcours : deux parcours professionnels : SIRES ""systèmes informatiques, réseaux, sécurité"" (orientation informatique) et IMOI ""ingénierie informatique et outils informatiques"" (orientation mathématique) et un parcours recherche MIS ""mathématiques et informatique des systèmes complexes""." | pro | rech. | | | | communiquées en 2011 |
| Lille 1 | Lille | Sciences et Technologies | Informatique | Modèles complexes, algorithmes et données | | pro | rech. | | | | communiquées en 2011 |
| Lorraine | Metz | Sciences et Technologies | Informatique | Informatique | 5 parcours: Informatique Décisionnelle (pro/recherche) - Interaction Homme Machine (pro/recherche) - Sécurité des Systèmes d'Information et de Communication (pro/recherche) - Modélisation par le Logiciel (recherche) - Génie Informatique (pro, alternance) | pro | rech. | alt. | | | confirmées en 2010 |
| Lorraine | Nancy | Sciences - Technologies - Santé | Informatique | Logiciels: théorie, méthodes et ingénierie | 2 parcours: Recherche - Professionnel | pro | rech. | | | | mises à jour en 2010 (non confirmées) |
| Lorraine | Nancy | Sciences - Technologies - Santé | Informatique | Reconnaissance, apprentissage, raisonnement | 2 parcours: Recherche - Professionnel | | rech. | | | | mises à jour en 2010 (non confirmées) |
| Lorraine | Nancy | Sciences - Technologies - Santé | Sciences de la cognition et applications | Traitement automatique des langues | | pro | rech. | | | | mises à jour en 2010 (non confirmées) |
| Lorraine - ENS Cachan | Cachan - Nancy | Ingénierie et technologies | Ingénierie de systèmes complexes | Sûreté et sécurité actives des systèmes | Parcours de base + parcours à la carte: Systèmes en Réseaux et Contrôle Sûr | pro | rech. | | | | confirmées en 2012 |
| Lyon 1 - Lyon 2 - Centrale Lyon - ENS Lyon - INSA Lyon | Lyon | Sciences - Technologies - Santé | Informatique | Informatique fondamentale | Thèmes: Arithmétique des ordinateurs - Calcul parallèle - Compilation et systèmes enfouis - Méthodes formelles - Méthodes pour architectures temps réel - Modèles de calcul et complexité - Réseaux très haut débit | | rech. | | | | mises à jour en 2010 (non confirmées) |
| Lyon 2 - Nantes | Lyon | Sciences - Technologies - Santé | Informatique | Fouille de Données et Gestion des Connaissances | 2 parcours: Extraction des connaissances à partir des données - Data Mining and Knowledge Management (Master Erasmus Mundus) | pro | rech. | | | | confirmées en 2012 |
| Marne-la-Vallée | Marne-la-Vallée | Sciences - Technologies - Santé | Informatique | Sciences & Ingénierie informatiques | Parcours: 1) Logiciels & Réseaux 2) Algorithmes, bioinformatique & combinatoire 3) Informatique linguistique | pro | rech. | alt. | | | communiquées en 2011 |
| Montpellier 2 | Montpellier | Sciences et Technologies | Informatique - mathématiques - statistiques | Informatique à finalité Professionnalisante et Recherche unifiée | 4 parcours : GL : Génie Logiciel avec une finalité professionnelle ex TOIL : Technologies Objet et Ingénierie Logicielle et une orientation recherche Développement Logiciel à Objets et à Composants - DIWEB : Données, Information et Web décliné avec une finalité professionnelle ex IDI : Interaction Document Information et en finalité recherche ID2 : Information Intelligence Documents Données - I2A : Ingénierie de l'Intelligence Artificielle avec une finalité professionnelle Résolution de Problèmes, Ingénierie des connaissances et Intelligence Virtuelle et une orientation recherche Agents, Apprentissage, Cognition, Prise de décision, Représentation des connaissances et Raisonnement incertain - CASAR : Combinatoire, Algorithmes, Sécurité, Administration des réseaux décliné en finalité professionnelle ex ASR : Administration et Sécurité des Réseaux et finalité recherche ex ACR : Algorithmique Combinatoire et Réseaux pour l'orientation Recherche | | rech. | | | | confirmées en 2010 |
| Nantes | Nantes | Sciences - Technologies - Santé | Informatique | Optimisation en recherche opérationnelle | 2 options: Professionnel - Recherche | pro | rech. | | | formation internationale, cours en anglais en M2 (en français en M1), un semestre minimum à l'étranger | confirmées en 2010 |
| Nice | Nice | Sciences - Technologies - Santé | Informatique | Informatique fondamentale et Ingéniérie | Parcours: Architecture Logicielle - Computational Biology ( en anglais) - Cryptographie, Systèmes, Sécurité et Réseaux - Informatique Ambiante et Mobile - Interfaces Homme-Machine - Knowledge and Information System - Système Complexe - Ubiquitous Networking (en anglais) - Vision, Image et Multimédia | pro | rech. | alt. | | | confirmées en 2011 |
| Orléans | Orléans | Sciences - Technologies - Santé | Sciences et Technologies de l'Information et de la Communication | Informatique : répartition et aide à la décision | | pro | rech. | | | indifférencié (professionnel et recherche) | confirmées en 2009 |
| Paris Dauphine - Mines Paris | Paris | Mathématiques - informatique - décision et organisation | Informatique des organisations | Modélisation, optimisation, décision et organisation | Aide à la décision - Recherche opérationnelle | | rech. | | | | confirmées en 2010 |
| Paris Diderot | Paris | Sciences - Technologies - Santé | Mathématiques et informatique | Logique mathématique et fondements de l'informatique | Logique mathématique (Théorie des modèles, Théorie des ensembles) - Logique et informatique (Lambda-calcul, Théorie de la démonstration, Théorie de la complexité, Vérification) | | rech. | | | | confirmées en 2008 |
| Paris Diderot - ENS Cachan - ENS Ulm - École Polytechnique | Paris | Sciences - Technologies - Santé | Mathématiques et informatique | Recherche en informatique | Thèmes (liste non exhaustive) : Algorithmique – Automates – Concurrence - Cryptographie – Complexité - Calcul formel - Programmation – Sécurité – Sémantique – Réseaux - Systèmes embarqués – Vérification... | | rech. | | | | confirmées en 2012 |
| Paris UPMC | Paris | Sciences et Technologies | Informatique | Intelligence artificielle et décision | Aide à la décision et recherche opérationnelle (recherche) - Agents intelligents, apprentissage et décision (recherche) - Bases de données, recherche d'information, image (recherche) - Fouille intelligente de données (recherche) - Interaction et coopération hommes-machines (professionnel) - Fouille de données (professionnel) | pro | rech. | | | | confirmées en 2011 |
| Paris UPMC | Paris | Sciences et Technologies | Informatique | Science et technologie du logiciel | Technologies applicatives (professionnel) - Logiciels sûrs (professionnel) - Algorithmique et programmation (professionnel, recherche) - Informatique et mathématique (recherche) | pro | rech. | | | | mise à jour 2012 en cours |
| Paris-Nord 13 | Villetaneuse | Sciences - Technologies - Santé | Mathématiques et informatique | Optimisation, modélisation et calcul | | | rech. | | | | mises à jour en 2008 (non confirmées) |
| Paris-Sud 11 | Orsay | Sciences - Technologies - Santé | Informatique | Nouveaux systèmes informatiques | | | rech. | | | | communiquées en 2010 |
| Picardie | Amiens | Sciences - Technologies - Santé | Informatique | Combinatoire, parallélisme et ingénierie des connaissances | | | rech. | | | | confirmées en 2008 |
| Rouen | Saint-Etienne-du-Rouvray | Sciences - Technologies - Santé | Informatique - génie de l'information et des systèmes | Informatique théorique et applications | | | rech. | | | | mises à jour en 2009 (non confirmées) |
| Saint-Etienne - Mines St-Etienne | Saint-Etienne | Sciences et Technologies | Informatique | Web intelligence | | pro | rech. | | | | confirmées en 2012 |
| Tours | Tours | Sciences - Technologies - Santé | Informatique | Informatique | Ordonnancement - Aide à la décision pour l'ordonnancement - Vision par ordinateur - Document multimédia - Fouille visuelle de données et réalité virtuelle - Handicap et nouvelles technologies | | rech. | | | | confirmées en 2011 |
| Versailles | Versailles | Sciences et Technologies | Informatique | Sécurité des contenus, des réseaux, des télécommunications et des systèmes | Intégrateur en sécurité (formation initiale), Administrateur sécurité (formation par apprentissage) | pro | | alt. | | | confirmées en 2012 |
| Versailles - TELECOM SudParis | Versailles | Sciences et Technologies | Informatique | Des concepts aux systèmes | (1) Architectures de Haute Performances (sic), (2) Bases de Données et Réseaux Sécurisés, (3) Bases de Données et Systèmes d´Information Décisionnels, (4) Cryptographie et Algorithmes à Haute Performance, (5) Modélisation, Optimisation et Décision, (6) Réseaux, Routage et Performances | | rech. | | | | mise à jour 2012 en cours |