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

Structure Software Science

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

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:

Specialisation specific research seminar (6 ec)

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