Courses
For more information about the courses, visit OSIRIS course catalog.
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 embedded systems | 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 EC
Seminar and master project: 35 EC
| 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 examinations committee, and when examinations of the homologation study components have been passed.