M2 Master Parisien de Recherche en Informatique (Mpri)
L'objectif de ce parcours est de former des chercheuses et des chercheurs en informatique fondamentale à l'aide d'un large spectre de
cours et d'ateliers de recherche aux formes variées. Les étudiants devront effectuer deux stages de recherche. Les principaux champs couverts sont : (1) l'algorithmique, (2) la calculabilité et la complexité, (3) la cryptologie et la sécurité, (4) la théorie des automates, (5) la combinatoire et l'algèbre effective, (6) la logique, la démonstration interactive et la démonstration automatique, (7) la sémantique des langages de programmation (8) l'analyse et la vérification de programmes et systèmes.
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.
Le but du master est de former de futurs chercheurs (chercheurs et enseignants-chercheurs dans des laboratoires académiques et des départements R&D industriels) en les préparant à un premier travail de recherche effectué dans le cadre de la préparation d'un doctorat. Un certain nombre d'étudiants cependant choisissent de ne pas continuer par une thèse après leur master et s'orientent vers des carrières d'ingénieur ou de développeur, souvent dans des entreprises très innovantes.
Membres fondateurs / Partner institutions
Université de Paris https://u-paris.fr/
ENS Ulm http://www.di.ens.fr/
University Paris Saclay https://www.universite-paris-saclay.fr/
ENS Paris-Saclay htts:dptinfo.ens-paris-saclay.fr
Institut Polytechnique de Paris (includes École polytechnique, Télécom Paris) https://www.ip-paris.fr/
Membres associés / Associated universities and research bodies
University Pierre-et-Marie-Curie http://www.upmc.fr/
French National Centre for Scientific Research (CNRS) http://www.cnrs.fr/
French National Institute for Research in Computer Science and Control (INRIA) http://www.inria.fr/
French Atomic Energy Commission (CEA) http://www.cea.fr/
Cette formation est une introduction à l'informatique fondamentale.
| Matières | ECTS | Cours | TD | TP | Cours-TD | Cours-TP | TD-TP | A distance | Projet | Tutorat |
|---|---|---|---|---|---|---|---|---|---|---|
| Informatique fondamentale | 30 | 240 | ||||||||
Cette formation est constituée d'un stage de recherche de 16 à 20 semaines.
| Matières | ECTS | Cours | TD | TP | Cours-TD | Cours-TP | TD-TP | A distance | Projet | Tutorat |
|---|---|---|---|---|---|---|---|---|---|---|
| Stage | 30 | |||||||||
-
Lettre de motivation.
-
Tous les relevés de notes des années/semestres validés depuis le BAC à la date de la candidature.
-
Fiche de choix de plateforme complétée à télécharger sur le site.
(Le document est à télécharger en bas de page) -
Curriculum Vitae.
-
Le programme des cours suivis correspondant mentionnées par le jury.
(https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=prerequis&#m2_entran…) -
Dossier VAPP (obligatoire pour toutes les personnes demandant une validation des acquis pour accéder à la formation) https://www.universite-paris-saclay.fr/formation/formation-continue/validation-des-acquis-de-lexperience.
-
Document justificatif des candidats exilés ayant un statut de réfugié, protection subsidiaire ou protection temporaire en France ou à l’étranger (facultatif mais recommandé, un seul document à fournir) :
- Carte de séjour mention réfugié du pays du premier asile
- OU récépissé mention réfugié du pays du premier asile
- OU document du Haut Commissariat des Nations unies pour les réfugiés reconnaissant le statut de réfugié
- OU récépissé mention réfugié délivré en France
- OU carte de séjour avec mention réfugié délivré en France
- OU document faisant état du statut de bénéficiaire de la protection subsidiaire en France ou à l’étranger.