M2 Parisian Computer Sciences Research Master
The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.
The M2 MPRI is a programme operated jointly by Université Paris-Saclay and three other institutions. The lectures do not take place at Université Paris-Saclay, but at Paris-Cité University, in the 13th arrondissement of Paris.
For more details, see:
https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=start
In particular, please mind the specific modalities of application: https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=candidature
Develop a research activity in fundamental computer science.
Design a language, an algorithm, etc.
Demonstrate properties of a language, of an algorithm, etc.
Formalise a problem using the relevant tools and level of abstraction.
Exhibit work to a scientific audience.
The aim of the Master's programme is to train future researchers (researchers and university lecturers in academic laboratories and industrial R&D departments) by equipping them to carry out a preliminary research project as preparation for a doctoral programme. Some students, however, choose not to continue with a thesis after their Master's degree, instead going on to careers as engineers or developers, often in highly innovative companies.
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/
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.
| Subjects | ECTS | Lecture | directed study | practical class | Lecture/directed study | Lecture/practical class | directed study/practical class | distance-learning course | Project | Supervised studies |
|---|---|---|---|---|---|---|---|---|---|---|
| Informatique fondamentale | 30 | 240 | ||||||||
Cette formation est constituée d'un stage de recherche de 16 à 20 semaines.
| Subjects | ECTS | Lecture | directed study | practical class | Lecture/directed study | Lecture/practical class | directed study/practical class | distance-learning course | Project | Supervised studies |
|---|---|---|---|---|---|---|---|---|---|---|
| Stage | 30 | |||||||||
-
Sheet of choice of platform completed to download on the site.
(Le document est à télécharger en bas de page) -
Motivation letter.
-
All transcripts of the years / semesters validated since the high school diploma at the date of application.
-
Curriculum Vitae.
-
VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).
Master's track choice
If you apply for several tracks (masters of computer science), please fill your preferences: