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 | |||||||||
-
Fiche de choix de plateforme complétée à télécharger sur le site.
(Le document est à télécharger en bas de page) -
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.
-
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.