Master in Dependable Software Systems (DESEM)


Program Description

This Masters program on “Dependable Software Systems” (DESEM) is an Erasmus Mundus Master program which consists of courses of the Master in Computer Science of Université de Lorraine on Software Engineering and Formal Methods, displayed in English and opened to international students.

Objectives of the program

The main objective of the Master program is to offer an advanced program on “Dependable Software Systems” (DESEM), 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 mastering 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.

2 Year Masters Program

With the support of the Erasmus Mundus program of the European Union, the National University of Ireland Maynooth (NUIM) in Ireland, the University of St. Andrews (UStA) in Scotland, and Université de Lorraine (UL) in France are offering this two-year double Master Program, named Erasmus Mundus MSc in Dependable Software Systems (DESEM).

This program, coordinated by the National University of Ireland Maynooth, provides graduates with the knowledge, skill and in-depth technical understanding of the key concepts required to design and build dependable software systems. This will be achieved by bringing together the theory and practice of software development and, in particular, through participation in research-driven and commercially relevant projects. The result will be graduates who have a solid grounding in the logical reasoning and problem-solving skills needed for a career in the software industry. A truly European Masters experience

Each student on the program will study in two of the three partner universities achieving the double Erasmus Mundus MSc in Dependable Software Systems, through the award of 60ECTS from the DESEM Program from any two of the partner universities. Each partner university has long-standing local Masters programs in Computer Science addressing specialised topics in software development. Courses are taught in English and students will be integrated into the culture of the country where they study through language and cultural courses provided by the Universities which they attend.

Who should apply?

Those who have an honors degree in Computer Science or a related discipline with an average grade of 60% (equivalent to a B, II.1, or assez bien) or above. Extensive industrial experience may be considered as equivalent to academic qualification although such applicants will normally be subject to interview.

What careers will graduates be suited to?

Graduates will be equally suited to a career in research where they will develop new techniques for developing more dependable software, or a career in an industry where they will develop dependable industrial strength software.

What are the fees?

Tuition fees are 8000€ per year for non-European students and 4000€ per year for European students. Scholarship recipients will have their tuition fees paid in full with contributions to living costs and travel via their scholarship

What scholarships are available?

We expect to award up to 15 scholarships per year for students participating in the Erasmus Mundus MSc in Dependable Software Systems. Short term scholarships are also available to support academics who wish to participate in teaching/research activities concerned with this program.

  • Category A student scholarships (Third Country Students)
    Contribution to travel and installation costs: 4000€ per year
    Participation costs (including tuition fees and insurance coverage): 8000€ per year
    Monthly allowance: 1 000€ per month
  • Category B student scholarships (European Students)
    Participation costs (including tuition fees and insurance coverage): 4000€ per year
    Monthly allowance: 500€ per month
  • Teaching Scholarships
    Living allowance (including travel costs): 1200€ / week for a minimum duration of 2 weeks and a maximum duration of 3 months per scholar.


How to apply?

Download an online application.

For further details on the application, procedure see

Application Deadlines for Erasmus Mundus MSc Dependable Software Systems (DESEM)

  • 15th January for scholarship applications to the DESEM course
  • 30th June for non-scholarship applications to the DESEM course (non-EU and EU applicants)
Last updated Aug 2019

About the School

Université de Lorraine is a French public university that offers to its nearly 52,000 students a full range of studies, in all fields, and in conformity to the Bologna model (bachelor/master/doctorate ... Read More

Université de Lorraine is a French public university that offers to its nearly 52,000 students a full range of studies, in all fields, and in conformity to the Bologna model (bachelor/master/doctorate). Read less
Nancy , Liège , Luleå , Freiberg , Metz , Marseille , Prague 6 , Saclay , Leganés , Community of Madrid , Stuttgart , Ghent + 11 More Less