Master Informatique — Sciences du Logiciel (SDL)

Software science, the study of how software systems are designed, built, verified, and maintained, forms a core branch of computer science distinct from purely theoretical or hardware-focused tracks. This master's specialization, Sciences du Logiciel, known by the acronym SDL, is offered by Université de Toulouse in Toulouse Cedex 9, France, and focuses on the engineering and formal aspects of software development. Typical coursework covers software architecture, programming language theory, formal methods for verifying software correctness, software testing, and project management practices used in building large or complex systems. Students usually combine theoretical study, such as formal specification and verification techniques, with practical software development projects that mirror how software is built and maintained in industry or research settings. Because reliable software underpins most modern technology, the discipline connects to fields such as safety-critical systems and distributed computing, and increasingly to areas like cybersecurity, where correctness and robustness matter as much as functionality. Instruction is conducted entirely in French, so a good command of the language is necessary for lectures, technical specifications, and collaborative project work. After completing the program, graduates commonly pursue careers as software engineers, software architects, or quality assurance and verification specialists, and some move into research roles focused on formal methods or programming languages. Others apply their training in sectors with strict reliability requirements, such as aerospace or transportation, where software correctness carries particular weight. The strong engineering orientation of the program also supports entry into technical leadership roles over time. The program spans two years and starts in September, following the usual French academic calendar. Yearly tuition is 250 EUR. Applicants typically hold an undergraduate degree in computer science or a closely related technical field.