For more information about the courses, visit Osiris.

CSE mandatory course:

Quarter Code Course EC
1 2IMA10 Advanced algorithms 5


Stream mandatory courses

Quarter Code Course EC
1 2IMF30 System validation 5
1 2IMF25 Automated reasoning 5
2 2IMN15 Internet of things 5
3 2IMN20 Real-time Systems 5

Stream electives

You have to choose at least 20 credit points from this list.

Quarter Code Course EC
1,2, 3 or 4 SFC640 Academic Writing in English 5
1 2IMN10 Architecture of distributed systems 5
2 2IMN25 Quantitative evaluation of ES 5
3 2IMD10 Engineering Data-Intensive Systems 5
3 2IMF35 Algorithms for model checking 5
3 2IMS15 Verification of security protocols 5
4 2IMN35 VLSI programming 5
4 2IMP30 System Design Engineering 5

Free electives (possibly including internship): 40 credits

Seminar and master project: 35 credits

Quarter Code Course EC
4 or 6   Seminar1 5
7 and 8 2IMC00 Master project2 30

1 It is not necessary to request approval for the choice of a seminar. A seminar may be followed starting from the fourth quarter of the program. For students starting in the first semester, this implies that the seminar may be followed in the second quarter of the second year. In case of the seminar 2IMS00 and 2IMA00, for students starting in the second semester, the seminar may be followed in the fourth quarter of the second year.
2 The student is allowed to start with the graduation project only after the Master’s study program has been approved by the Examination Committee, and when examinations of the homologation study components have been passed.