Cyber, Education Market, ICT, Engineering
Edu type:
Formal education
Master (EQF 7)
Start date:
Study Load:
3360 hrs
2 years
More information


Specialisation of: Master's in Computing Science

Title/degree: Master of Science (MSc)

Duration: 2 years (120 EC), full-time

Start month: September

Language of instruction: English

Croho code: 60364


Learning how to design high-level software that guarantees safety and correctness while still being in control of its complexity.


Software plays a role in almost every aspect of our daily lives and in every organisation anywhere in the world. It can often be a crucial key to their success. Well-structured software that is attuned to an organisation’s needs and future plans can be cost effective, improve efficiency, offer better services and be innovative. Many companies, in every branch out there, are therefore looking for highly skilled software specialists. Graduates of the Master’s specialisation in Software Science will have no trouble finding a job.


Producing software is not merely a technological enterprise but a deeply scientific and creative one as well. Modern cars drive on 20 million lines of code. How do we develop all this software and control its complexity? How do we ensure correctness of software on which the lives in a speeding car literally depend on? This specialisation goes far beyond basic code writing. It’s about analysing and testing code in order to improve it as well as simplify it.


Why study Software Science at Radboud University?

  • Although not the only focus, our programme puts a lot of emphasis on embedded software and functional programming.
  • We teach a unique range of software analysis techniques and application down to practical/commercial use in industry.
  • This specialisation builds on the strong international reputation of the Institute for Computing and Information Sciences (iCIS) in areas such as model based and virtual product development, advanced programming, and domain specific languages. We also closely collaborate with the Embedded Systems Institute.
  • Our approach is pragmatic as well as theoretical. As an academic, we don’t just expect you to understand and make use of the appropriate tools, but also to program and develop your own.
  • For your Master’s research we have a large number of companies like Philips, ASML and NXP offering projects.
  • Thanks to free electives students can branch out to other Computing Science domains at Radboud University such as security, machine learning or more in-depth mathematical foundations of computer science.
  • The job opportunities are excellent: some of our students get offered jobs before they’ve even graduated and almost all of our graduates have positions within six months after graduating.

NVAO accreditation

This program is legally recognized and accredited by the Accreditation Organization of the Netherlands and Flanders (NVAO).