Masters d'informatique - Développement :

génie logiciel, architectures logicielles, vérification...
(86 formations recensées)

Chaque champ "spécialité" est lié au site www de la formation (ou à une fiche descriptive).


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 1MarseilleSciencesMathématiques et applicationsGénie statistique et informatique
 
proconfirmées en 2006
Aix-Marseille 1 - Aix-Marseille 2MarseilleSciencesInformatiqueInformatique avancée et applicationsAlgorithmique 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 proconfirmées en 2011
Aix-Marseille 1 - Aix-Marseille 2MarseilleSciencesInformatique (recherche)Recherche en informatique fondamentaleThè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 - ENSA - ENSAM MarseilleSciences - Technologies - SantéSciences de l'information et des systèmesInformatiqueGénie Logiciel - Systèmes d'Information Répartis - Systèmes d'Information Sécurisés proconfirmées en 2011
Aix-Marseille 1 - Aix-Marseille 2 - Aix-Marseille 3 - ENSA - ENSAM Marseille - ShanghaiSciences - Technologies - SantéSciences de l'information et des systèmesImagerie numériqueDéveloppements et Intégration Logiciels - Intelligence Compétitive et Vision Industrielle proconfirmées en 2010
Aix-Marseille 2MarseilleSciencesMathématiques et applicationsMathématique et informatique des nouvelles technologiesProgrammation Java - Bases de données - Statistiques - Cryptographie - Logiqueproconfirmées en 2007
AngersAngersSciences - Technologies - SantéInformatiqueMéthodes informatiques avancées
 
promises à jour en 2008 (non confirmées)
ArtoisLensSciencesMathématiques-informatiqueIngénierie logicielle pour l'internet
 
proconfirmées en 2010
AvignonAvignonSciences et TechnologiesInformatiqueaucuneParcours: (1) Ingénierie logicielle, systèmes d'information et informatique décisionnelle - (2) Réseaux informatiques - (3) Informatique et santé (ouverture septembre 2011)prorech.alt.pas de sélection entre M1 et M2 - Formation en alternance possible en M1 et en M2confirmées en 2011
Bordeaux 1Ho Chi Minh Ville (Vietnam)Sciences - Technologies - SantéInformatiqueGénie logiciel
 
procours en anglaisconfirmées en 2011
Bordeaux 1TalenceSciences - Technologies - SantéInformatiqueGénie logicielConduite de projet - Sûreté de fonctionnement - Vérification - Architectures logicielles distribuéesprorech.confirmées en 2010
Bordeaux 1TalenceSciences - Technologies - SantéInformatiqueSystèmes et réseauxRéseaux - Calcul parallèle - Architectures logicielles distribuéesprorech.mises à jour en 2011 (non confirmées) - changement de nom en 2011-2012: Réseaux, systèmes, mobilité
Bourgogne - ENSAM ClunyChalon-sur-SaôneSciences et TechnologiesConception - industrialisation - risque - décisionMaquette numérique et visualisation 3D
 
