24 months
Duration
17000 EUR/year
2314 EUR/year
Unknown
Tuition fee
Unknown
Apply date
Unknown
Start date

About

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

Overview

Programme overview

The Master's Mathematical Foundations of Computer Science Master's programme at Radboud University 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

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

Duration

  • Full-time
    • 24 months

Start dates & application deadlines

Language

English
IELTS admission requirements IELTS
6.5
TOEFL admission requirements TOEFL® IBT
90

Credits

120 ECTS

Delivered

On Campus

Academic requirements

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

English requirements

IELTS admission requirements IELTS
6.5
TOEFL admission requirements TOEFL® IBT
90

Student insurance

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:

  • Additional medical costs (i.e. dental)
  • Repatriation, if something happens to you or your family
  • Liability
  • Home contents and baggage
  • Accidents
  • Legal aid

We partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.

Get your student insurance now

Start from €0.53/day, free cancellation any time.

Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at Radboud University and/or in Netherlands, please visit Student Insurance Portal.

Other requirements

General requirements

  • Bachelor’s diploma or equivalent
  • An official transcript of your Bachelor's degree or equivalent
  • Sworn translations of diploma and transcript
  • Course description for unfinished courses
  • Personal statement/motivation letter (depending on programme)
  • Reference letter(s)
  • Overview of education/experience
  • English language certificate

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

    2314 EUR/year
    Tuition Fee
    Based on the tuition of 2314 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.

Funding

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

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

Wishlist

Go to your profile page to get personalised recommendations!