First year
Second year
- Safety-Critical Computer Systems, Advanced Formal Modelling, Introductory Data Analysis, Advanced Real-Time Systems, Implementation of DBMS, Pattern-Oriented Software Architecture, Mathematics Update
- Advanced IT-Security
- Data Mining
- Electives I: Advanced Distributed Systems or Advanced Testing Methods
- Electives II: Human Machine Interface Design or Smart Sensor Network Systems
- Electives III: System Theory and Modelling or Transaction Management
Second year
- Formal Specification and Verification
- HIS project
- Electives IV: Multivariate Data Analysis or Simulation Methods
- Electives V: Standards and Certification, Current Topics in High Integrity Systems or Internet of Things
- Electives VI: Selected Subjects in Current Web Engineering, Mobile Systems and Applications, or Cloud Computing
- Master's thesis
Educational organisation
The programme duration is four semesters, with 18 weeks per semester of lectures, seminars, labs in semesters one to three. The fourth semester is dedicated to the Master's thesis (applied research work).Forms of assessment
Written or oral exams at the end of the semester, seminar talks, training for scientific publications, software development projects5 ECTS per module, 10 ECTS for HIS project, 30 ECTS for Master's thesis and colloquium
Course objectives
The Master's programme is a fully accredited computer science MSc curriculum. The programme opens the door to a wide range of fields of work in High Integrity Systems, i.e. safety-critical areas (e.g. internet of things, automotive and machine building industries, chemical industries, aerospace systems, biomedical technology) and business process areas (e.g. IT services, banking and finance, insurance, media). The programme aims to provide core skills in software engineering and development, system modelling and simulation, IT security, distributed systems, DBMS, advanced testing, and data integrity.Language requirements
Sufficient command of English (e.g. IELTS 6, TOEFL iBT 79 or equivalent)Graduates of English-taught programmes are exempt.
Academic requirements
Bachelor's degree in computer science according to European standards or equivalentWant to improve your English level for admission?
Prepare for the program requirements with English Online by the British Council.
- ✔️ Flexible study schedule
- ✔️ Experienced teachers
- ✔️ Certificate upon completion
📘 Recommended for students with an IELTS level of 6.0 or below.