Structure of the Master Specialisation Software Science
The list below illustrates the basic organization of the 120 ec Software Science master specialisation, 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-IBC029 Functional Programming 1 and NWI-IBC030 Functional Programming 2.)
Specialisation electives (24 ec):
to be chosen from the categories below (not necessarily all from the same category or one from each category).
- NWI-IMC004 Compiler Construction (6 ec)
- NWI-IMI004 Software Development Entrepreneurship (6 ec)
- NWI-IMC046 Model Checking (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.)
- NWI-IMC035 Software Analysis (6 ec)
- NWI-IMC009 Automated Reasoning (6 ec)
- NWI-I00139 Proof Assistants (6 ec) [not taught in 2017-2018]
(The courses Automated Reasoning and Proof Assistants are taught alternating once every two years. Automated Reasoning will be taught via tele-lectures from Eindhoven).
Theory of Computation:
- NWI-IMC010 Type Theory and Coq (6 ec)
- NWI-IMC011 Semantics and Domain Theory (6 ec)
- NWI-IMC036 Coalgebra (6 ec) [not taught in 2017-2018]
- NWI-WM072C Complexity Theory (8 ec)
- NWI-WM120B Computability theory (8 ec) [not taught in 2017-2018]
(Complexity Theory or Computability Theory are taught alternating once every two years. In 2017-2018, Complexity Theory is taught.)
Specialisation specific research seminar (6ec)
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.
| 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).|