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

Présentation

• 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.

Compétences attestées

• Le diplômé du master PLS :
• * 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.

Voies d'accès

• Après un parcours de formation sous statut d’élève ou d’étudiant
• Par expérience

Emplois accessibles

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

Secteurs d'activité

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

Réglementations

A compléter (Reprise)

Composition des jurys

Métiers visés (codes ROME)

Informations générales

Code

RNCP9966

Type d'enregistrement

Enregistrement de droit

Date de décision

—

Date d'effet

—

Fin d'enregistrement

31/10/2019