Ce que vous saurez faire
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é.
Le déroulé, étape par étape
- 01Semestre 3
- 02Algorithmique et complexité (6 crédits)
- 03Logique et automates (3 crédits)
- 04Modèles de calcul, systèmes dynamiques et théorie algorithmique des nombres (6 crédits)
- 05Enseignements optionnels (15 crédits)
- 06Semestre 4
- 07Logique et automates (3 crédits)
- 08Initiation à la recherche IMD (24 crédits)
- 09PPPE : communication scientifique en anglais (3 crédits)
À la fin de la formation
Formuler puis résoudre, à l'aide des outils formels adéquats (algorithmique, logique, modèles de calcul, combinatoire), une problématique de recherche.
Selon l’organisme
Formuler puis résoudre, à l'aide des outils formels adéquats (algorithmique, logique, modèles de calcul, combinatoire), une problématique de recherche Métiers visés : - Ingénieur R&D - Chargé de veille ou de recherche - Enseignant-chercheur ou chercheur
Où se déroule la formation
Payer avec votre Compte Personnel de Formation
Cette formation figure au catalogue Mon Compte Formation : elle est éligible au CPF. Vos droits, cumulés en euros, se consultent et s’utilisent sur le site officiel.
Vérifier mes droits sur moncompteformation.gouv.frOrganisme, certification, inscription
Texte rédigé par l’organisme de formation. Source : « Moncompteformation – L’offre de formation », Caisse des Dépôts et DGEFP, données ouvertes sous Licence Ouverte 2.0, mise à jour du 02/10/2026. WorkDispo n’est pas affilié à Mon Compte Formation.