Thématiques et parcours de la spécialité STL

La spécialité STL propose quatre ensembles de parcours, appelés « thématiques » :

• La thématique TA « Technologies Applicatives » forme des experts capables de prendre en charge la définition et la gestion des environnements de développement, dans le cadre de réalisations industrielles mettant en oeuvre les techniques les plus avancées.
• La thématique LS « Logiciels Sûrs » forme des spécialistes de sécurité et sûreté de fonctionnement, capables de développer et de valider des systèmes logiciels, ainsi que de construire des outils pour effectuer des analyses formelles de spécifications et de codes.
• La thématique AP « Algorithmique et Programmation » s'attache à définir des méthodes et des outils rigoureux pour travailler sur la sémantique des programmes et démontrer leur correction vis-à-vis des spécifications, et pour modéliser, analyser et traiter avec efficacité des problèmes algorithmiques issus de divers domaines d'applications de l'informatique.
• La thématique IM « Informatique et Mathématique » vise à donner la double compétence nécessaire pour les disciplines frontières que sont le calcul scientifique, le calcul formel ou l'imagerie ou les mathématiques discrètes.

Les thématiques TA et LS sont essentiellement à finalité professionnelle et les thématiques AP et IM sont des formations pour la recherche, qui ont aussi des débouchés professionnels en fin de Master.

Les deux premiers semestres intègrent les connaissances spécifiques à acquérir pour présenter un profil cohérent avec les objectifs de la spécialité ; de plus une UE d'anglais est obligatoire. L'orientation des étudiants vers les différentes thématiques se fait à la fin du semestre S2 (cependant les étudiants qui veulent poursuivre en TA ou LS choisiront de préférence en S2 le projet spécifique à la formation envisagée). Dans la thématique Informatique et Mathématique, les étudiants doivent équilibrer leurs UE dans les deux disciplines dès le semestre S1.

Les parcours professionnels sont caractérisés, en plus d'UE fondamentales, par des UE plus orientées sur une pratique et une technique professionnelle et des UE de type «ingénierie» qui correspondent à un travail en grandes équipes dans un contexte de type entreprise. Le stage du semestre S4 se déroule, le plus souvent, en entreprise.

Les parcours recherche sont caractérisés par des UE plus théoriques dans leur contenu et des UE de type « groupe de recherche » constituées d'un important travail personnel. Le stage du semestre S4 se déroule, le plus souvent, en laboratoire ou en centre de recherche.

Étant donné le très grand choix d'UE proposé dans les thématiques AP et IM, il est du ressort de l'équipe pédagogique de vérifier que le parcours choisi par l'étudiant est scientifiquement et pédagogiquement cohérent. Pour faciliter le choix des étudiants, un certain nombre de parcours-type seront définis chaque année, en liaison avec les mathématiciens de la spécialité « Mathématiques de la modélisation », ainsi qu'avec le conseil de direction du master MPRI.

Les quatre semestres suivent le découpage classique 1^er octobre­15 janvier et 1^er février­1^er juin. Le semestre S3 est coupé en 2 périodes de 6 semaines, ce qui correspond à la durée d'enseignement des UE de spécialisation (3 ECTS). Le semestre S4 contient des enseignements pendant sa première période, puis un stage d'environ 5 mois, à partir du 1^er avril.