Programme of Mathematical Foundations of Computer Science
Master's specialisation in Mathematical Foundations of Computing Science
The Master’s specialisation in Mathematical Foundations of Computer Science is taught at the Faculty of Science. It has a course load of 120 EC* (two years). The first year of this specialisation contains four compulsory courses. You can compose the rest of the programme with specialisation electives and free electives.
The structure is as follows:
|Art of course||Course||EC||Time period|
||Type Theory and Coq||6 EC||Year 1|
|Computer Algebra||6 EC||Year 1|
|Seminar||3 EC||Year 1|
|Philosophy and Ethics for Computing
and Information Science
|3 EC||Year 2|
||at least 6 EC of Mathematics courses||56 EC in total
||Year 1 & 2
|at least 6 EC of Computer Science courses|
|free electives||6 EC in total||Year 1 or 2|
|Master's thesis||40 EC||Year 2|
You can construct your programme by selecting a set of Master’s courses offered by Radboud University, for a minimum of 56 EC. At least one course should be a mathematics course, and one a computer science course. You can choose from the following lists (each course is 6 EC).
Computer Science courses
- Advanced Programming
- Automated Reasoning
- Compiler Construction
- Model Checking
- Proof Assistants
- Semantics and Domain Theory
- Statistical Machine Learning
- Complexity Theory
- Computability Theory
- Information Theory
- Randomised Algorithms
- Intuïtionistic Mathematics
- Philosophy of Mathematics
- Category Theory
Mathematics courses can also be selected from the Mastermath programme. In fact, Mathematics students taking this specialisation are obligated to take a number of courses from the Mastermath programme. The selection will have to be approved by the Examination Board.
You must select a set of Master’s courses offered by Radboud University, for a total of 6 EC. Overlap with other courses is not permitted and the selection will have to be approved by the Examination Board.
Master’s thesis and research internship
Your Master's thesis consists of an individual research project, which allows you to investigate a topic of your choice under the close supervision of our expert staff. You can read more about this on Our research in the field.
You have the possibility of going abroad in the third semester. You could, for example, follow courses with Radboud University's partners in the IRUN or Erasmus network. It’s also possible to do your Master’s thesis abroad, in the form of an internship or Erasmus period. You can for example apply for a grant to perform an internship at the Max Planck Gesellschaft, one of the world's most renowned research institutes.If you’re interested in going abroad during your Master’s, please contact one of the student advisors.
* European Credit Transfer System (ECTS)
The workload of an academic year is equivalent to 60 European credits (EC), where 1 EC point is 28 hours of study.