Masters d'informatique - Algorithmique et Informatique théorique :

(algorithmique, recherche opérationnelle, modèles, complexité, mathématiques discrètes, logique, cryptologie...
(43 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 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 - Toulon - ENSA - ENSAM MarseilleSciences - Technologies - SantéSciences de l'information et des systèmesSciences 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 Artificiellerech.mises à jour en 2010 (non confirmées)
Aix-Marseille 2MarseilleSciencesMathématiques et applicationsMathématique et informatique des nouvelles technologiesProgrammation Java - Bases de données - Statistiques - Cryptographie - Logiqueproconfirmées en 2007
Aix-Marseille 2MarseilleSciencesMathématiques et applicationsMathématiques discrètes et fondements de l'informatiqueLogique - Arithmétique - Systèmes dynamiques discrets - Combinatoire - Théorie des graphesrech.confirmées en 2011
ArtoisLensSciencesMathématiques-informatiqueSystèmes intelligents et applications
 
rech.mise à jour 2012 en cours
Bordeaux 1TalenceSciences - Technologies - SantéInformatiqueAlgorithmes et méthodes formellesDeux parcours: Informatique fondamentale - Vérificationprorech.mises à jour en 2012
Bordeaux 1TalenceSciences - Technologies - SantéInformatiqueCryptologie et sécurité informatique
 
prorech.mises à jour en 2012 (non confirmées)
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
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
CaenCaenSciences et TechnologiesInformatiqueAlgorithmes et modèles de l'informationun 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éatoirerech.confirmées en 2011
Clermont-Ferrand 2Clermont-FerrandSciences et TechnologiesInformatique et systèmesModèles, imagerie, robotique
 
rech.confirmées en 2009
Evry - Paris UPEC - ENSIIE - TELECOM SudParisÉvrySciences et TechnologiesInformatique et systèmesModèles, optimisation, programmation et servicesParcours : Optimisation et services – Conception et validationrech.mises à jour en 2008 (non confirmées)
Franche-Comté - Belfort-Montbéliard - Haute-AlsaceBelfortSciences - Technologies - SantéInformatiqueAlgorithmique, hautes perfomances et optimisationAlgorithmique numérique et répartie, algorithmique géométrique et optimisationrech.confirmé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 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
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 TechnologiesInformatiqueModèles complexes, algorithmes et données
 
prorech.communiquées en 2011
LorraineMetzSciences 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
LorraineNancySciences - Technologies - SantéInformatiqueLogiciels: théorie, méthodes et ingénierie2 parcours: Recherche - Professionnelprorech.mises à jour en 2010 (non confirmées)
LorraineNancySciences - Technologies - SantéInformatiqueReconnaissance, apprentissage, raisonnement2 parcours: Recherche - Professionnelrech.mises à jour en 2010 (non confirmées)
LorraineNancySciences - Technologies - SantéSciences de la cognition et applicationsTraitement automatique des langues
 
prorech.mises à jour en 2010 (non confirmées)
Lorraine - ENS CachanCachan - NancyIngé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ûrprorech.confirmées en 2012
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 2 - NantesLyonSciences - Technologies - SantéInformatiqueFouille de Données et Gestion des Connaissances2 parcours: Extraction des connaissances à partir des données - Data Mining and Knowledge Management (Master Erasmus Mundus)prorech.confirmées en 2012
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
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
NantesNantesSciences - Technologies - SantéInformatiqueOptimisation en recherche opérationnelle2 options: Professionnel - Rechercheprorech.formation internationale, cours en anglais en M2 (en français en M1), un semestre minimum à l'étrangerconfirmées en 2010
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
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 Dauphine - Mines ParisParisMathématiques - informatique - décision et organisationInformatique des organisationsModélisation, optimisation, décision et organisationAide à la décision - Recherche opérationnellerech.confirmées en 2010
Paris DiderotParisSciences - Technologies - SantéMathématiques et informatiqueLogique 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 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 2012
Paris UPMCParisSciences et TechnologiesInformatiqueIntelligence artificielle et décisionAide à 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)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.mise à jour 2012 en cours
Paris-Nord 13VilletaneuseSciences - Technologies - SantéMathématiques et informatiqueOptimisation, modélisation et calcul
 
rech.mises à jour en 2008 (non confirmées)
Paris-Sud 11OrsaySciences - Technologies - SantéInformatiqueNouveaux systèmes informatiques
 
rech.communiquées en 2010
PicardieAmiensSciences - Technologies - SantéInformatiqueCombinatoire, parallélisme et ingénierie des connaissances
 
rech.confirmées en 2008
RouenSaint-Etienne-du-RouvraySciences - Technologies - SantéInformatique - génie de l'information et des systèmesInformatique théorique et applications
 
rech.mises à jour en 2009 (non confirmées)
Saint-Etienne - Mines St-EtienneSaint-EtienneSciences et TechnologiesInformatiqueWeb intelligence
 
prorech.confirmées en 2012
ToursToursSciences - Technologies - SantéInformatiqueInformatiqueOrdonnancement - 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 technologiesrech.confirmées en 2011
VersaillesVersaillesSciences et TechnologiesInformatiqueSécurité des contenus, des réseaux, des télécommunications et des systèmesIntégrateur en sécurité (formation initiale), Administrateur sécurité (formation par apprentissage)proalt.confirmées en 2012
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.mise à jour 2012 en cours