rech.Parcours master recherche de l'ENSAM Cluny - recrutement sur dossier en 2e annéeconfirmées en 2011
Bretagne OccidentaleBrestSciences - Technologies - SantéInformatiqueInformatiqueM1 en tronc commun, 2 parcours en M2: Informatique et Systèmes Complexes - Logiciels pour Systèmes Embarquésprorech.alt.contrats de professionnalisation en M2 confirmées en 2011
Bretagne OccidentaleBrestSciences - Technologies - SantéInformatiqueTechnologies de l'information et Ingénierie du logicielM1 en tronc commun, 2 parcours en M2: Technologies de l'Information - Ingénierie du Logiciel par Immersion (exclusivement en alternance et en contrat de professionnalisation)proconfirmées en 2009
Bretagne Occidentale - Bretagne Sud - Rennes 1 - ENIB - ENS Bretagne - INSA Rennes - Supélec Bretagne - TELECOM BretagneBrest - Lannion - Rennes - VannesSciences - Technologies - SantéInformatiqueMaster Recherche en InformatiqueLogiciels 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 Miningprorech.confirmées en 2011 - changement à prévoir en 2012-2013
Bretagne SudVannesSciences - Technologies - SantéMathématiques - STICInformatiqueInformatique de l'image et des réseaux, spécialisations: Administration et exploitation des systèmes en réseau – Média numériquesproconfirmées en 2011
CNAMParisSciences et Technologies de l'Information et de la CommunicationInformatiqueModélisation, optimisation, conception de systèmesRecherche opérationnelle - Logiciels sûrs - Systèmes embarqués et mobiles - Conception d'applications multimédiasprorech.confirmées en 2010
Clermont-Ferrand 2Clermont-FerrandSciences et TechnologiesInformatique et systèmesModèles, imagerie, robotique
 
rech.confirmées en 2009
Clermont-Ferrand 2VichySciences et TechnologiesInformatique et systèmesStratégie Internet et pilotages de projets d'entrepriseThèmes: Conduite de projets, Applications réparties, Intelligence économiqueproconfirmées en 2009
CorseCorteSciences et TechnologiesInformatiqueSystèmes d'information et Internet
 
prorech.alt.ouvert en alternance pour M1 et M2confirmées en 2012
Franche-ComtéBesançonSciences - Technologies - SantéInformatiqueSécurité et sûreté du logicielGénie logiciel appliqué à la sûreté et la sécurité des logiciels, modélisation, vérification et validation de systèmes critiquesprorech.professionnel et recherche (en T)confirmées en 2011
Franche-ComtéBesançon (à distance)Sciences - Technologies - SantéInformatiqueInformatique avancée et applications (Enseignement à distance)Formation générale en informatique, basée sur la maîtrise des aspects de génie logiciel, de systèmes distribués et de réseauprorech.FoADprofessionnel et recherche (en T), formation à distanceconfirmées en 2011
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueCryptologie, sécurité et codage de l'information
 
protous les cours sont en anglaismises à jour en 2009 (non confirmées)
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueGénie informatique5 thèmes : Génie Logiciel, Système Réparti et Réseau, Interaction Homme-Machine, Système d'Information, Système et Logiciel Embarquésproalt.avec ou sans apprentissageconfirmées en 2011
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueInformatique4 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 Systemsrech.confirmées en 2011
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueIngénierie de l'image et de la conception assistée par ordinateur
 
proconfirmées en 2008
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueIngénierie de la Modélisation et de la Simulation Numérique
 
proconfirmées en 2011
Haute-Alsace - ENSISAMulhouseSciences - Technologies - SantéAutomatique et informatique industrielleAutomatique, signal et image
 
prorech.confirmées en 2011
Haute-Alsace - ENSISAMulhouseSciences - Technologies - SantéAutomatique et informatique industrielleSystèmes embarqués et communicants
 
prorech.confirmées en 2011
La RochelleLa RochelleSciences - Technologies - SantéSciences pour l'ingénieurIngénierie informatique, Ingénieurie des contenus numériques en entreprisedeux parcours : Développement et exploitation de contenu numérique - Urbanisation et architecture des systèmes informatiquesproconfirmées en 2009
La RochelleLa RochelleSciences - Technologies - SantéSciences pour l'ingénieurIngénierie mathématique et image
 
prorech.mises à jour en 2008 (non confirmées)
Le HavreLe HavreSciences - Technologies - SantéMathématiques-informatiqueMathé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""."prorech.communiquées en 2011
Lille 1LilleSciences et TechnologiesInformatiqueE-services
 
