Master sciences, technologies, santé mention informatique spécialité programmation et logiciels sûrs

Fournir aux étudiants les éléments fondamentaux leur permettant de s'insérer directement dans le monde de l'entreprise ou d'entamer des recherches 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 interaction, automates, spécification de logiciels).

Le diplômé du master :

• a une très bonne connaissance des outils de développement logiciels
• a une très bonne connaissance des outils de spécification et de vérification
• est capable de mener un travail de recherche fondamentale ou appliquée sur un problème bien ciblé dans le domaine du développement logiciel et la programmation sûre
   

Métiers visés :

• Chefs de projets en informatique
• Concepteurs d'outils logiciels spécialisés
• Ingénieurs de recherche et de développement
• Consultants experts
   

dans les secteurs suivants :

• Laboratoires de recherche en informatique
• Laboratoires de recherche et développement des entreprises
• Entreprises spécialisées dans le développement de logiciels
• Services informatiques des entreprises