Master 2         Logique Mathématique et Fondements de l'Informatique

La suite naturelle de cette formation est la préparation d'un doctorat, soit en logique mathématique, soit en informatique (notamment fondamentale).

Pour un doctorat en informatique, la thèse peut éventuellement être préparée dans une entrerpise ou un organisme public de recherche (INRIA, CEA, ONERA, ...).

Les débouchés principaux après le M2 et la thèse sont dans la recherche au sens large :

• soit dans le milieu universitaire (français ou étranger) ou des organismes publics de recherche (CNRS, INRIA, CEA, ONERA).
• soit dans les services de recherche et développement d'entreprises du monde industriel.

Les services de recherche et développement sont particulièrement demandeurs d'étudiants ayant une forte compétence à la fois mathématique, logique et informatique, leur permettant d'encadrer des ingénieurs travaillant dans les domaines de la certification de logiciels, de la vérification de programmes et de protocoles et plus généralement dans la sécurité informatique. Dans certains cas, le recrutement peut s'effectuer directement à l'issue du Master.

Ces dernières années, plus de la moitié des étudiants validant le M2 continuent en thèse.