Mathematical Foundations of Computer Science

The Master's programme in Mathematical Foundations of Computer Science at Radboud University offers a comprehensive and rigorous curriculum designed to deepen students' understanding of the theoretical underpinnings of computer science. This programme combines advanced mathematical techniques with core concepts in computer science, equipping students with the ability to solve complex problems, develop innovative algorithms, and conduct foundational research. Throughout the programme, students engage with topics such as formal logic, automata theory, computational complexity, algorithms, discrete mathematics, and formal methods. The curriculum emphasizes a strong mathematical foundation to analyze and design efficient computational processes, ensuring graduates are well-prepared for careers in academia, research, or high-level industry roles that require deep theoretical expertise.

Students will have the opportunity to participate in cutting-edge research projects, collaborate with renowned faculty members, and develop skills in logical reasoning, mathematical proof techniques, and theoretical modeling. The programme fosters critical thinking and problem-solving skills that are essential for advancing technology and understanding the fundamental limits of computation. The teaching approach combines rigorous coursework with practical applications and research seminars, providing a balanced education that bridges theory and practice.

Radboud University’s vibrant academic community and modern facilities create an environment conducive to innovation and scholarly growth. Graduates of this programme will possess a broad skill set applicable to areas such as secure communication, cryptography, data analysis, artificial intelligence, and machine learning, among others. The programme prepares students to contribute to scientific advancements through research roles or to excel in industries such as software development, cybersecurity, and data science. With a curriculum rooted in mathematical rigor and a focus on fundamental principles, the Mathematical Foundations of Computer Science at Radboud University stands out as a leading choice for students passionate about the theoretical aspects of computing and eager to make a significant impact in the field.

Key courses: Type Theory and Coq; Computer Algebra; Research seminar; Semantics and Domain Theory; Complexity Theory.

A completed Bachelor's degree in Computing Science or related area

In 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

In order to take part in the programme, you need to have fluency in English, both written and spoken. Non-native speakers of English* without a Dutch Bachelor's degree or VWO diploma need one of the following:

• TOEFL score of ≥575 (paper based) or ≥90 (internet based)
• IELTS score of ≥6.5
• Cambridge Certificate of Advanced English (CAE) or Certificate of Proficiency in English (CPE), with a mark of C or higher

* Applicants are considered to be a native speaker of English if they are from Australia, Canada (with exception of Quebec), Ireland, New Zealand, Singapore, UK, USA or South Africa.

Want to improve your English level for admission?

Prepare for the program requirements with English Online by the British Council.

• ✔️ Flexible study schedule
• ✔️ Experienced teachers
• ✔️ Certificate upon completion

📘 Recommended for students with an IELTS level of 6.0 or below.

Enroll in the course

There are various scholarships available for studying at Radboud University. Some of the opportunities are described below. A full list, including detailed information, can be found on our scholarships and grants page at our website. 

Radboud Scholarship Programme

Open to a select number of excellent international students. Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,083 in 2019/2020). Visa and residence permit costs, liability insurance and health insurance are also covered.

Orange Tulip Scholarship

Open to students from Brazil, Mexico, Russia, Indonesia, South-Korea, Vietnam, Thailand, and China. Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,083 in 2019/2020). Visa and residence permit costs, liability insurance and health insurance are also covered.

Fulbright-Radboud Scholarships

Open to excellent American students. The grant will be paid in 12 monthly instalments of 1,050 euros. International travel and the cost of the residence permit will be covered, and an extra allowance of €1150 will be paid on arrival.

Sino-Dutch Bilateral Exchange Scholarship

Open to excellent students from China. Consists of a contribution of € 16,113 towards the total costs of one year of study or research in the Netherlands.

DIKTI-Neso Scholarships

Aimed at lecturers at higher education institutions in Indonesia who wish to pursue a PhD or Master's at a university in the Netherlands. A DIKTI scholarship includes allowances for living expenses, insurance, travel costs, tuition fees and more.

Indonesian Education Scholarship (LPDP)

Open to excellent Indonesian students under the age of 35. Involves a full scholarship.

Holland Scholarship Programme

Open to excellent students from Canada, America, India and Turkey. Scholarship consists of 5,000 euros payed at the start of study.

Dutch Student Finance

EU/EEA students and Swiss students under 30 years of age are eligible if they are working at least 56 hours per month in the Netherlands, or have been living in the Netherlands for five years or more. Dutch student finance consists of four components: a basic grant, a supplementary grant (depending on the parental income), a student travel product, and a loan.