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.
Ready to apply?Visit course website
Master of Science
The European Credit Transfer and Accumulation System (ECTS) is a student-centred system based on the student workload required to achieve the objectives of a programme of study. Its aim is to facilitate the recognition of study periods undertaken by mobile students through the transfer of credits. The ECTS is based on the principle that 60 credits are equivalent to the workload of full-time student during one academic year.
No Numerus Fixus
Without numerus fixus.
Tuition fee 2023/2024
The EU/EEA rate is the regular fee for students from within the EU/EEA.
In order to get admission to this Master's you'll need a completed Bachelor's degree in Computing Sciences or a related discipline, 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
- Cambridge Certificate in Advanced English
- IELTS overall band
- TOEFL internet based
Check when you can start and what you have to pay!
The non-EU/EEA rate is the rate for students from outside the EU/EEA.
|Information not available|
The institutional rate is for all students who have already obtained a bachelor’s or master’s degree and who want to start a second programme leading to a degree at the same level or at a lower level.
|Information not available|
|Start date||App. deadline EU/EEA||App. deadline Non-EU/EEA|
|1 Sep '23||1 Jul '23||1 Apr '23|
|1 Sep '24||1 Jul '24||1 Apr '24|
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.
Global Education Programme
Orange Tulip Scholarship - Indonesia
These customised scholarships will increase the talent development in a country with a Nuffic Neso office by allowing talented students to study in the Netherlands.
6525 HP Nijmegen
024 - 3612345