La spécialité Programmation et Logiciels Sûrs (PLS) a pour objectif de fournir aux étudiants les éléments fondamentaux leur permettant 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 logiciels (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). 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.

La mise en place de cette spécialité résulte du constat que les formations actuelles ne permettent pas à l’étudiant d’approfondir ses connaissances théoriques en logique et automates et de les appliquer avec profit à la construction et à la certification de logiciels par le biais de la programmation fonctionnelle (pour le typage, la vérification de complexité), ou des logiques temporelles et des réseaux de Petri (pour la spécification de systèmes ou la vérification de modèles). Enfin, il convient de noter l’importance considérable pris par le développement des services web. Ce domaine est l’objet de recherches importantes, tant pour mieux caractériser les protocoles indispensables, que pour maîtriser la sémantique de l’interaction à l’oeuvre. La spécialité proposée ouvre ainsi à l’étudiant la possibilité de poursuivre en recherche dans les domaines de la compréhension de ces mécanismes ou l’élaboration de modèles adaptés, ou d’intégrer les entreprises très désireuses de recruter sur ce secteur porteur.

Le LIPN-UMR7030 sur lequel s’appuie la spécialité demandée a, par les recrutements effectués ces dernières années, acquis les compétences et la reconnaissance scientifique sur ces différents domaines.

La création d’un Groupe Thématique « Ouverture » dans le cadre du pôle de compétitivité System@tic montre l’intérêt que représente une telle formation vu le contexte industriel régional. Ce Groupe Thématique est en effet axé sur le développement de logiciels libres sûrs. L’Université Paris 13 est membre fondateur de ce Groupe Thématique.

Entreprises concernées : Nuxeo, Adacore, (F. Maurel, A Frisch) Lexifi , Mandriva, ...

Conditions d’admission : La spécialité PLS est ouverte aux étudiants ayant validé leur 1ère année de master informatique. L’acceptation en seconde année est prononcée par le chef d’établissement sur proposition du responsable de la formation. Celui-ci sollicite l’avis du jury sur les capacités du candidat à suivre les enseignements de seconde année. Il est prévu une admission sur dossier avec vérification du niveau en informatique.

L’admission en deuxième année dans cette spécialité est prononcée par le président de l’Université sur proposition du responsable de la formation (article 11 de l’arrêté master du 27 avril 2002).

Pour la spécialité PLS, il est conseillé aux étudiants de Master Informatique de Paris 13 de valider en 1ère année les UE :

  • Programmation Fonctionnelle : théorie et pratique
  • Réseaux informatiques
  • Programmation par contraintes

Poursuites des études possibles en sortie du master : En fonction de l’orientation du stage de fin d’année, la formation peut déboucher sur la préparation d’une thèse dans le domaine de la programmation et du développement logiciel. Les différents enseignements proposés permettent aux étudiants des spécialisations dans des thèmes d’excellence du Laboratoire d’Informatique de Paris Nord (LIPN). Le financement des thèses pourra se faire par des allocations de recherche du ministère, par des bourses d’échanges internationaux ainsi que dans le cadre de bourses Cifre.

Principaux débouchés professionnels : La formation peut déboucher sur la préparation d’une thèse. Le financement des thèses pourra se faire par des allocations de recherche du ministère, par des bourses d’échanges internationaux ainsi que dans le cadre de bourses Cifre : les chercheurs du LIPN sont en relation avec de nombreuses entreprises qui ont déjà financé (ou sont prêtes à le faire) des bourses Cifre dans les domaines couverts par ce master. En dehors de la poursuite en thèse, dans plusieurs domaines couverts par la spécialité, les entreprises recrutent des étudiants de master tant professionnel que recherche.

Il convient de mentionner le rôle joué par l’université Paris 13, et en particulier le LIPN-UMR 7030 sur lequel le Master est appuyé, dans le pôles de compétitivité Infom@gic où la composante gestion de données est fondamentale, et l’implication de l’université dans le Groupe Thématique "Ouverture" créé dans le pôle System@tic correspondant au contenu plus spécifique de cette spécialité. A travers ces deux pôles, c’est un réseau important d’entreprises et de laboratoires qui pourront servir de débouchés à la formation.