Sciences, technologies, santé Mention : Informatique Spécialité : Programmation et logiciels sûrs Domaine : Sciences, technologies, santé

La spécialité PLS a pour objectif de fournir aux étudiants les éléments fondamentaux leur permtettant de s'insérer directement dans le monde de l'entreprise ou d'entamer une recherche dans un laboratoire ou une entreprise. La formation permet d'acquérir des techniques liées aux applications logicielles (méthodologie de développement et de conception, outils de programmation, sûreté, y compris dans un environnement web) tout en étudiant les concepts fondamentaux nécessaires (logique et intéraction, automates, spécification de logiciels). La cohérence thématique de la spécialité permet aux étudiants de couvrir un spectre complet de compétences et une compréhension approfondie des mécanismes sous-jacents pour aborder correctement ce domaine en évolution constante. Le choix d'options dans l'une ou l'autre des deux autres spécialités du master permet de combiner ces fondamentaux avec des connaissances en extraction de données ou en traitement du langage. Ces connaissances supplémentaires seront appréciables en entreprise ou en recherche appliquée.