Program Image Software Science

Software Science


Radboud University mapmarker icon Nijmegen Research university
Institution Logo Radboud University

In this Master's specialisation, the focus is on learning how to design high-level software that guarantees safety and correctness while still being in control of its complexity.

Producing software is not merely a technological enterprise but a deeply scientific and creative one as well. 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.

This Master's specialisation brings you to the forefront of academic research on software, and prepares you to play a leading role in building the society of tomorrow. The programme builds on the strong international reputation of the Institute for Computing and Information Sciences (iCIS) in three closely related areas: software technology, computer-aided analysis, and theory of computation. You will follow courses in each of these areas. Depending on your interests, you can then specialise in one area, or study the fascinating links between the areas.

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.




Master of Science


2 years

ECTS credits



Numerus Fixus

Tuition fee 2024/2025

€ 2,530


Application requirements

In order to get admission to the Master's in Computing Science, you'll need a Bachelor's degree in Computing Science or a related area, such as Artificial Intelligence and Mathematics.

Students must have passed (preliminary) examinations containing the following subject matter: Variety of these mathematical courses, at least 12 credits: Calculus, Linear algebra, Logic, Discrete mathematics, Statistics, Probability theory, Combinatorics. Variety of these theoretical computing science courses, at least 12 credits: Languages and Automata, Computability, Complexity theory, Semantics, Functional programming, Proof systems, Software Verification. Basic skills programming: Imperative

Language requirements

Cambridge Certificate in Advanced English
IELTS overall band
TOEFL internet based

Check when you can start and what you have to pay!

Tuition fees  
€ 2,530
Information not available
Information not available
Start date App. deadline EU/EEA App. deadline Non-EU/EEA
1 Sep '24 1 Jul '24 1 Apr '24
1 Sep '25 1 Jul '25 1 Apr '25


You can check if you're eligible for scholarships that apply to this course.

Orange Knowledge Programma (OKP)

The Orange Knowledge Programme aims to contribute to a society's sustainable and inclusive development. Its scholarships are open to mid-career professionals in specific countries.

Fullbright-Radboud Scholarships

Global Education Programme


Radboud University

Main address
Houtlaan 4
6525 XZ Nijmegen

Ready to apply?

Visit course website chevron icon
Radboud University institution image
Radboud University institution image