Le master PLS, favorise des interactions avec les groupes logique et spécification de l'équipe LCR (Logique, Calcul, Raisonnement) (une trentaine de personnes), ainsi que d'autres membres du LIPN. La mise en place de ce parcours répondait à la volonté du laboratoire de mieux faire émerger cette thématique en termes de formation dès lors que les compétences sont largement reconnues tant en termes de résultats scientifiques qu'en termes de projets "Recherche" ou "Recherche et Développement". 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 master PLS a vocation à donner un très bon niveau en développement logiciel et une culture technique et scientifique solide, ouvrant sur des débouchés comme ingénieurs ou sur une poursuite en doctorat. 

Compétences visées

Le master PLS propose une formation spécialisée de haut niveau en informatique préparant directement à la vie professionnelle en entreprise ou en recherche. Il initie à la recherche, à des fins de poursuite en doctorat, d'insertion dans des équipes de recherche et développement publiques ou privées, et de création ou d'enrichissement d'entreprises innovantes.
Les compétences visées sont :
•   Très bonne connaissance des outils de développement logiciels
•  Très bonne connaissance des outils de spécification et de vérification
•  Capable de mener un travail de recherche fondamentale ou appliquée dans le domaine du développement logiciel et de la programmation sûre.

Organisation de la formation

Le master PLS bénéficie d'un adossement à la recherche toujours aussi affirmé, d'un renforcement et d'une harmonisation d'un socle commun entre les différents parcours et une complémentarité entre les thématiques abordées. L'objectif de ce socle commun est aussi de définir un ensemble de connaissances minimales en informatique, qui doivent être acquises à l'issu d'un M1 en informatique à l'université Sorbonne Paris Nord  en cohérence avec les autres masters d'informatique au niveau national. Ce socle de connaissances représente les connaissances minimales que doivent posséder un étudiant se destinant aux métiers de l'informatique. Il ne s'agit donc pas forcément d'unités d'enseignement, mais de connaissances. Ce socle commun de connaissances permet d'une part aux étudiants de poursuivre leurs études dans des spécialités (informatiques) d'autres universités qui ne sont pas nécessairement présentes dans leur établissement d'origine.

L'architecture du master se présente sous forme de blocs thématiques favorisant ainsi l'émergence de nouveaux parcours-types en plus des parcours-types proposés. Cette organisation offre aux étudiants une formation agile et à la carte. Grâce à cette organisation en blocs thématiques, les étudiants peuvent bâtir un parcours modulaire et individualisé, diplômant ou non et progresser à leurs rythmes. Cette nouvelle organisation favorisera aussi les passerelles entre les parcours-types et proposera à nos étudiants la possibilité de suspendre temporairement leurs études pour les reprendre ensuite nourries de nouvelles connaissances. Les enseignements sont intégralement dispensés en présentiel. Pour les matières informatiques, la pratique sur machine occupe une place significative. Nous mettons aussi à la disposition des étudiants des salles informatiques en accès libre, un environnement de travail numérique (ENT, LMS Moodle) pour communiquer avec les étudiants et les enseignants. Nous avons également mis en place quelques ressources spécifiques soit pour l'ensemble du master soit pour des cours particuliers, ainsi que des pédagogies participatives.

La première année du master permet une poursuite des études dans l'une des orientations proposées, mais elle favorise aussi les échanges (accueil en 2ème année d'étudiants d'autres masters) et la mobilité de nos étudiants (départ vers d'autres masters). En seconde année, une partie du troisième semestre est spécifique à chacun des parcours-types proposés, avec cependant une mutualisation des UE transversales et les cours optionnels. Le quatrième semestre est dévolu principalement au stage de fin d'étude, avec deux orientations possibles pour chaque spécialité, l'une conduisant aux métiers d'ingénieur et l'autre aux métiers de la recherche. En effet, par le choix de ses options et la finalité de son stage de fin d'études, l'étudiant pourra choisir une orientation professionnelle ou la voie de la recherche. Les diplômés de ce master auront une très bonne connaissance des fondements théoriques, algorithmiques et méthodologiques, de fortes capacités pour mener un travail de recherche fondamentale ou appliquée sur un problème bien ciblé dans des domaines de la spécialité choisie. Les cours de spécialisation sont assurés, d'une part par des chercheurs et chercheuses du LIPN spécialisés dans les thématiques abordées, et d'autre part, par des professionnels experts du domaine.

