Mention Informatique, Spécialité Recherche en Informatique

*  Ecrire et évaluer un article de recherche * Réaliser un état de l'art en relation avec un domaine de recherche * Développer une expérimentation afin de valider les résultats obtenus * Valoriser les résultats d'une recherche en rédigeant des articles de synthèse et de vulgarisation  Ces compétences sont appliquées à l’informatique fondamentale, et en particulier dans l’un des domaines suivants : * algorithmique, * automates et langages formels, * déduction automatique, * combinatoire, * calculabilité et complexité, * cryptographie, * codage et sécurité, * logique et sémantique des programmes, * système : programmation analyse et vérification.