Le parcours IMD s'adresse aux étudiants titulaires d'un M1 d'informatique ou de mathématiques. Il vise à donner une formation de haut niveau fondée sur les interactions entre mathématiques et informatique, notamment dans les domaines de la logique, l'algorithmique, la combinatoire et la théorie des graphes, les méthodes formelles, la théorie des langages de programmation, la cryptographie…
Il offre de très nombreux débouchés, vers une poursuite d'étude en doctorat, les carrières de l'enseignement via sans doute une année supplémentaire de préparation agrégation (pour laquelle l'option D informatique sera particulièrement appropriée), les métiers de l'ingéniérie, notamment en génie logiciel, sécurité informatique, modélisation,…
Le parcours IMD est une formation scientifique de haut niveau en informatique théorique et mathématiques discrètes, avec une finalité première de formation à la recherche. Elle est portée par une équipe pédagogique dynamique composée de membres de l'Institut de Mathématiques de Marseille (I2M) et du Laboratoire d'Informatique et Système (LIS) et s'appuie donc sur les activités et compétences de ces deux laboratoires.
Les prérequis correspondent aux compétences acquises dans un M1 de mathématiques orienté informatique théorique comportant une introduction à la logique, la théorie de la calculabilité et la complexité, ou un M1 d'informatique comportant des options de mathématiques, notamment d'algèbre et arithmétique (ou niveau équivalent : par exemple dans une école d'ingénieur), une maîtrise des notions fondamentales de mathématiques générales (algèbre, analyse, géométrie) et d'informatique (architecture des ordinateurs, éléments de programmation).
Cette formation est accessible en
- Formation initiale
- Formation continue