The Master's specialisation in the Mathematical Foundations of Computer Science focuses on combining the two disciplines. Students can focus on modeling the foundations of computer programmes to using computers to solve mathematical problems.
This programme works closely with the Institute for Computing and Information Sciences and the Institute for Mathematics, Astrophysics and Particle Physics. Students in this programme will work closely with researchers and experts. Students can take part in the Mastermath programme, meaning you can follow advanced mathematics courses pooled by all Dutch universities.
Would you like to know if you are eligible to be admitted to this programme? Take our E-Check and instantly get an insight in your eligibility: echeck.ru.nl
What will you learn?
- This specialisation has a unique theoretical and abstract focus that unites mathematics and computer science
- Choose electives based on your preference for the mathematical or computer science aspects
- Gain experience working and conducting research in the field
Graduates from this programme could find work in a variety of different positions:
- Consultant for firms
- ICT developer / software developer
- ICT manager in the private sector or within government
- Researcher, at research centres or within corporations
- PhD candidate
- Entrepreneur; starting up your own consultancy or software development company
- Teacher, at all levels from middle school to university
Get more detailsVisit official programme website
- Type Theory and Coq
- Category Theory and Coalgebra
- Computer Algebra
- MFoCS Seminar
- Philosophy and Ethics for Computing and Information Science
- Semantics and Domain Theory
- Proof Assistants
Check out the full curriculumVisit official programme website
- 24 months
Start dates & application deadlines
- Apply before , EEA/EU
- Apply before , International
- 1 April: Final deadline
- 1 July: Final deadline
DisciplinesMathematics Informatics & Information Sciences Computer Sciences View 68 other Masters in Computer Sciences in Netherlands
Explore more key informationVisit official programme website
We are not aware of any academic requirements for this programme.
- A completed Bachelor's degree in Mathematics or Computer ScienceIn order to get admission to this Master’s. Your degree has to be equivalent to a Dutch university diploma. The Admission Office will determine if an international student has the required knowledge to be admitted. The Admission Office will also indicate if the student is required to follow specific courses from the Bachelor's programme to eliminate possible deficiencies. If you want to follow this MSc programme, you have to be admitted to the Master’s in Computing Science. You are required to have a background in (theoretical) Computing Science, as described in the admission criteria below. The Computing Science Master's specialisations at Radboud University are mostly theoretical, fundamental, and based on Mathematics skills, and are less focused on technical, engineering or applied sciences. Your eligibility will be determined based on these courses in your BSc transcripts and level of mathematics. Work experiences, English certificate, etc. are all secondary in the selection.
- A proficiency in English
Students must have passed (preliminary) examinations containing the following subject matter:
- Variety of the following mathematical courses, at least 12 EC in total: Calculus, Linear algebra, Logic, Discrete mathematics, Statistics, Probability theory, Combinatorics.
- Variety of the following theoretical computing science courses, at least 15 EC in total: Languages and Automata, Computability, Complexity theory, Functional programming, Proof systems, Software Verification, Semantics.
- Courses on basic skills in programming, such as Imperative programming, Object oriented programming (as first or second year course), Software development (project work), Data Structures and Algorithms.
- Students must be familiar with research methods, academic writing and critical thinking.
- Due to the COVID-19 outbreak which has led to the temporary closure of test centres, Radboud University currently also accepts the iBT TOEFL Special Home Edition. For all other questions regarding the coronavirus please visit our FAQ.
Make sure you meet all requirementsVisit official programme website
International17000 EUR/yearTuition FeeBased on the tuition of 17000 EUR per year during 24 months.
EU/EEA2209 EUR/yearTuition FeeBased on the tuition of 2209 EUR per year during 24 months.
Living costs for Nijmegen
The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.
We have a number of scholarships available only for international Master’s students. You can find the full list, including details about eligibility requirements and how to apply, on the university's website
- Please do note, that most of these scholarships are not fully funded. The Radboud Scholarship Programme (RSP) is the only scholarship that offers both fully and partially funded scholarships.
Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.
Double-check all feesVisit official programme website
Apply and win up to €10000 to cover your tuition fees.