Ce parcours sera renommé Algorithms, Models and Verification en 2026, et est la fusion des anciens parcours Algorithmes et Modèles, et Vérification des Logiciels.

L’objectif de ce parcours est de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme ; sans oublier les applications de ces aspects à des problèmes concrets. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés.

Les principaux débouchés visés par ce parcours sont les suivants :

    recherche via poursuite en thèse (en France ou à l’étranger, CIFRE ou pas, etc.)
    ingénierie des algorithmes et systèmes complexes
    ingénierie logistique, énergétique
    conception de systèmes critique (transports, avionique)
    ingénierie de la qualité logicielle