Study cover for Mathematical Foundations of Computer Science
M.Sc. On Campus

Mathematical Foundations of Computer Science

Radboud University

24 months
17000 EUR/year
2209 EUR/year
Tuition fee
Apply date
Start date


The Mathematical Foundations of Computer Science Master's programme at Radboud University has a unique theoretical and abstract focus that unites mathematics and computer science. As a student you can focus on modeling the foundations of computer programmes to using computers to solve mathematical problems.

Visit the official programme website for more information


Programme overview

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:

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

Career prospects

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

Programme Structure

Courses include:

  • 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

Key information


  • Full-time
    • 24 months

Start dates & application deadlines

More details

Non-EU/EEA applicants 

  • 1 April: Final deadline

EU/EEA applicants  

  • 1 July: Final deadline


120 ECTS


On Campus

Academic requirements

We are not aware of any academic requirements for this programme.

Other requirements

General requirements

  • 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.

Tuition Fee

To alway see correct tuition fees
  • International

    17000 EUR/year
    Tuition Fee
    Based on the tuition of 17000 EUR per year during 24 months.
  • EU/EEA

    2209 EUR/year
    Tuition Fee
    Based on the tuition of 2209 EUR per year during 24 months.

Living costs for Nijmegen

800 - 1000 EUR /month
Living costs

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.

Our partners

Mathematical Foundations of Computer Science
Radboud University


Go to your profile page to get personalised recommendations!