M2 Master Parisien de Recherche en Informatique (Mpri)

Candidater à la formation
  • Capacité d'accueil
    35
  • Langue(s) d'enseignement
    Anglais
  • Régime(s) d'inscription
    Formation initiale
Présentation
Objectifs pédagogiques de la formation

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.

Lieu(x) d'enseignement
PARIS 13
Compétences
  • 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.

Débouchés de la formation

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.

Collaboration(s)

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/

Programme

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
Modalités de candidatures
Période(s) de candidatures
Du 01/02/2021 au 15/07/2021
Pièces justificatives obligatoires
  • 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.

  • Curriculum Vitae.

  • Tous les relevés de notes des années/semestres validés depuis le BAC à la date de la candidature.

Pièces justificatives complémentaires
Contact(s)
Responsable(s) de la formation