M1 Master parisien de recherche en Informatique (Mpri)

Candidater à la formation
  • Capacité d'accueil
    55
  • Langue(s) d'enseignement
    Anglais
Présentation
Objectifs pédagogiques de la formation

La formation prépare à une thèse en informatique théorique, et plus généralement à une carrière de recherche. L'objectif de l'année est d'approfondir les compétences fondamentales, de découvrir leurs nombreuses applications en informatique théorique et de faire l'expérience pratique de la recherche par le biais de stages.

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, l'analyse et la vérification de programmes et systèmes, (8) le calcul quantique et l’information quantique.

La formation est dispensée par des chercheurs du domaine, et se situe donc à la pointe des connaissances scientifiques actuelles, ce qui prépare au mieux les étudiants à une thèse.

Quelques bourses sont disponibles [1,2] (attention aux dates limites).

Lieu(x) d'enseignement
ORSAY
Pré-requis, profil d’entrée permettant d'intégrer la formation

La formation s'adresse à des étudiants ayant de solides bases en informatique fondamentale : algorithmique, programmation, complexité, automates, logique, preuve.

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.

Profil de sortie des étudiants ayant suivi la formation

Les étudiants ayant suivi cette formation ont vocation à se diriger vers le M2 MPRI basé à Paris. Il est également possible de rester sur Saclay et d’opter pour un M2 plus spécialisé, comme, par exemple QDCS.

Débouchés de la formation

Recherche académique, enseignement supérieur, R&D.

Collaboration(s)
Laboratoire(s) partenaire(s) de la formation

Laboratoire Méthodes Formelles

Laboratoire Interdisciplinaire des Sciences du Numérique

Programme

Le M1 MPRI est une formation orientée vers la recherche en informatique théorique. Elle s'adresse à des étudiants ayant de solides connaissances en informatique fondamentale (algorithmique, complexité, automates, logique, preuve, programmation) et se destinant à une thèse. L'année M1 permet d'approfondir les connaissances fondamentales, de découvrir leurs applications dans divers domaines de l'informatique théorique, et de découvrir l'activité de recherche à travers un stage.

Les étudiants choisissent l'un des trois groupes d'UE et ce choix vaut pour les deux semestres.

Groupe 1 : UFR, filière universitaire
10 UE obligatoires à 2.5 crédits 1er semestre
2 UE d'ouverture à 2.5 crédits 1er semestre
4 UE obligatoires à 2.5 crédits 2ème semestre
2 UE d'ouverture à 2.5 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre

Groupe 2 : Stage long
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 15 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 6 crédits 1er semestre
1 UE obligatoire stage 30 crédits 2ème semestre

Groupe 3 : Stage court
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 21 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 15 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
UE ouverture 3 2.5
Algorithmes de la nature [QDCS] 2.5
Algorithmique parallèle [QDCS] 2.5
Initiation à l’algorithmique et à la programmation quantique [QDCS] 2.5
UE ouverture 2 2.5
UE ouverture 1 2.5
Langages de programmation et compilation 2.5 21
Lambda-calcul 2.5 21
Introduction à la théorie des types Introduction aux assistants de preuve 2.5 21
Introduction à la preuve déductive de programmes 2.5 21
Complexité, décidabilité, modèles de calculs 2.5 21
Combinatoire et Calculs Algébriques 2.5 21
Fondements de l'information quantique 2.5 21
Automates & applications 2.5 21
Algorithmique probabiliste et jeux 2.5 21
Algorithmique de graphes 2.5 21
Algorithmique avancée 2.5 21
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Ouverture 6
Initiation à la recherche 3
Informatique générale 6
Informatique fondamentale 15
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Initiation à la recherche 3
Informatique générale 6
Informatique fondamentale 21

Le M1 MPRI est une formation orientée vers la recherche en informatique théorique. Elle s'adresse à des étudiants ayant de solides connaissances en informatique fondamentale (algorithmique, complexité, automates, logique, preuve, programmation) et se destinant à une thèse. L'année M1 permet d'approfondir les connaissances fondamentales, de découvrir leurs applications dans divers domaines de l'informatique théorique, et de découvrir l'activité de recherche à travers un stage.

Les étudiants choisissent l'un des trois groupes d'UE et ce choix vaut pour les deux semestres.

Groupe 1 : UFR, filière universitaire
10 UE obligatoires à 2.5 crédits 1er semestre
2 UE d'ouverture à 2.5 crédits 1er semestre
4 UE obligatoires à 2.5 crédits 2ème semestre
2 UE d'ouverture à 2.5 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre

Groupe 2 : Stage long
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 15 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 6 crédits 1er semestre
1 UE obligatoire stage 30 crédits 2ème semestre

Groupe 3 : Stage court
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 21 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 15 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Test fonctionnels [ANO] 2.5
Stage court 15
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Stage long 30
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Stage court 15
Ouverture 15
Modalités de candidatures
Période(s) de candidatures
Du 01/03/2021 au 30/06/2021
Pièces justificatives obligatoires
  • Fiche de choix pour poursuite en M2 à télécharger sur la page de la formation.

  • 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.

Pièces justificatives complémentaires
  • Dossier VAPP (obligatoire pour toutes les personnes demandant une validation des acquis pour accéder à la formation).

Contact(s)
Responsable(s) de la formation