Majeure Informatique Fondamentale (MPRI)
| Programme | Informatique |
| Parcours | Fondements de l'informatique, recherche opérationnelle, informatique distribuée et informatique quantique (FODQ) |
| Crédits ECTS | 120 |
| Langue | Anglais |
| Orientation | Recherche |
| Lieu | Paris, bâtiment Sophie Germain de l’université de Paris, 75013. |
| Durée de la formation | 2 ans, temps plein |
| Début des cours | Septembre |
| Diplôme délivré | Master |
Pourquoi intégrer ce programme ?
Atout n° 1
Bénéficiez d’un contact privilégié avec la recherche de pointe en informatique
Atout n°2
Préparez-vous à poursuivre un doctorat à l’Institut Polytechnique de Paris
Atout n°3
Construisez une carrière réussie dans le milieu académique ou la R&D industrielle
Nous faisons tous régulièrement l’expérience de programmes informatiques inefficaces ou erronés. Afin d’éviter cela, il est nécessaire de formaliser et d’étudier ce que signifie la notion de calcul pour une machine. Ce master en deux ans couvre plusieurs approches fondamentales de cette notion en informatique, souvent fondées sur l’utilisation d’outils mathématiques, et motivées par les applications pratiques. Les thématiques des cours comprennent :
- la théorie du calcul : calculabilité, logique, sémantique, combinatoire,
- les modèles de calcul : automates, programmation concurrente et distribuée, programmation quantique, systèmes hybrides,
- la sûreté des programmes : vérification, analyse statique,
- l’efficacité des programmes : algorithmes, complexité, compilation,
- la sécurité des programmes : cryptographie, codes.
Le master est orienté vers la recherche, avec un accent sur les fondations : il vise à initier les étudiants à l’informatique théorique contemporaine. La plupart des étudiants poursuivent en thèse après le master, mais de nombreuses carrières sont aussi possibles dans l’industrie.
Ce master correspond au Master parisien de recherche en informatique (MPRI), organisé conjointement par les institutions suivantes : Université Paris Cité (coordinateur), Université PSL (ENS Paris), Université Paris-Saclay (ENS Paris-Saclay) et Institut Polytechnique de Paris (École polytechnique, Télécom Paris). La première année se déroule principalement à l’École polytechnique, tandis que la deuxième année se déroule principalement à l’Université Paris Cité.
Des informations détaillées peuvent être trouvées sur les sites dédiés pour la première année et pour la seconde année.
Objectifs
- Acquérir des connaissances fondamentales en informatique théorique
- Découvrir la recherche actuelle en informatique
- Acquérir une expérience pratique à travers des stages de recherche
Les étudiants qui terminent avec succès le programme de deux ans seront en mesure de :
- Poursuivre une thèse menant à une carrière académique (par exemple : un poste d’enseignant-chercheur à l’université ou un poste de chercheur dans un institut de recherche)
- Construire une carrière dans leur domaine d’expertise dans le secteur privé (par exemple : en R&D)
| Intitulé du cours | Heures / ECTS / Langue |
| Advanced Algorithmics | 36 / 5 / Anglais |
| Computational Logic: from Artificial Intelligence to Zero Bugs | 36 / 5 / Anglais |
| Topological Data Analysis | 36 / 5 / Anglais |
| Introduction to Cryptology | 36 / 5 / Anglais |
| Introduction to Information Theory | 36 / 5 / Anglais |
| Distributed Data Structures, with a Spotlight on Blockchains | 36 / 5 / Anglais |
| Introduction to quantum information and computing | 36 / 5 / Anglais |
| Algebraic Topology | 36 / 5 / Anglais |
| Intitulé du cours | Heures / ECTS / Langue |
| Advanced topics in quantum computation and information | 36 / 5 / Anglais |
| Quantum Diagrams and Programs | 36 / 5 / Anglais |
| Parallel and Distributed Algorithms | 36 / 5 / Anglais |
| Randomization in Computer Science: Games, Networks, Epidemic and Evolutionary Algorithms | 36 / 5 / Anglais |
| Algorithmic Geometry: from Theory to Application | 36 / 5 / Anglais |
| Compilation | 36 / 5 / Anglais |
| Advanced Cryptology | 36 / 5 / Anglais |
| Logical Verification of Hybrid Systems | 36 / 5 / Anglais |
| Foundations in Software Verification | 36 / 5 / Anglais |
| Large scale mathematical optimization | 36 / 5 / Anglais |
La première moitié du programme, qui commence en septembre, consiste en une sélection de cours pour un minimum de 30 ECTS, à choisir parmi les cours de M2 du MPRI, éventuellement complétés par quelques cours extérieurs. Celle-ci est divisée en deux périodes de 10 semaines, avec des examens finaux à la fin novembre et à la fin février. Les règles détaillées ainsi qu’une liste mise à jour chaque année des plus de 30 cours proposés sont disponibles sur les pages pédagogiques du master.
La deuxième période, qui commence début mars, consiste en un stage de recherche de 4,5 à 6 mois, comptant pour 30 ECTS. Le stage doit être effectué dans un laboratoire de recherche ou de R&D et donner lieu à un rapport de recherche ainsi qu’à une soutenance, qui a lieu début septembre. De nombreux exemples d’offres de stage des années précédentes sont disponibles sur les pages pédagogiques du master.
Prérequis
Prérequis académiques
Licence (Bachelor) en informatique
Prérequis linguistiques
Anglais
Procédure de candidature
Les candidatures se font exclusivement en ligne. Vous devrez fournir les documents suivants :
- Relevés de notes
- Deux références académiques (ajoutées directement en ligne par les référents)
- CV
- Lettre de motivation mettant en avant votre projet de recherche et votre intérêt pour la recherche
Droits de scolarité et bourses
Les droits d'inscription sont disponibles ici
Plus d'informations sur les bourses
Veuillez noter que les frais et les bourses d'études peuvent changer pour l'année suivante.
Candidatures et calendrier des admissions
Coordinateurs
Année 1 : Samuel Mimram
Année 2 : Gilles Schaeffer
Secrétariat pédagogique
General enquiries
Nous faisons tous régulièrement l’expérience de programmes informatiques inefficaces ou erronés. Afin d’éviter cela, il est nécessaire de formaliser et d’étudier ce que signifie la notion de calcul pour une machine. Ce master en deux ans couvre plusieurs approches fondamentales de cette notion en informatique, souvent fondées sur l’utilisation d’outils mathématiques, et motivées par les applications pratiques. Les thématiques des cours comprennent :
- la théorie du calcul : calculabilité, logique, sémantique, combinatoire,
- les modèles de calcul : automates, programmation concurrente et distribuée, programmation quantique, systèmes hybrides,
- la sûreté des programmes : vérification, analyse statique,
- l’efficacité des programmes : algorithmes, complexité, compilation,
- la sécurité des programmes : cryptographie, codes.
Le master est orienté vers la recherche, avec un accent sur les fondations : il vise à initier les étudiants à l’informatique théorique contemporaine. La plupart des étudiants poursuivent en thèse après le master, mais de nombreuses carrières sont aussi possibles dans l’industrie.
Ce master correspond au Master parisien de recherche en informatique (MPRI), organisé conjointement par les institutions suivantes : Université Paris Cité (coordinateur), Université PSL (ENS Paris), Université Paris-Saclay (ENS Paris-Saclay) et Institut Polytechnique de Paris (École polytechnique, Télécom Paris). La première année se déroule principalement à l’École polytechnique, tandis que la deuxième année se déroule principalement à l’Université Paris Cité.
Des informations détaillées peuvent être trouvées sur les sites dédiés pour la première année et pour la seconde année.
Objectifs
- Acquérir des connaissances fondamentales en informatique théorique
- Découvrir la recherche actuelle en informatique
- Acquérir une expérience pratique à travers des stages de recherche
Les étudiants qui terminent avec succès le programme de deux ans seront en mesure de :
- Poursuivre une thèse menant à une carrière académique (par exemple : un poste d’enseignant-chercheur à l’université ou un poste de chercheur dans un institut de recherche)
- Construire une carrière dans leur domaine d’expertise dans le secteur privé (par exemple : en R&D)
| Intitulé du cours | Heures / ECTS / Langue |
| Advanced Algorithmics | 36 / 5 / Anglais |
| Computational Logic: from Artificial Intelligence to Zero Bugs | 36 / 5 / Anglais |
| Topological Data Analysis | 36 / 5 / Anglais |
| Introduction to Cryptology | 36 / 5 / Anglais |
| Introduction to Information Theory | 36 / 5 / Anglais |
| Distributed Data Structures, with a Spotlight on Blockchains | 36 / 5 / Anglais |
| Introduction to quantum information and computing | 36 / 5 / Anglais |
| Algebraic Topology | 36 / 5 / Anglais |
| Intitulé du cours | Heures / ECTS / Langue |
| Advanced topics in quantum computation and information | 36 / 5 / Anglais |
| Quantum Diagrams and Programs | 36 / 5 / Anglais |
| Parallel and Distributed Algorithms | 36 / 5 / Anglais |
| Randomization in Computer Science: Games, Networks, Epidemic and Evolutionary Algorithms | 36 / 5 / Anglais |
| Algorithmic Geometry: from Theory to Application | 36 / 5 / Anglais |
| Compilation | 36 / 5 / Anglais |
| Advanced Cryptology | 36 / 5 / Anglais |
| Logical Verification of Hybrid Systems | 36 / 5 / Anglais |
| Foundations in Software Verification | 36 / 5 / Anglais |
| Large scale mathematical optimization | 36 / 5 / Anglais |
La première moitié du programme, qui commence en septembre, consiste en une sélection de cours pour un minimum de 30 ECTS, à choisir parmi les cours de M2 du MPRI, éventuellement complétés par quelques cours extérieurs. Celle-ci est divisée en deux périodes de 10 semaines, avec des examens finaux à la fin novembre et à la fin février. Les règles détaillées ainsi qu’une liste mise à jour chaque année des plus de 30 cours proposés sont disponibles sur les pages pédagogiques du master.
La deuxième période, qui commence début mars, consiste en un stage de recherche de 4,5 à 6 mois, comptant pour 30 ECTS. Le stage doit être effectué dans un laboratoire de recherche ou de R&D et donner lieu à un rapport de recherche ainsi qu’à une soutenance, qui a lieu début septembre. De nombreux exemples d’offres de stage des années précédentes sont disponibles sur les pages pédagogiques du master.
Prérequis
Prérequis académiques
Licence (Bachelor) en informatique
Prérequis linguistiques
Anglais
Procédure de candidature
Les candidatures se font exclusivement en ligne. Vous devrez fournir les documents suivants :
- Relevés de notes
- Deux références académiques (ajoutées directement en ligne par les référents)
- CV
- Lettre de motivation mettant en avant votre projet de recherche et votre intérêt pour la recherche
Droits de scolarité et bourses
Les droits d'inscription sont disponibles ici
Plus d'informations sur les bourses
Veuillez noter que les frais et les bourses d'études peuvent changer pour l'année suivante.
Candidatures et calendrier des admissions
Coordinateurs
Année 1 : Samuel Mimram
Année 2 : Gilles Schaeffer