prorech.confirmées en 2011
Lille 1LilleSciences et TechnologiesInformatiqueIngénierie des projets informatiques, nouvelles technologiesGénie Mathématique et Informatique - MIAGEprorech.mises à jour en 2011
Lille 1LilleSciences et TechnologiesInformatiqueIngénierie et architecture des grands logicielsGénie Mathématique et Informatique - MIAGEprorech.mises à jour en 2011
Lille 1LilleSciences et TechnologiesInformatiqueTechnologies et infrastructures pour l'Internet et sa robustesseRéseaux et télécommunications - Systèmes et infrastructures logicielles – Sécurité et fiabilitéprorech.confirmées en 2011
LimogesLimogesSciences - Technologies - SantéSciences de l'information et de la communicationSécurité de l’information, mathématiques, informatiqueSécurité Informatique / Cryptologie, Codage et Applicationsprorech.indifférencié (recherche ou professionnel)confirmées en 2011
Lyon 1 - Lyon 2 - Centrale Lyon - ENS Lyon - INSA LyonLyonSciences - Technologies - SantéInformatiqueInformatique fondamentaleThè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 1 - Lyon 2 - Centrale Lyon - ENS Lyon - INSA LyonLyonSciences - Technologies - SantéInformatiqueTechnologie de l'information et Web
 
rech.mises à jour en 2008 (non confirmées)
Lyon 2LyonDroit - Economie - GestionInformatiqueInformatique décisionnelle et statistiqueIngénierie Informatique de la Décision et de l'Évaluation Économique - Statistique et Informatique Socio-Économiques - Organisation et Protection des Systèmes d'Information de l'Entrepriseproconfirmées en 2009
Lyon 2 - NantesLyonSciences - Technologies - SantéInformatiqueFouille de Données et Gestion des ConnaissancesExtraction des connaissances à partir des donnéesprorech.confirmées en 2011
Marne-la-ValléeMarne-la-ValléeSciences - Technologies - SantéInformatiqueSciences & Ingénierie informatiquesParcours: 1) Logiciels & Réseaux 2) Algorithmes, bioinformatique & combinatoire 3) Informatique linguistiqueprorech.alt.communiquées en 2011
MetzMetzSciences et TechnologiesInformatiqueInformatique5 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)prorech.alt.confirmées en 2010
Montpellier 2MontpellierSciences et TechnologiesInformatique - mathématiques - statistiquesInformatique à finalité Professionnalisante et Recherche unifiée4 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 Rechercherech.confirmées en 2010
Nancy 2NancySciences - Technologies - SantéMIAGE (Méthodes informatiques appliquées à la gestion des entreprises)Systèmes d'information distribués
 
proformation initiale et continueconfirmées en 2011
Nancy UHPNancySciences - Technologies - SantéInformatiqueLogiciels: théorie, méthodes et ingénierie2 parcours: Recherche - Professionnelprorech.mises à jour en 2010 (non confirmées)
Nancy UHP - ENS Cachan - INPLNancy - CachanIngénierie et technologiesIngénierie de systèmes complexesSûreté et sécurité actives des systèmesParcours de base + parcours à la carte: Systèmes en Réseaux et Contrôle Sûr (partiellement en anglais)prorech.confirmées en 2011
Nantes - Mines NantesNantesSciences - Technologies - SantéInformatiqueArchitectures logiciellesGénie Logiciel, Architectures Distribuées et Multimédiaprorech.confirmées en 2011
NiceNiceSciences - Technologies - SantéInformatiqueInformatique fondamentale et IngéniérieParcours: 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édiaprorech.alt.confirmées en 2011
NiceNiceSciences - Technologies - SantéInformatiqueMultimédia, bases de données et systèmes
 
proalt.confirmées en 2006
NiceNiceSciences - Technologies - SantéInformatiqueProgrammation : modèles, langages, techniquesParadigmes de programmation - Ingénierie de la connaissancerech.mises à jour en 2008 (non confirmées)
NiceNiceSciences - Technologies - SantéSciences de la Terre et de l'environnementGestion de projets hydrotechnologiques et environnementaux
 
