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

• The main objective of the Master programme is to offer an advanced programme 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 programme's purpose is mastering the basic and key concepts of the software engeneering 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 programme 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 Programme, named Erasmus Mundus MSc in Dependable Software Systems (DESEM).
  This programme, 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 a 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 honours 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 industry where they will develop dependable industrial streng th 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?
  Online application at www.pac.ie/NUIM
• For further details on the application procedure see http://erasmusmundus.ie
• 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)