Un projet pédagogique orienté recherche
Le contenu de la formation s’appuie sur :
Des enseignements ancrés sur des problématiques de recherche en informatique fondamentale
Un laboratoire attaché, le LMF (Laboratoire Méthodes Formelles)
- Trois stages de recherche tout au long de la formation
Un tutorat pour publier dès la licence
Bénéficiez d'une formation riche en savoirs scientifiques !
- Une formation d’excellence pour apprendre à innover et transmettre
- Une connexion étroite avec la recherche
- Une ouverture internationale
- Un savoir-faire pédagogique reconnu
- Un suivi personnalisé
La formation en licence (L3)
La licence (L3) double-diplôme mathématiques-informatique comporte deux parcours : Informatique et Mathématiques-Informatique. Les deux parcours visent :
Édifier un socle de connaissances :
- Acquérir et consolider vos connaissances fondamentales :
- en Informatique : algorithmique, architecture et systèmes d'exploitation, calculabilité et complexité, programmation, sémantique des langages, langages formels, logique informatique, bases de données ;
- en mathématiques : algèbre, intégration et probabilités.
- Découvrir de nouveaux champs disciplinaires
- Acquérir un savoir-faire technique grâce aux projets
- Stimuler votre curiosité
Édifier un socle de compétences :
- Apprendre le travail en autonomie et en équipe
- Renforcer votre rigueur scientifique
Découvrir le monde de la recherche et de l’enseignement :
- Séminaire avec des invités variés
- Visites de laboratoire de recherche en France
- Stage en laboratoire (minimum 30 jours ouvrables)
La formation en master
Le parcours sélectif MPRI du Master Informatique.
Les normaliens et normaliennes suivent un parcours de master sélectif qui leur est réservé au sein du master Informatique de la Graduate School ISN (Informatique et Sciences du Numérique) de l’Université Paris-Saclay, le parcours Master Parisien de Recherche en Informatique (MPRI) prépare des futurs chercheurs en informatique fondamentale aux métiers de la recherche, de l'enseignement supérieur et à tout métier exigeant une très forte expertise scientifique en informatique.
Au sein de ce master, le DER Informatique propose ses propres cours en M1 (algorithmique avancée, bio-informatique, complexité avancée, logique pour l'IA, méthodes de preuve, vérification, sécurité, génie logiciel, réseaux) et en M2 (outils de preuve, jeux, ordres bien fondés). Certains modules des nos partenaires au M1 MPRI (ENS PSL et IPP) sont également ouverts.
Les parcours du diplôme de l’ENS Paris-Saclay et leur déclinaison en informatique
Parcours Recherche et International
X = ARPE= Année de Recherche Pré-doctorale à l’Étranger
10 mois d’immersion dans un laboratoire de recherche à l’étranger
Parcours Recherche Thématique
X = Année de recherche thématique
- en Intelligence Artificielle
- en Sciences pour les transitions écologiques
- en Technologies Quantiques
Parcours Engagement
X = Année spécifique Engagement Normalien
Parcours Enseignement supérieur et Recherche
X = M2 FESup : Master Formation à l’Enseignement Supérieur
- Agrégation Informatique
- Agrégation Mathématiques (si parcours Informatique-Mathématiques)
Parcours Interfaces
- Parcours bi-disciplinaires (p.e. L3 de chimie, physique, sociologie, sciences cognitives, ...)
- Double-cursus (Grands Corps de l’Etat, ...)
Des thèses sur des thèmes très variés
Avec plus 90% de poursuite en thèse en informatique, le DER Informatique prépare à des carrières exigeant une expertise scientifique de haut niveau. La formation dans le département permet un large spectre de spécialisation en doctorat, de l’informatique fondamentale (algorithmique, combinatoire, complexité, bases de données, logique, preuve, sémantique des langages de programmation, vérification, ...) à ses applications variées (en apprentissage, en biologie, en écologie, en télécommunications, en psychologie).