promises à jour en 2010 (non confirmées)
Nice - Barcelone - Budapest - Cottbus - NewcastleNiceSciences - Technologies - SantéInformatiqueHydroinformatique et gestion de l'eau
 
prointernational (Erasmus Mundus)mises à jour en 2010 (non confirmées)
OrléansOrléansSciences - Technologies - SantéSciences et Technologies de l'Information et de la CommunicationInformatique : répartition et aide à la décision
 
prorech.indifférencié (professionnel et recherche)confirmées en 2009
Paris DiderotParisSciences - Technologies - SantéInformatiqueIngénierie informatiqueLangages et Programmation - Systèmes, réseaux et Internet - Logiciels critiquesproconfirmées en 2011
Paris Diderot - ENS Cachan - ENS Ulm - École PolytechniqueParisSciences - Technologies - SantéMathématiques et informatiqueRecherche en informatiqueThè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 2011
Paris UPECCréteilSciences et TechnologiesInformatiqueSécurité des systèmes informatiques
 
prorech.confirmées en 2011
Paris UPMCParisSciences et TechnologiesInformatiqueScience et technologie du logicielTechnologies applicatives (professionnel) - Logiciels sûrs (professionnel) - Algorithmique et programmation (professionnel, recherche) - Informatique et mathématique (recherche)prorech.confirmées en 2006
Paris UPMCParisSciences et TechnologiesInformatiqueSystèmes et applications répartisSystèmes répartis et middleware - Conception et réalisation d'applications réparties - Systèmes répartis embarqués ou temps-réel - Programmation mobileprorech.confirmées en 2011
Paris UPMCParisSciences et TechnologiesInformatiqueSystèmes électroniques et systèmes informatiquesSystèmes intégrés - CAO de circuits et systèmes - Circuits intégrésprorech.mises à jour en 2010 (non confirmées)
Paris-Nord 13VilletaneuseSciences - Technologies - SantéInformatiqueProgrammation et Logiciels sûrs
 
prorech.indifférencié (professionnel et recherche)confirmées en 2011
Pau PauSciences et TechnologiesInformatiqueTechnologies de l'internetGénie logiciel, Systèmes distribués et Réseauxprorech.alt.Différenciation Recherche et Pro uniquement sur la nature du stageconfirmées en 2010
PerpignanPerpignanSciences et TechnologiesElectronique Informatique AutomatiqueaucuneElectronique – Informatique – Automatiqueprorech.confirmées en 2010
PicardieAmiensSciences - Technologies - SantéInformatiqueIngénierie des systèmes, réseaux et applications distribuées
 
proconfirmées en 2008
PoitiersPoitiersSciences - Technologies - SantéInformatique - télécommunicationsaucuneBases de Données et Technologies WEB - Conception Logicielle, Image, Système - Multimédia Embarqué - Télécommunications, Multimédia et Réseaux - Automatique et Applicationsprorech.confirmées en 2011
ReimsReimsSciences - Technologies - SantéMathématiques - Sciences et technologies de l'information et de la communicationSciences et technologies de l'information et de la communication, informatiqueAdministration et sécurité des réseaux (professionnel) - Méthodes Logicielles pour les réseaux et systèmes hétérogènes (professionnel) - Ingénierie de l’image et de la connaissance Image (professionnel) - Rechercheprorech.confirmées en 2011
Rennes 1RennesSciences - Technologies - SantéInformatiqueGénie logiciel
 
