Master mention Informatique Parcours Programmation et logiciels sûrs

Présentation

Le Master Informatique offre deux spécialités de formation :

- Spécialité 1 : Exploration informatique des données et décisionnel (EID2) ;

- Spécialité 2 : Programmation et logiciels sûrs (PLS).

Objectifs

En première année, lors des deux premiers semestres communs, les étudiant·es recevront des compléments de formation en informatique générale leur donnant les bases nécessaires pour aborder les thématiques spécifiques d’une deuxième année.
Le parcours PLS permet d’acquérir des techniques liées aux applications logicielles (méthodologie de développement et de conception, outils de programmation, sécurité et sûreté) tout en étudiant les concepts fondamentaux nécessaires (programmes et preuves, spécification de logiciels). La cohérence thématique de la spécialité permet aux étudiant·es 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.

Compétences visées

Le diplômé ou la diplômée 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 ;
• A une bonne culture générale en sécurité informatique ;
• 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.

Responsable(s)

Capacité d'accueil

40 étudiants en Master 1, 35 étudiants en master 2

Poursuite d'études

À l’issue du master, un doctorat pourra être préparé au sein de l’une des équipes de recherche du LIPN ou dans un autre laboratoire ou organisme de recherche.

Insertion professionnelle

Métiers : les diplômés du Master PLS sont généralement employés comme :

- Architecte logiciel et de systèmes d’information ;

- Architecte de site internet/intranet/extranet ;

- Chef de projets de migration vers le libre ;

- Concepteur de haut niveau de systèmes multi-tiers ;

- Chercheur (thèse) dans les domaines de la logique pour la programmation ou des spécifications de systèmes et aide à la modélisation.

Secteurs d’activités : dans des secteurs de pointe : Aéronautique, Automobile, Télécommunication, Automatique, Robotique, Énergie, Laboratoires, Banques, Assurances, Informatique d’applications et de services, Grande distribution et VPC.