4
The theory of computation arose from concerns about the foundations of mathematics, and was developed in the work of Gödel, Church, Turing, Kleene and others. The actual building of computing machinery later was strongly influenced by this theoretical work. Computer science quickly grew into an independent field of study, but the relations with mathematics are still strong. Connections range from the use of mathematics to model the foundations all the way to the use of computers to help solve mathematical problems with a discrete component.
Master's in Mathematical Foundations of Computer Science: something for you?
The programme has a unique theoretical and abstract focus that unites mathematics and computer science.
You can take part in the Mastermath programme, meaning you can follow advanced mathematics courses pooled by all Dutch universities.
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.
A majority of the courses are electives giving you the choice of how a strong an emphasis you want to place on mathematical or on computer science aspects.
What will you learn?
The Master’s specialisation places itself squarely in this exciting interdisciplinary area of deep theoretical developments. For this reason, the mathematics courses in this curriculum concentrate on algebra, general topology, logic, number theory and combinatorics. The computer science courses concentrate on formal methods, type theory, category theory, coalgebra and theorem proving.
Career prospects
Master’s specialisation in Mathematical Foundations of Computer Science
As this specialisation lies in the overlap of mathematics and computer science, you’ll have the advantage of being able to strive for jobs in either field. Thus, our graduates have no difficulty in finding an interesting and challenging job. You can think of the following job functions:
Expected September 2023
Radboud University
Houtlaan 4,
NIJMEGEN,
Gelderland,
6525 XZ, Netherlands
A completed Bachelor's degree in Computing Science or related area.
In order to get admission to the Master’s in Computing Science, you'll need a completed Bachelor’s degree in Computing Sciences or a related discipline, such as Artificial Intelligence and Mathematics. An international degree has to be equivalent to a Dutch university diploma.
A proficiency in English
In order to take part in the programme, you need to have fluency in English, both written and spoken. Non-native speakers of English* without a Dutch Bachelor's degree or VWO diploma need one of the following:
TOEFL iBT: ≥ 90 + subscores ≥ 22;
IELTS Academic: ≥ 6,5 overall + subscores ≥ 6,0 + writing subscore ≥ 6,5;
Cambridge certificate C1 Advanced or C2 Proficiency: C or higher.
Application Deadline: Non-EU/EEA students - 1 April; EU/EEA students - 1 May (recommended deadline for assistance with finding housing) and 1 July (final application deadline).
Admission criteria
Students must have passed (preliminary) examinations containing the following subject matter:
Variety of these mathematical courses, at least 12 EC: Calculus, Linear algebra, Logic, Discrete mathematics, Combinatorics, Probability and Statistics, Information theory, Graph theory, Number theory;
Variety of programming courses, at least 12 EC or equivalent: Courses on programming paradigms and Algorithms and data structures;
Variety of other Computing science or computer engineering courses, at least 12 EC or equivalent: Courses in the domains of Security, Computer networks, Computer hardware and/or electronics, Data science, Theoretical computer science, or similar.
