Zoek in de site...

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)
  • Specialisation external electives (12 ec)
  • Computer science and society (3 ec)
  • Free electives (12 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):

(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).

Software Technology/Engineering:

Computer-Aided Analysis:

(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:

(Complexity Theory or Computability Theory are taught alternating once every two years. In 2016-2017, Computability Theory is taught.)

Specialisation specific research seminar (6ec)

Research internship (15 ec)

Specialisation external electives (12 ec)
A coherent set of courses outside the specialisation, to be approved by the Examining Board.

Computer, Science and Society (3 ec)

Free electives (12 ec)
o be chosen from courses offered by Radboud University, but overlap with other courses is not allowed. Should be approved by the Examining Board.

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).