proconfirmées en 2009
Rennes 1RennesSciences - Technologies - SantéInformatiqueMéthodes informatiques et technologies de l'information et de la communicationUsages de l'informatique : interfaces hommes-machine, interactivité - Maîtrise d'ouvrage - Bases de données, fouille de données, documents dynamiques proconfirmées en 2007
Rennes 1RennesSciences - Technologies - SantéInformatiqueSécurité des systèmes d'informationMéthodologie pour la politique de sécurité,cryptographie, administration des réseaux, logiciels sûrs, étude des vulnérabilités des logiciels, contrôle d'accès, authentification, détection d'intrusions, architecture N-tiers, protection de la vie privéeproconfirmées en 2011
RouenSaint-Etienne-du-RouvraySciences - Technologies - SantéInformatique - génie de l'information et des systèmesGénie de l'Informatique Logicielle
 
proconfirmées en 2011
RouenSaint-Etienne-du-RouvraySciences - Technologies - SantéInformatique - génie de l'information et des systèmesSécurité des systèmes informatiques
 
proconfirmées en 2011
SavoieLe Bourget du LacSciences - Technologies - SantéSciences et Technologies de l'Information et des CommunicationsTélécommunications et réseaux
 
proconfirmées en 2011
SavoieLe Bourget du LacSciences et TechnologiesSciences et Technologies de l'Information et des CommunicationsInformatique et systèmes coopératifs
 
promises à jour en 2008 (non confirmées)
StrasbourgStrasbourgSciencesInformatiqueGestion de projets informatiques
 
proformation continuemises à jour en 2008 (non confirmées)
StrasbourgStrasbourgSciencesInformatiqueInformatique et sciences de l'image
 
prorech.confirmées en 2011
StrasbourgStrasbourgSciencesInformatiqueIngénierie du logiciel et des connaissances
 
prorech.alt.Alternance - M1: statut d'apprenti ou de stagiaire - M2 en apprentissage seulementconfirmées en 2010
ToulonLa Garde (83)Sciences - Technologies - SantéInformatiqueDéveloppement et applications sur plateformes mobilesformer des développeurs de haut niveau capables de maîtriser les spécificités des applications à développer sur plateformes mobiles (gestion des données multimodales, programmation efficace et sécurisée de primitives cryptographiques)prorech.L’orientation professionnelle ou recherche du master sera déterminée par la nature du stage en M2.communiquées en 2012 (ouverture prévue à la rentrée 2012)
Toulouse 3ToulouseSciences - Technologies - SantéInformatiqueGénie logiciel, logiciels répartis et embarqués
 
proconfirmées en 2009
Toulouse 3ToulouseSciences - Technologies - SantéInformatiqueIngénierie des systèmes informatiquesgénie logiciel, modélisation et métamodélisation, transformations de modèles, vérification, systèmes critiques, sécurité ...proconfirmées en 2010
Toulouse 3 - ENACToulouseSciences - Technologies - SantéInformatiqueInteraction homme-machine
 
prorech.indifférencié pro-recherche à partir de la rentrée 2011confirmées en 2011
Toulouse 3 - ENAC - INPT - INSA Toulouse - ISAEToulouseSciences - Technologies - SantéInformatiqueInformatique et télécommunicationsAudio-Vidéo et Image - Intelligence Artificielle - Interaction Coopération et Systèmes Complexes - Recherche d'Information et Bases de Données - Réseaux et Télécommunications - Systèmes Informatiques et Génie Logicielrech.confirmées en 2011
VersaillesVersaillesSciences et TechnologiesInformatiqueAnalyse et conception de systèmes d'information sûrs
 
proconfirmées en 2010
Versailles - Centrale Paris - ENS CachanVersaillesSciences - Technologies - SantéInformatique Haute Performance et SimulationInformatique haute performanceMots-clés: informatique haute performance, parallélisme, calcul intensif, simulationprorech.communiquées en 2010
Versailles - Centrale Paris - ENS CachanVersaillesSciences - Technologies - SantéInformatique Haute Performance et SimulationSimulation haute performanceMots-clés: informatique haute performance, parallélisme, calcul intensif, simulationprorech.communiquées en 2010
Versailles - TELECOM SudParisVersaillesSciences et TechnologiesInformatiqueDes 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 Performancesrech.confirmées en 2011