M1 Parisian Research Master in Computer Science (MPRI)

  • Places available
    30
  • Language(s) of instruction
    English
    French
  • Enrolment type
    Formation initiale
  • Type of teaching
    En présentiel
  • Start of programme (indicative date)
Présentation
Objectives

This programme prepares students for a doctorate in computer science theory, and more generally for a research career. It offers an excellent preparation to M2 MPRI

The year’s objective is to perfect fundamental skills and discover their various applications in Computer Science theory. It culminates in a long research internship.

The main fields covered are: algorithmics; computability and complexity; automata theory; combinatorial and effective algebra; logic, interactive and automatic demonstration; semantics of programming languages; analysis and verification of systems and programmes; cryptology and security. 

The programme is taught by researchers in the field and stands at the cutting age of current scientific knowledge. It prepares students optimally for a PhD.

Skills
  • Develop a research activity in fundamental computer science.

  • Overall organisation

    The year is divided into three teaching blocks (each 7 weeks), and a research internship abroad (4 months) between april and august.

    Career prospects

    Academic research, teaching at tertiary level, R&D.

    Course Prerequisites

    We look for excellent grades in theoretical/mathematical aspects of Computer Science (algorithmics, computability, automata, logics, functional programming, discrete mathematics, graphs etc.). No English-language level certificate is asked for. If your application is selected, you will have an interview during which your ability to do Science in English will be assessed.

    Internships and supervised projects

    research internhip in a research lab abroad

    Transfer paths

    non

    Post-graduate profile

    After completing this programme, students tend to go on to the MPRI M2 based in Paris. Others may stay in Saclay and opt for more specialised M2 such as QDCS.

    Location
    GIF SUR YVETTE
    Collaboration(s)
    Laboratories

    Laboratoire Méthodes Formelles

    Laboratoire Interdisciplinaire des Sciences du Numérique

    Programme

    The schedule will be posted shortly.

    Modalités de candidatures
    Application period
    From 25/02/2026 to 25/04/2026
    Admission criteria
    Dossier
    Interview
    Exams
    Compulsory supporting documents
    • Motivation letter.

    • All transcripts of the years / semesters validated since the high school diploma at the date of application.

    • Curriculum Vitae.

    Additional supporting documents
    • VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).

      (only needed in case you have officially validated your prior professional experience to count as equivalent to a university degree)
    • Supporting documents :
      - Residence permit stating the country of residence of the first country
      - Or receipt of request stating the country of first asylum
      - Or document from the UNHCR granting refugee status
      - Or receipt of refugee status request delivered in France
      - Or residence permit stating the refugee status delivered in France
      - Or document stating subsidiary protection in France or abroad
      - Or document stating temporary protection in France or abroad.

    Contact(s)
    Course manager(s)
    Administrative office