Masters d'informatique - Développement :

génie logiciel, architectures logicielles, vérification...
(81 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ûreté des systèmes informatiques - Fouille de données - Ingénierie de la langue - Intégration de systèmes logicielsproconfirmées en 2006
Aix-Marseille 1 - Aix-Marseille 2MarseilleSciencesInformatique (recherche)Recherche en informatique fondamentaleThèmes : Modélisation et vérification - Combinatoire et recherche opérationnelle - Logique et complexité - Bases de données - Compréhension automatique du langage naturel - Bio-informatique - Contraintesrech.mises à jour en 2008 (non confirmées)
Aix-Marseille 1 - Aix-Marseille 2 - Aix-Marseille 3 - Toulon - ENSA - ENSAM Shanghai - MarseilleSciences - 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 1 - Aix-Marseille 2 - Aix-Marseille 3 - Toulon - ENSA - ENSAM Toulon - 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 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 : Ingénierie du logiciel, des Systèmes d’Informations et du Multimédia - Ingénierie des Réseaux et des Télécoms - Informatique décisionnelle - Informatique et Traitement Automatique des Langues prorech.alt.pas de sélection entre M1 et M2 - Formation en alternance possible en M1 et en M2confirmées en 2010
Bordeaux 1BordeauxSciences - Technologies - SantéInformatiqueGénie logicielConduite de projet - Sûreté de fonctionnement - Vérification - Architectures logicielles distribuéesprorech.confirmées en 2010
Bordeaux 1BordeauxSciences - Technologies - SantéInformatiqueSystèmes et réseauxRéseaux - Calcul parallèle - Architectures logicielles distribuéesprorech.confirmées en 2009
Bordeaux 1Ho Chi Minh Ville (Vietnam)Sciences - Technologies - SantéInformatiqueGénie logiciel
 
procours en anglaisconfirmées en 2010
Bourgogne - ENSAM ClunyChâlon-sur-SaôneSciences - Technologies - SantéSciences et techniques de l'information et de la communicationMaquette numérique et immersion virtuelle
 
rech.Parcours master recherche de l'ENSAM Cluny - recrutement sur dossier en 2e annéemises à jour en 2009 (non confirmées)
Bretagne OccidentaleBrestSciences - Technologies - SantéInformatiqueInformatiqueM1 en tronc commun, 2 parcours en M2: Informatique et Systèmes Complexes - Logiciels pour Systèmes Embarquésproalt.contrats de professionnalisation en M2 confirmées en 2010
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 2010
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 2010
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.mises à jour en 2010 (non confirmées)
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 2010
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 2010
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 2010
Grenoble UJFGrenobleSciences - Technologies - SantéMathématiques et informatiqueInformatique4 options en parcours classique : Intelligence Artificielle et Web - Systèmes d’Information et Ingénierie Avancée des Logiciels - Recherche Opérationnelle, Combinatoire et Optimisation - Informatique Centrée Humain - Conception et Validation – 3 options en parcours international (tous les enseignements sont en anglais) : Parallel, Distributed and Embedded Systems - Mobile and Interactive Systems - Graphics, Vision and Roboticsrech.mises à jour en 2008 (non confirmées)
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 2010
Haute-Alsace - ENSISAMulhouseSciences - Technologies - SantéAutomatique et informatique industrielleAutomatique, signal et image
 
prorech.confirmées en 2010
Haute-Alsace - ENSISAMulhouseSciences - Technologies - SantéAutomatique et informatique industrielleSystèmes embarqués et communicants
 
prorech.confirmées en 2010
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)
Lille 1LilleSciences et TechnologiesInformatiqueE-services
 
proconfirmées en 2010
Lille 1LilleSciences et TechnologiesInformatiqueIngénierie des projets informatiques, nouvelles technologiesGénie Mathématique et Informatique - MIAGEpromises à jour en 2008 (non confirmées)
Lille 1LilleSciences et TechnologiesInformatiqueIngénierie et architecture des grands logicielsGénie Mathématique et Informatique - MIAGEproconfirmées en 2006
Lille 1LilleSciences et TechnologiesInformatiqueRecherche informatiqueApplications réparties - Conception de systèmes embarqués - Modèles et algorithmes - bioinformatique - Images et multimédia - Intelligence artificielle et extraction de connaissancesrech.mises à jour en 2008 (non confirmées)
Lille 1LilleSciences et TechnologiesInformatiqueTechnologies et infrastructures de l'Internet et de sa robustesseRéseaux et télécommunications - Systèmes et infrastructures logicielles – Sécurité et fiabilitéprorech.confirmées en 2010
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 2010
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
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 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.mises à jour en 2010 (non confirmées)
Nancy UHP - Nancy 2NancySciences - Technologies - SantéMéthodes informatiques appliquées à la gestion des entreprisesSystèmes d'information distribués
 
proformation initiale et continueconfirmées en 2010
Nantes - Mines NantesNantesSciences - Technologies - SantéInformatiqueArchitectures logiciellesGénie Logiciel, Architectures Distribuées et Multimédiaprorech.confirmées en 2010
NiceNiceSciences - Technologies - SantéInformatiqueInformatique fondamentale et IngéniérieParcours: Ambiant, Grid and Network Computing (cours en anglais) - Architecture Logicielle - Cryptographie et Sécurité - Informatique Ambiante et Mobile - Interfaces Homme-Machine - Knowledge Management et Décisionnel - Systèmes d'information - Système Complexe - Système, Sécurité et Réseaux - Vision, Image et Multimédiaprorech.alt.confirmées en 2009
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 2010
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 2010
Paris UPECCréteilSciences et TechnologiesInformatiqueSécurité des systèmes informatiques
 
prorech.confirmées en 2010
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 - Bases de données répartiesprorech.confirmées en 2009
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éInformatiqueModélisation informatique des connaissances et du raisonnement
 
rech.mises à jour en 2008 (non confirmées)
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 2010
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 2007
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-tiersproconfirmées en 2010
RouenSaint-Etienne-du-RouvraySciences - Technologies - SantéInformatique - génie de l'information et des systèmesGénie de l'Informatique Logicielle
 
proconfirmées en 2010
RouenSaint-Etienne-du-RouvraySciences - Technologies - SantéInformatique - génie de l'information et des systèmesSécurité des systèmes informatiques
 
proconfirmées en 2010
SavoieLe Bourget du LacSciences et TechnologiesTechnologie de l'information et des télé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)
StrasbourgStrasbourgSciencesInformatiqueIngénierie du logiciel et des connaissances
 
prorech.alt.Alternance - M1: statut d'apprenti ou de stagiaire - M2 en apprentissage seulementconfirmées en 2010
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
 
proconfirmées en 2010
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 2009
VersaillesVersaillesSciences et TechnologiesInformatiqueAnalyse et conception de systèmes d'information sûrs
 
proconfirmées en 2010
VersaillesVersaillesSciences et TechnologiesInformatiqueDes concepts aux systèmes(1) Architectures de Haute Performances, (2) Bases de Données et RéseauxSécurisés, (3) Bases de Données et Systèmes d’Information Distribués, (4) Cryptographie et Algorithmes à Haute Performance, (5) Modélisation, Optimisation et Décision, (6) Réseaux, Routage et Performancesrech.confirmées en 2007
Versailles - Centrale Paris - ENS CachanVersaillesSciences - Technologies - SantéInformatique Haute Performance et SimulationInformatique haute performanceMots-clés: informatique haute performance, parallélisme, calcul intensif, simulationprorech.ouverture en 2010communiqué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.ouverture en 2010communiquées en 2010