Masters in Dependable Software Systems

2 Years On Campus Masters Program

University of Lorraine

Program Overview

The main objective of the Masters program is to offer an advanced program on Dependable Software Systems, mixing courses on foundations and key concepts and courses on methods, techniques, and applications, with some specialized courses depending on the interests and the professional project of the students. To ensure the adaptability required of future graduates to the constant evolution of the discipline, the program's purpose is Mastersing the basic and key concepts of the software engineering discipline, such as algorithmics and programming, advanced software engineering, modelling systems, formal methods, logic and proofs, semantics, model-checking and verification, security of information systems, protocol and system verification techniques, with an emphasis on formal methods and their applications.

Program Key Stats

€8000 (Annual Fees)



Eligibility Criteria


95
6.5
95

Additional Information & Requirements

Career Options

  • Web/AR/VR software developer
  • Digital content producer
  • Game developer/designer/programmer
  • Front end web developer
  • Web designer
  • User experience UX designer

Book Free Session with Our Admission Experts

Admission Experts