Aller au contenu principal

M1 Master parisien de recherche en Informatique (Mpri)

Candidater à la formation
  • Capacité d'accueil
    30
  • Langue(s) d'enseignement
    Anglais
    Français
  • Régime(s) d'inscription
    Formation initiale
Présentation
Objectifs pédagogiques de la formation

La formation prépare à une thèse en informatique théorique, et plus généralement à une carrière de recherche. Deux parcours sont proposés: la voie ENS Paris-Saclay et la voie Faculté des Sciences.  Les deux mènent au M2 MPRI et sont sanctionnées par le même diplôme.

Pour la voie ENS, l'objectif de l'année est d'approfondir les compétences fondamentales, et de découvrir leurs nombreuses applications en informatique théorique. La voie Faculté des Sciences cherchera elle à vous donner de solides fondements d'informatique théorique. Les deux voies s'achèvent par un long stage de recherche.

Les principaux champs couverts sont : l'algorithmique; la calculabilité et la complexité; la théorie des automates; la combinatoire et l'algèbre effective; la logique, la démonstration interactive et la démonstration automatique; la sémantique des langages de programmation, l'analyse et la vérification de programmes et systèmes; la cryptologie et la sécurité (pour la voie ENS); le calcul quantique et l’information quantique (pour la voie Faculté des Sciences). Les deux voies ont 1 à 3 cours en commun selon les choix d'options. 

La formation est dispensée par des chercheurs du domaine, et se situe donc à la pointe des connaissances scientifiques actuelles, ce qui prépare au mieux les étudiants à une thèse.

Les cours sont dispensés en anglais, à l'exception de trois cours de la voie Faculté des Sciences (remplaçables par des cours en anglais d'autres parcours du Master informatique). 

Quelques bourses sont disponibles [1,2]. Les dates limites sont en Mai.

Lieu(x) d'enseignement
GIF SUR YVETTE
Pré-requis, profil d’entrée permettant d'intégrer la formation

Nous ne demandons pas de certificat de niveau de langue anglaise. Si votre candidature est sélectionnée, nous jugerons de votre capacité à faire des Sciences en anglais à l'occasion d'un entretien oral. La formation s'adresse à des étudiants ayant de solides bases en informatique fondamentale : algorithmique, calculabilité, automates, logique, programmation fonctionnelle, mathématiques discrètes, graphes etc.

Compétences
  • Développer une activité de recherche en informatique fondamentale.

  • Concevoir un langage, un algorithme...

  • Démontrer des propriétés d'un langage, d'un algorithme...

  • Formaliser un problème avec les outils et au niveau d'abstraction pertinents.

  • Exposer ses travaux à un public scientifique.

Profil de sortie des étudiants ayant suivi la formation

Les étudiants ayant suivi cette formation ont vocation à se diriger vers le M2 MPRI basé à Paris. Il est également possible de rester sur Saclay et d’opter pour un M2 plus spécialisé, comme, par exemple QDCS.

Débouchés de la formation

Recherche académique, enseignement supérieur, R&D.

Collaboration(s)
Laboratoire(s) partenaire(s) de la formation

Laboratoire Méthodes Formelles

Laboratoire Interdisciplinaire des Sciences du Numérique

