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 programme is in principle structured in the following manner.
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)
Before starting Advanced Programming students are strongly advised to first complete NWI-IBC040 Functional Programming (or to have completed its predecessors NWI-IBC029 Functional Programming 1 and NWI-IBC030 Functional Programming 2.)
Specialisation electives (24 ec):
to be chosen from the courses below (not necessarily all from the same category or one from each category).
Software Technology/Engineering:
- NWI-IMC004 Compiler Construction (6 ec)
- NWI-IMI004 Software Development Entrepreneurship (6 ec)
- NWI-ISOFSE Software Security (6 ec) (you follow the same lectures together with the NWI-IMC051 Software Security (5 ec) course, but do an additional assignment for 6 ec.)
Computer-Aided Analysis:
- NWI-IMC009 Automated Reasoning (6 ec)
- NWI-IMC046 Model Checking (6 ec)
- NWI-I00139 Proof Assistants (6 ec)[not offered in 2019-2020]
(The courses Automated Reasoning and Proof Assistants are taught alternating once every two years).
Theory of Computation:
- NWI-IMC010 Type Theory and Coq (6 ec)
- NWI-IMC011 Semantics and Domain Theory (6 ec) [will not be offered in 2020-2021]
- NWI-IMC036 Category Theory and Coalgebra (6 ec)
- NWI-WM072B Complexity Theory (6 ec) [will not be offered in 2020-2021]
- NWI-WM120C Computability theory (6 ec)[not offered in 2019-2020]
(Complexity Theory or Computability Theory are taught alternating once every two years.)
Specialisation specific research seminar (6 ec)
Research internship (15 ec)
See this page for additional information.
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). |