Génie logiciel et Sécurité
Techniques de programmation avancées
Méthodes formelles pour la programmation sûre
Sécurité du numérique
Fondements de l'informatique
S3
Projet informatique et méthode Agile
Compléments de programmation fonctionnelle
Langages et systèmes formels / validation et vérification de logiciel
Assembleur et compilation
Génie logiciel
Sécurité Réseaux et middleware
S4
Sécurité des réseaux et des protocoles
Systèmes d’exploitation
Programmation à base de Thread Architecture matérielle
Algorithmes semi-numériques
Méthodes formelles pour
le développement de logiciels sûrsModèles de calcul
Sécurité des systèmes d’information
S5
Programmation raisonnée
Web sémantique et IA
Sécurité avancée
Recherche d’information et IA (optionnel)
Web sémantique et IA (optionnel)
Optimisation (optionnel)
Cursus et diplômes
Bi-cursus
Diplômes de M2 co-opérés avec l'Université Paris Saclay :
Master CILS Conception, Intelligence des Logiciels et Systèmes (site d’Évry)
Master FIIL Fondements de l’informatique et Ingénierie du Logiciel (site d’Orsay)
Diplômes de M2 en partenariat :
Master SECRETS Sécurité des contenus, des réseaux, des télécommunications et des systèmes (site de Versailles Saint-Quentin)
D’autres parcours ou diplômes sont possibles dans des universités à l’étranger.
Ingénieur conception et développement logiciels
Ingénieur méthodes formelles
Ingénieur R&D
Expert en sécurité informatique
Modélisation formelle d’enclenchement ferroviaire à l’aide d’un langage formel synchrone
Maintien en condition de sécurité étude et réalisation d’une solution d’assistance à la veille de sécurité
Étude, conception et développement d’une solution progicielle
Contribution à un outil permettant de trouver des bugs dans les logiciels via analyse statique
Étude, conception et réalisation d’une solution de tests logiciels multiplateformes
Preuve formelle en analyse fonctionnelle