Conditions d'admission

L'admission est sélective en première année du master et dépend des capacités d'accueil fixées, pour l'année universitaire. L'admission est subordonnée à l'examen du dossier du candidat et à sa validation par la commission de formation du master PLS.

Le dossier de candidature du candidat doit permettre d'apprécier les connaissances, compétences et objectifs visés par sa formation antérieure ; il est constitué des pièces ci‐après énoncées :
- Le formulaire de demande d'admission rempli (téléchargement sur le site de l'Institut Galilée)
- Les diplômes, certificats, relevés de notes et descriptifs des cours suivis antérieurement permettant d'apprécier la nature et le niveau des études suivies. Les documents en langue étrangère, sauf ceux directement rédigés en anglais, doivent être accompagnés d’une traduction assermentée en français
- Une lettre de motivation exposant le projet professionnel ou le projet de recherches du candidat
- Un curriculum vitae.

L'admission en master PLS se fonde sur les critères établis par la commission de formation master. Ces critères tiennent compte de l'adéquation de la formation antérieure avec les exigences de la formation PLS demandée, concernant notamment le niveau en informatique et dans la discipline envisagée.

Insertion Professionnelle / Métiers visés

Le master EID2 a vocation à former aux métiers de la filière recherche & développement et de la programmation et logiciels sûrs, ainsi qu'à ouvrir à la poursuite d'étude en doctorat en informatique. Le parcours vise conjointement à apporter un socle commun de compétences et mener à un large spectre de métiers de l'informatique dans différents secteurs d'activités : Laboratoires de recherche en informatique, Laboratoires de recherche et développement des entreprises, Services informatiques des entreprises : Aéronautique, Automobile, Télécom, Banques, Assurances, Grande distribution et VPC.

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 logique et interaction, automates, spécification de logiciels.

Poursuites d'études

Les étudiants désirant poursuivre des études de doctorat peuvent le faire dans l'une des équipes de recherche du LIPN, mais aussi dans les équipes des laboratoires d'accueil que sont le LAMSADE (Université Paris 9), le LIP6 (Université Paris 6), le LRI (Université Paris 11), le LIAFA ou PPS (Université Paris 7) ou tout autre laboratoire universitaire ou industriel, et aussi à l'IFSTTAR, l'INRIA, l'INRA, le CEMAGREF, l'IRD, l'IGN, ...

Le financement des thèses pourra se faire, en dehors des allocations de recherche, 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 cette spécialité du master.

M1: Semestre 1 (S1)

Première semaine : remise à niveau (10 h d'Algèbre et 10 h d'Analyse)

UE Fondamentales (1)

•    Fondements de la programmation (5 ECTS credits)
•    Ingénierie des bases de données (5 ECTS credits)
•    Structure des données avancées (4 ECTS credits)

3 UE Découverte au choix

•    Analyse exploratoire des données (4 ECTS)
•    Géométrie algorithmique (4 ECTS)
•    Représentation des connaissances (4 ECTS)
•    Réseaux informatiques (4 ECTS)
•    Sécurité et théorie de l'information (4 ECTS)
•    Spécification des systèmes dynamiques (4 ECTS)
•    Systèmes de transition et model checking (4 ECTS)

UE Transversales

•   Anglais (2 ECTS)
•   TEC (2 ECTS)
•   Libre (Sport, Mobilité internationale, Activité Associative) (Bonus)

