Structure of the Master Specialisation Software Science
The list below illustrates the basic organization of the 120 EC Software Science master specialisation,[1] which consists of the following elements:
- Specialisation basis (18 EC)
- Specialisation electives (24 EC)
- Specialisation specific research seminar (6 EC)
- Research internship (15 EC)
- Master electives (18 EC)
- Computer science and society (3 EC)
- Free electives (6 EC)
- Master thesis project (30 EC)
The components are further refined as follows:
Specialisation basis (mandatory specialisation courses) (18 EC):
- NWI-I00032 Advanced Programming (6 EC)
- NWI-I00110 Testing Techniques (6 EC)
- NWI-I00155 Design of Embedded Systems (6 EC)
Students who are entering the master programme with an other-than-RU-bachelor degree Computing Science are strongly advised to first complete the bachelor course NWI-IBC040 Functional Programming before starting Advanced Programming.
Specialisation electives (24 EC):
to be chosen from the courses below (not necessarily all from the same category or one from each category). The courses NWI-I00139 Proof Assistants and NWI-IMC011 Semantics and Domain Theory are offered alternatingly once every two years.
Software Technology/Engineering:
- NWI-IMC004 Compiler Construction (6 EC)
- NWI-IMI004 Software Development Entrepreneurship (6 EC)
- NWI-IMC059 Software Product Lines (6 EC)
- NWI-ISOFSE Software Security (6 EC)
Computer-Aided Analysis:
- NWI-I00139 Proof Assistants (6 EC) [will not be offered in 2021-2022]
- NWI-IMC009 Automated Reasoning (6 EC) [offered for the last time in 2021-2022]
- NWI-IMC046 Model Checking (6 EC)
Theory of Computation:
- NWI-IMC010 Type Theory and Coq (6 EC)
- NWI-IMC011 Semantics and Domain Theory (6 EC) [not offered in 2020-2021]
- NWI-IMC036 Category Theory and Coalgebra (6 EC)
- NWI-IMC060 Program verification with Types and Logic (6 EC) <== new course
- NWI-WM072B Complexity Theory (6 EC) [offered in 2021-2022]
- NWI-WM120C Computability theory (6 EC) [not offered in 2021-2022]
(In the years where the latter two mathemathics courses are not offered, their MastherMath 8 EC-counterparts can be taken.)
Specialisation specific research seminar (6 EC)
Research internship (15 EC)
See this page for additional information.
- NWI-IMC047 Research Internship (15 EC)
Master electives (18 EC)
To be chosen from master courses offered by Radboud University, but overlap with other courses is not allowed. Courses from the master Computing Science are eligible by default. Should be approved by the Examining Board.
Computer, Science and Society (3 EC)
Free electives (6 EC)
Final thesis (30 EC): MSc-project.
The final thesis is scheduled in the last semester. The MSc project is finished by writing a Master's thesis. Generally speaking, students will do their Master's project under the supervision of a member of staff of their own university. However, students may, after consulting a local supervisor, choose to do a Master's project at another site, or an external project at a company or abroad.
The total amount of EC's of this programme should be 120 EC at least.
| [1] The programme described here is the research specialisation Software Science. Students who are more interested in taking a more applied and/or management-related angle may have a look at the specialisations Science, Management and Innovation or Science in Society, which can also be taken with a Software Science programme (see the master-specific requirements for Computing Science at the bottom of these respective pages). |