Programme
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
[M2 QDCS] Algorithms in the nature 2.5
[MPRI] Advanced Algorithms 2.5 21
[MPRI] Graph Algorithms 2.5 21
[QDCS] Parallel algorithms 2.5 12 6 3
[MPRI] Probabilistic Algorithms and Games 2.5 21
[MPRI] Automata and Applications 2.5 21
[MPRI] Combinatorics and Algebraic Computation 2.5 21
[MPRI] Complexity, decidability, models of computation 2.5 21
[MPRI] Foundations of Quantum Information 2.5 21
[M1 QDCS] Introduction to quantum algorithms and programming 2.5
[MPRI] Introduction to deductive proof of programs 2.5 21
[MPRI] Introduction to Proof Assistants 2.5 21
[MPRI] Lambda-calculus 2.5 21
Langages de programmation et compilation 2.5 21
Elective course 1 2.5
Elective course 2 2.5
Elective course 3 2.5
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Foundations of Computer Science 15
General Computer Science 6
Initiation to Research 3
Elective course 6
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Foundations of Computer Science 21
General Computer Science 6
Initiation to Research 3
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
[AI] OPT 10: IMAGE INDEXING AND UNDERSTANDING 2.5 15 6
[AI] OPT 11: DEEP LEARNING FOR NLP 2.5 18 3
[AI] OPT 12: INFORMATION EXTRACTION FROM DOCUMENTS TO INTERFACES 2.5 10.5 10.5
[AI] OPT 13: Theorie de l'information 2.5 10.5 10.5 0 0
[AI] OPT1 : GRAPHICAL MODELS 2.5 15 6
[AI] OPT14:MULTILINGUAL NATURAL LANGUAGE PROCESSING 2.5 21
[AI] OPT2: IMAGE PROCESSING 2.5 21
[AI] OPT3 : REINFORCEMENT LEARNING 2.5 15 6
[AI] OPT4: DEEP LEARNING 2.5 10.5 10.5
[AI] OPT5 : VOICE RECOGNITION AND AUTOMATIC LANGUAGE PROCESSING 2.5 21
[AI] OPT6: LEARNING THEORY AND ADVANCED MACHINE LEARNING 2.5 21
[AI] OPT7: ADVANCED OPTIMIZATION 2.5 12 4.5 4.5
[AI] OPT8: GAME THEORY 2.5 12 4.5 4.5
[AI] OPT9: DATA CAMP 2.5 10 15
[AI] PRE1: APPLIED STATISTICS 2.5 10.5 10.5
[AI] PRE2: MATHEMATICS FOR DATA SCIENCE 2.5 12 4.5 4.5
[AI] PRE3: DATACOMP 1 2.5 12 9
[AI] PRE4: SCIENTIFIC PROGRAMMING 2.5 9 12
[AI] TC0 : Introduction to Machine Learning 2.5 15 6
[AI] TC1: MACHINE LEARNING 2.5 15 6
[AI] TC2: OPTIMIZATION 2.5 12 4.5 4.5
[AI] TC3: INFORMATION RETRIEVAL 2.5 9 12
[AI] TC4: Probabilistic Generative Models 2.5 16.5 4.5
[AI] TC5: SIGNAL PROCESSING 2.5 24
[AI] TC6: DATACOMP 2 2.5 12 9
[ANO] Blockchain 2.5
[ANO] Evaluation de performances 2.5
[ANO] Internet of Things 2.5 21
[ANO] Optimisation dans les graphes 2.5 21
[ANO] Optimisation discrète non linéaire 2.5 21
[ANO] Optimisation multi-objectifs 2.5 21
[ANO] MPI programming 2.5
[ANO] Programmation système et réseaux 2.5 21
[ANO] Réseaux mobiles 2.5 21
[ANO] Réseaux sans fil 2.5 21
[ANO] Tests fonctionnels de protocoles 2.5 21
[ANO] Théorie des jeux 2.5 21
[ANO] Virtualisation et cloud 2.5
[DS] Algorithms for Data Science 2.5 12 9
[DS] Bases de données avancées I : Optimisation 2.5 9 8 4
[DS] Bases de données avancées II : Transactions 2.5 9 8 4
[DS] Data Science Project 2.5 3 18
[DS] Distributed Systems for Massive Data Management 2.5 12 0 9
[DS] Intelligence Artificielle, Logique et Contraintes 2.5 10.5 10.5
[DS] Intelligence Artificielle, Logique et Contraintes : Projet 2.5 10.5 10.5
[DS] Knowledge Discovery in Graph Data 2.5 12 6 3
[DS] Semantic Web and Ontologies 2.5 12 9
[DS] Social and Graph Data Management 2.5 12 9
[HCI] Advanced Design of Interactive Systems 2.5
[HCI] Advanced Immersive Interactions 2.5 21
[HCI] Advanced Immersive Interactions - Project 2.5
[HCI] Advanced Programming of Interactive Systems 1 2.5
[HCI] Advanced Programming of Interactive Systems 2 2.5
[HCI] Career Seminar - Level 1 2.5
[HCI] Career Seminar - Level 1 : Project 2.5 21
[HCI] Career Seminar - Level 2 2.5
[HCI] Career Seminar - Level 2 project 2.5
[HCI] Creative Design 2.5
[HCI] Creative Design : Project 2.5
[HCI] Design of Interactive Systems 2.5
[HCI] Design project - Level 1 2.5 21
[HCI] Design project - Level 1 : Project 2.5 21
[HCI] Design project - Level 2 2.5 21
[HCI] Design project - Level 2 : Project 2.5 21
[HCI] Digital Fabrication 2.5
[HCI] Digital fabrication : Project 2.5
[HCI] Evaluation of Interactive Systems 2.5
[HCI] Experimental Design and Analysis 2.5
[HCI] Fundamental of Human-Computer Interaction 1 2.5
[HCI] Fundamental of Human-Computer Interaction 2 2.5
[HCI] Fundamental of situated computing 2.5
[HCI] Fundamentals of eXtended Reality 2.5
[HCI] Gestural and Mobile Interaction 2.5
[HCI] Groupware and Collaborative Work 2.5 21
[HCI] Groupware and Collaborative Work : Project 2.5 21
[HCI] Interactive Information Visualization 2.5
[HCI] Interactive Information Visualization : Project 2.5
[HCI] Interactive Machine Learning 2.5
[HCI] Interactive Machine Learning : Project 2.5
[HCI] Mixed Reality and Tangible Interaction 2.5 21
[HCI] Mixed Reality and Tangible Interaction - Project 2.5 21
[HCI] Programming of Interactive Systems 1 2.5
[HCI] Programming of Interactive Systems 2 2.5
[HCI] Serious games 2.5
[HCI] Serious games : project 2.5
[HCI] Studio Art Science 2.5 21
[HCI] Virtual Humans 2.5 21
[HCI] Virtual Humans : Project 2.5 21
[ISD] Algorithmique avancée 3 25
[ISD] Algorithmique distribuée 3 25
[ISD] Anglais 3 25
[ISD] Anglais 3 25
[ISD] Blockchain 3 25
[ISD] Cloud Computing 3 25
[ISD] Communication 3 25
[ISD] Data Lake 3 25
[ISD] Data Warehouse I 3 25
[ISD] Data Warehouse II 3 25
[ISD] Droit informatique 3 25
[ISD] Extraction et programmation statistique de l'information 3 25
[ISD] Introduction à l'apprentissage 3 25
[ISD] IoT (Internet des objets) 3 25
[ISD] langages Dynamiques 3 25
[ISD] Machine learning/Deep learning 3 25
[ISD] Mémoire 12 8
[ISD] Modèles Mathématiques 3 25
[ISD] Modélisation 3 25
[ISD] Optimisation 3 25
[ISD] outils pour la manipulation et l'extraction de données 3 25
[ISD] Politiques et concepts avancés en sécurité 3 25
[ISD] Probabilités/Statistiques 3 25
[ISD] Programmation système et réseau 3 25
[ISD] Projet étude de cas 3 25
[ISD] Projets tuteurés 6 25
[ISD] Rapport d'activité 6 5
[ISD] Représentation des connaissances et visualisation 3 25
[ISD] Réseaux 3 25
[ISD] Réseaux sans fil 3 25
[ISD] sécurité 3 25
[ISD] Services et applications Web 3 25
[ISD] Test et Vérification 3 25
[ISD] Traitement automatique des langues 3 25
[ISD] Traitement distribué des données. 3 25
[QDCS] Algorithms in the nature 2.5 21
[QDCS] Robust distributed algorithms 2.5 21
[QDCS] Parallel algorithms 2.5 12 6 3
[QDCS] Auto-stabilisation 2.5 21
[QDCS] Big Data 2.5 12 3 8
[M1 QDCS] High performance computing 2.5 12 9
[QDCS] [M2 QDCS] Recent trends in parallel, distributed, and quantum computing 2.5 21
[QDCS] Initiation to quantum algorithms and programming 2.5 21
[M1 QDCS] Game, learning, and optimisation of 2.5 21
complex systems 2.5 21
[QDCS] Stochastic optimisation 2.5 21
[QDCS] Ordonnancement et systèmes d'exécution 2.5 21
[QDCS] Advanced C++ programming 2.5 9 0 12
[QDCS] GPU programming 2.5 12 9
[QDCS] Programmation orientée objet 2.5 11 10
[SOFT] Soft skills - 1A (Langue) 2.5 21
[SOFT] Soft skills - 1B (Langue) 2.5 100
[SOFT] Soft skills - 2 (Communication) 2.5 21
[SOFT] Soft skills - 3 (Formation à la vie de l'entreprise - Initiation) 2.5 21
[SOFT] Soft skills - 4 Innovation et Entreprenariat 2.5 21
[SOFT] Soft skills - 5 Innovation et Entreprenariat avancé 2.5 21
[SOFT] Soft skills - Seminars (Fairness in Data Science) 2.5 20
[SOFT] Soft skills - Seminars B 2.5
[SOFT] Soft skills - Summer school 2.5 21
[SOFT] Soft skills - Transversal Project A 2.5 7 7 7
[SOFT] Soft skills - Transversal Project B 2.5 7 7 7
EIT - Business Development Lab 1 4
EIT - Business Development Lab 2 5
EIT - Innovation & Entrepreneurship Advanced 1 2.5 21
EIT - Innovation & Entrepreneurship Advanced 2 2.5
EIT - Innovation & Entrepreneurship Study 1 3 21
EIT - Innovation & Entrepreneurship Study 2 3
EIT - Innovation and Entrepreneurship Basics 1 3
EIT - Innovation and Entrepreneurship Basics 2 3
EIT - Summer School 4
French Language and Culture 1 2 30
French Language and Culture 2 2 21
Long internship 30
TER Stage 10
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Short internship 15
Test fonctionnels [ANO] 2.5
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Long internship 30
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Elective course 15
Short internship 15

Le M1 MPRI est une formation orientée vers la recherche en informatique théorique. Elle s'adresse à des étudiants ayant de solides connaissances en informatique fondamentale (algorithmique, complexité, automates, logique, preuve, programmation) et se destinant à une thèse. L'année M1 permet d'approfondir les connaissances fondamentales, de découvrir leurs applications dans divers domaines de l'informatique théorique, et de découvrir l'activité de recherche à travers un stage.

Les étudiants choisissent l'un des trois groupes d'UE et ce choix vaut pour les deux semestres.

Groupe 1 : UFR, filière universitaire
10 UE obligatoires à 2.5 crédits 1er semestre
2 UE d'ouverture à 2.5 crédits 1er semestre
4 UE obligatoires à 2.5 crédits 2ème semestre
2 UE d'ouverture à 2.5 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre

Groupe 2 : Stage long
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 15 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 6 crédits 1er semestre
1 UE obligatoire stage 30 crédits 2ème semestre

Groupe 3 : Stage court
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 21 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 15 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre.

Modalités de candidatures
Période(s) de candidatures
Du 15/02/2024 au 15/05/2024
Pièces justificatives obligatoires
  • Lettre de motivation.

  • Tous les relevés de notes des années/semestres validés depuis le BAC à la date de la candidature.

  • Curriculum Vitae.

Pièces justificatives complémentaires

(Nous ne demandons pas de certificat de niveau de langue anglaise.)

Il est indispensable que vous nous fassiez parvenir votre liste ordonnée de voeux de parcours, de façon à ce que nous tentions si possible de respecter ces voeux: 

Sauf exception, il est déconseillé de candidater aveuglément à tous ces parcours à la fois. Un candidature bien motivée, et ciblée sur les quelques parcours qui correspondent vraiment à vos aspirations, aura probablement de meilleures chances d'aboutir. 

Pour une candidature MPRI, il peut parfois être judicieux de mettre en avant de bons résultats académiques dans les matières qui concernent l'informatique théorique (algorithmique, calculabilité, automates, logique, programmation fonctionnelle, mathématiques discrètes, graphes etc.) et d'argumenter du bon niveau de votre formation d'origine en général.  

Si votre établissement d'origine n'est pas une ENS, nous vous recommandons de candidater aux deux voies MPRI poposées: ENS et Faculté des Sciences.

 

Contact(s)
Responsable(s) de la formation