"Ce parcours vise à former des étudiants capables de raisonner à l'aide des formalismes suivants : algorithmique, logique, automates et autres modèles de calcul. Ils devront acquérir une expertise avancée sur ces domaines et être en mesure de les utiliser pour modéliser de manière rigoureuse un problème informatique à résoudre.

Ce parcours s'adresse principalement aux étudiants souhaitant réaliser une thèse en informatique, celle-ci pouvant se dérouler dans le milieu académique ou au sein d'une entreprise (thèse CIFRE). Il forme les étudiants aux sujets actuels de la recherche en informatique, en s'appuyant sur les équipes de recherche en informatique d'Aix-Marseille Université.

Métiers visés :

Ingénieur R&D
Chargé de veille ou de recherche
Enseignant-chercheur ou chercheur"