24 months
Duration
16500 EUR/year
2168 EUR/year
Unknown
Tuition fee
Unknown
Apply date
Unknown
Start date

About

The Mathematical Foundations of Computer Science programme at Radboud University  has a unique theoretical and abstract focus that unites mathematics and computer science.

Visit the official programme website for more information

Overview

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: 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

More details

Radboud University will still consider EU/EEA applications until 1 July, but may not be able to offer assistance with accommodation.

Language

English

Credits

120 ECTS

Delivered

On Campus

Academic requirements

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

English requirements

TOEFL admission requirements TOEFL® IBT The TOEFL iBT® is given online through the internet at designated testing site. The test measures your English-language abilities in an academic setting. The score refers to the total score of 4 subjects (writing, listening, speaking, and reading), each subject has a range of 0 - 30.
90
IELTS admission requirements IELTS The International English Language Test System (IELTS) tests your English-language proficiency on a scale of 1 – 9. The score refers to the combined average score of 4 subjects (writing, listening, speaking, and reading).
6.5

Other requirements

General requirements

  • A completed Bachelor's degree in Mathematics or Computer ScienceIn order to get admission to this Master’s you'll need a completed Bachelor's in Mathematics or in Computing Science with a strong mathematical background and theoretical interests. We'll select students based on their motivation and their background. Mathematical maturity is essential and basic knowledge of logic and discrete mathematics is expected.
  • A proficiency in English
  • 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

  • International

    16500 EUR/year
    Tuition Fee
    Based on the original amount of 16500 EUR per year and a duration of 24 months.
  • EU/EEA

    2168 EUR/year
    Tuition Fee
    Based on the original amount of 2168 EUR per year and a duration of 24 months.

Funding

  • Radboud Scholarship Programme
  • The Orange Tulip Scholarship Programme
  • Holland Scholarship Programme
  • Fulbright-Radboud Scholarships
  • StuNed scholarship programme
  • Radboud University Medical Center Study Fund
  • Radboud Faculty of Arts Study Fund

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.

Due for update

Updated over a year ago

Check the official programme website for potential updates.

Mathematical Foundations of Computer Science
-
Radboud University

Wishlist