High Integrity Systems (HIS)

First year Winter semester: Safety-Critical Computer Systems, Advanced Formal Modelling, Introductory Data Analysis, Elective Subjects I: Advanced Real-Time Systems or Machine Learning, Implementation of DBMS, Elective Subjects II: Pattern-Oriented Software Architecture or Quantum Information Science. Summer semester: Mathematics Update, Advanced IT-Security, Data Mining, Electives III: Advanced Distributed Systems or Advanced Testing Methods, Electives IV: Human Machine Interface Design or Smart Sensor Network Systems, Electives V: System Theory and Modelling or Transaction Management or Learning from Data Second year Formal Specification and Verification, HIS project, Electives VI: Multivariate Data Analysis or Simulation Methods or Artificial Intelligence, Electives VII: Standards and Certification or Current Topics in High Integrity Systems or Internet of Things, Electives VIII: Selected Subjects in Current Web Engineering or Mobile Systems and Applications or Cloud Computing Master's thesis

Minimum GPA

At least 70% in the applicant's grading system.

English requirements

Proof of sufficient command of English (e.g., IELTS 6, TOEFL iBT 79 or equivalent). Graduates of English-taught programmes are exempt.

Accepted bachelor fields

Bachelor's degree in computer science according to European standards