M1: Semestre 2 (S2)

UE Fondamentales (2)

•    Compilation (5 ECTS)
•    Programmation avancée Java (5 ECTS)

3 UE Orientation au choix

•    Administration système (4 ECTS)
•    Algorithmique du texte (4 ECTS)
•    Initiation à la recherche (4 ECTS)
•    Internet des objets (4 ECTS)
•    Méthodes matricielles pour le Data Mining (4 ECTS)
•    Programmation par contraintes (4 ECTS)
•    Recherche opérationnelle (4 ECTS)
•    Systèmes distribués (4 ECTS)

UE Transversales

•    Anglais (2 ECTS)
•    Conduite et gestion de projet (4 ECTS)
•    TEC (2 ECTS)
•    Libre (Sport, Mobilité internationale, Activité Associative) (Bonus)

M2: Semester 3 (S3)

Module (SSS) : Spécification, Sûreté et Sécurité

•    Programmes et preuves (3 ECTS)
•    Réseaux de Petri de haut niveau (3 ECTS)
•    Spécification des systèmes complexes (3 ECTS)
•    Sûreté et sécurité (3 ECTS)

Module (PLE) : Programmation, Langages et Environnements

•    JavaScript avancé et ubiquitaire (3 ECTS)
•    Environnements de développement libres (3 ECTS)
•    Langages et environnements évolués (3 ECTS)
•    Programmation modulaire et résiliente (3 ECTS)

UE Transversales

•    Anglais (2 ECTS)
•    Innovation (2 ECTS)
•    Soft Skills (2 ECTS)
•    Libre (Sport, Mobilité internationale, Activité Associative) (Bonus)

M2: Semester 4

2 UE Complémentaires au choix

•    Abstraction et raffinement (3 ECTS)
•    Aide à la décision (3 ECTS)
•    Analyse des réseaux sociaux (3 ECTS)
•    Apprentissage de représentations visuelles (3 ECTS)
•    Apprentissage, contraintes, planifications (3 ECTS)
•    Flux de données et programmation (3 ECTS)
•    Fouille de données vocales (3 ECTS)
•    Informatique quantique (3 ECTS)
•    Grilles et cloud computing (3 ECTS)
•    Interaction Homme-Machine (3 ECTS)
•    Systèmes infinis, temporisés et hybrides (3 ECTS)
•    Traitement de données textuelles (3 ECTS)
•    User eXperience design (3 ECTS)

Stage

•    Entreprise ou Laboratoire (24 ECTS)

En deuxième année, la formation débute par une semaine de stage : une partie est consacrée aux techniques de communication, et l'autre partie à une initiation à la gestion et la conduite de projets.

Plus tard dans l'année, au moment de la recherche de stage, les étudiants suivront des simulations d'entretiens effectuées par un cadre responsable des ressources humaines (DRH) dans une entreprise privée.

Un système de tutorat est mis en place pour aider les étudiants dans leur recherche de stage et les suivre ensuite dans l'entreprise.
Un cours sur les Soft Skills est proposé dans cette formation. Ce cours a pour objectif premier de permettre aux étudiants de mieux découvrir les activités de recherche et de développement dans différents domaines de l'informatique, avoir une vision synthétique sur le rôle et la place des cadres supérieurs dans le milieu industriel, et de nouer des contacts avec des entreprises dont les activités sont pertinentes pour l'étudiant intéressé.

Le stage est obligatoire, il a lieu dans une entreprise ou dans un laboratoire de recherche. La durée du stage est de 4 mois minimum à temps plein après les enseignements. Les étudiants sont suivis au cours de leur stage par un tuteur membre du département d'informatique en liaison avec le responsable du stage en entreprise/laboratoire.

Le stage fait l'objet d'un rapport écrit et d'une soutenance orale devant un jury composé au minimum du tuteur du stage, du responsable qui a suivi le travail dans l'entreprise ou au laboratoire et du responsable de la formation.