Niveau d'études visé
BAC +5
Durée
2
Faculté
Faculté des Sciences
Langue des enseignements
Français
Présentation
Programme
Sélectionnez un programme
Master 1 Informatique fondamentale et appliquée - Parcours : MPRI
Algorithmique
6 créditsCalculabilité et complexité
6 crédits3 UE au choix
18 créditsAu choix : 3 parmi 9
Circuits et architecture
6 créditsProtocoles réseaux
6 créditsInterfaces graphiques
6 créditsLangages à objet avancés
6 créditsProgrammation logique et par contraintes
6 créditsAutomates avancés et applications
6 créditsCompilation
6 créditsCours extérieur 1
6 créditsCours extérieur 2
6 crédits
Anglais de Spécialité
3 créditsTravaux de recherche encadrés
6 créditsUE au choix
21 créditsAu choix : 4 à 7 parmi 17
Programmation système avancée
6 créditsBases de données avancées
6 créditsDroits d'informatique
3 créditsFormat de documents et XML
3 créditsIntroduction aux logiciels libres
3 créditsUE extérieur 1
3 créditsCompilation optimisante
3 créditsGénie logiciel avancé
6 créditsInfographie
6 créditsPreuves assistées par ordinateur
6 créditsProgrammation fonctionnelle avancée
6 créditsAlgorithmique avancée et complexité
6 créditsSémantique de langages de programmation
6 créditsOutils formels pour la science des données
6 créditsInitiation à la recherche (séminaire)
3 créditsTechnologies big data
3 créditsCours extérieur 1
6 crédits
Master 2 Informatique fondamentale et appliquée - Parcours : MPRI
Au choix : 5 à 10 parmi 49
Logique linéaire et paradigmes logiques du calcul
6 créditsModèles des langages de programmation: domaines, catégories, jeux
6 créditsConcurrence
3 créditsFondements de la confidentialité des données
3 créditsProgrammation fonctionnelle et systèmes de types
6 créditsDémonstration automatique
3 créditsInterprétation abstraite: application à la vérification et à l'analyse statique
6 créditsFondements des systèmes de preuves
3 créditsAssistants de preuves
3 créditsThéorie non-séquentielle des systèmes distribués
3 créditsFondements des systèmes temps-réel et hybrides
3 créditsBeaux préordres et algorithmes
3 créditsVérification algorithmique des programmes
3 créditsAspects algorithmiques de la combinatoire
6 créditsComplexité randomisée (long)
6 créditsAlgorithmes d’approximation et Algorithmique moléculaire
6 créditsComplexité randomisée (court)
3 créditsTechniques en cryptographie et cryptoanalyse
3 créditsAlgorithmes arithmétiques pour la cryptologie
3 créditsSystèmes polynomiaux, calcul formel et applications
3 créditsCodes correcteurs d'erreurs et applications à la cryptographie
3 créditsAnalyse géométrique des données
3 créditsAnalyse d'algorithmes
6 créditsModélisation par automates finis
6 créditsFondements sur la modélisation des réseaux
3 créditsAlgorithmique distribuée pour les réseaux
3 créditsAlgorithmique distribuée avec mémoire partagée
3 créditsMéthodes informatiques pour la biologie systémique et synthétique
6 créditsTechniques de théorie des jeux en informatique
3 créditsFondations mathématiques de la théorie des automates
3 créditsAlgorithmes efficaces en calcul formel
6 créditsSystèmes synchrones
3 créditsOptimisation
3 créditsRésolution de problèmes d'optimisation avec heuristiques de recherche
3 créditsLogique, complexité descriptive et théorie des bases de données
3 créditsGestion de données du web
3 créditsStructures informatiques et logiques pour la modélisation linguistique
3 créditsAlgorithmique des graphes
3 créditsFouille de graphes
3 créditsProtocoles cryptographiques : preuves formelles et calculatoires
6 créditsThéorie des calculs
3 créditsComplexité de circuits
3 créditsInformatique quantique
3 créditsInformatique quantique et cryptographie
3 créditsProgrammation par contraintes
3 créditsPreuve de programmes
3 créditsSémantique, langages et algorithmes pour la programmation multicore
3 créditsAlgorithmique et combinatoire des graphes géométriques
3 créditsInformatique graphique et visualisation scientifique
3 crédits
Stage
30 crédits
Contrôle des connaissances
Pour connaitre le détail des modalités de contrôle des connaissances et compétences, nous vous invitons à prendre contact avec l’UFR (voir le lien en savoir+)
Aménagements particuliers
Admission
Public cible
Peuvent demander une inscription en Master:
- Les personnes ayant obtenu une Licence dans la spécialité Informatique Générale de l’Université Paris Diderot.
- Les personnes ayant suivi dans d’autres écoles/universités une formation dans un domaine thématique compatible avec la spécialité envisagée.
L’accès au niveau M1 est prononcé sur l’avis favorable du jury d’admission M1 qui vérifie un certain nombre de compétences pré-requises. Les étudiants titulaires d’une licence validée en dehors de l’université Paris Diderot doivent instruire un dossier pédagogique de demande d’inscription en M1 contenant impérativement un relevé de notes complet de toute la Licence (1ère, 2ème et 3ème années).
L’accès au niveau M2 n’est pas automatique, une sélection est effectuée par le jury d’admission M2 sur la base du dossier de l’étudiant. L’entrée au M2 reste conditionnée aux capacités d’accueil de la formation.
Pré-requis
Modalités de candidature :
- Mon Master : pour une admission en M1 (du 22 mars au 18 avril 2023).
- eCandidat : dates de la campagne : mai-juin 2023 (se reporter au site). Le parcours est référencé sous la mention "Informatique fondamentale et appliquée".
- Campus France : pour les étudiants étrangers (hors Espace Économique Européen).
Modalités de candidature
Droits de scolarité
Toute inscription à un diplôme national implique le paiement des droits de scolarités fixés annuellement par le ministère, et des frais de formation continue selon le profil. Retrouver tous les tarifs spécifiques au public en formation continue en cliquant ici
Et après ?
Poursuites d'études
La majorité des étudiants titulaires du master informatique recherche poursuivent leur cursus en doctorat avec un financement du Ministère et sont ensuite recrutés sur des postes d’enseignant chercheur ou de chercheurs en milieu académique ou industriel.
Contacts
Mickael Ferreira
Gestionnaire de Scolarité - Master 1
Dernière mise à jour le 9 février 2023
