La spécialité Science et Technologie du Logiciel (STL) a pour vocation de former des spécialistes en développement et suivi d'applications logicielles, possédant une assise solide dans les langages de programmation et les techniques algorithmiques.

La spécialité STL propose deux types de parcours professionnels « Technologies Applicatives » et « Logiciels Sûrs », ainsi que deux types de parcours recherche « Algorithmique et Programmation » et « Informatique et Mathématique ». L'orientation, professionnelle ou recherche, se détermine essentiellement au début du troisième semestre d'études.

Cette spécialité s'appuie essentiellement sur le Laboratoire d'Informatique de l'Université Paris 6 (LIP6), mais aussi sur plusieurs laboratoires de recherche impliqués dans les différentes thématiques proposées, ainsi que sur plusieurs partenaires industriels, à la fois dans les secteurs institutionnels et dans les secteurs émergents.

Les débouchés des parcours professionnels sont ceux d'experts en ingénierie du logiciel (maîtrise des techniques applicatives les plus récentes et capacité de prise en charge de la définition et de la gestion d'environnements de développement) ainsi que de spécialistes en sécurité et sûreté de fonctionnement (conception ou validation de systèmes comportant de nombreux composants logiciels et devant répondre à des exigences de sûreté et de sécurité). Les parcours recherche visent non seulement une poursuite d'étude en Doctorat, dans les domaines de l'algorithmique et de la programmation ainsi que dans les disciplines frontières de l'Informatique et des Mathématiques (calcul scientifique, calcul formel, imagerie, ...), mais ils ont aussi des débouchés immédiats dans les centres de recherche des grandes entreprises, les bureaux d'étude et les startup logicielles.

La structure générale de la spécialité STL, sur les quatre semestres de Master, est définie par la Mention Informatique. Les différents parcours s'interpénètrent très largement en année M1. En M2, les parcours professionnels sont caractérisés par des UE plus orientées sur une pratique et une technique professionnelle et des UE d'ingénierie  qui correspondent à un travail en grandes équipes dans un contexte de type entreprise. Le stage du quatrième semestre se déroule en entreprise. Les parcours recherche sont caractérisés en M2 par des UE plus théoriques dans leur contenu, des UE de type « groupe de recherche » constituées d'un important travail personnel. Le stage du quatrième semestre se déroule en laboratoire ou en centre de recherche.

La spécialité STL a des accords particuliers avec plusieurs partenaires universitaires pour des parcours communs (spécialité « Mathématiques de la modélisation » de l'UPMC, CNAM sur la thématique « Logiciels Sûrs », Master Parisien de Recherche en Informatique (MPRI) sur la thématique « Algorithmique et Programmation ».

La spécialité STL s'adresse à des étudiants titulaires d'un diplôme de Licence ou d'un diplôme équivalent, en Informatique ou en Mathématique et Informatique. Elle pourra également accueillir directement en M2, des étudiants ayant effectué leur première année de master dans une autre école ou université, française ou étrangère.

Les prérequis de la première année de STL relèvent de connaissances et concepts acquis au niveau de la Licence d'Informatique ou de la Licence de Mathématique et Informatique, essentiellement dans les domaines de la programmation et de l'algorithmique. Il faut ajouter aussi des bases de logique ainsi que des principes sur les fonctions de base des systèmes d'exploitation et les réseaux. Les parcours « Informatique et Mathématique » nécessitent de plus des connaissances de base en algèbre et en analyse.

http://www.infop6.jussieu.fr/lmd/master/specialite/stl/