Mathematical Foundations of Computing Science
Explore the theoretical underpinnings of computation and information at the intersection of mathematics and computer science.
Best for:Best for students with a strong background in mathematics or theoretical computer science seeking to specialise in the foundational principles of computation and information.
Overview
The Master’s specialisation in Mathematical Foundations of Computing Science (MFoCS) at Radboud University offers a rigorous exploration of the mathematical principles that define computation and information. This programme bridges mathematics and theoretical computer science, covering topics from mathematical modelling of computational systems to the use of computers in solving discrete mathematical problems. Students engage with cutting-edge research through seminars, internships, and a Master’s thesis, gaining direct exposure to the field’s research frontiers. The curriculum is designed for those seeking deep theoretical insights into computer science fundamentals, blending coursework with hands-on research projects. Ideal for applicants with a strong mathematical background, this programme prepares graduates for advanced research or industry roles requiring a deep understanding of computational theory.
What you'll do
- Complete a structured curriculum covering advanced topics in theoretical computer science and discrete mathematics.
- Participate in research projects through the MFoCS Research Seminar, gaining hands-on experience with current research challenges.
- Conduct a research internship to apply theoretical knowledge to practical problems in the field.
- Develop and submit a Master’s thesis under faculty supervision, contributing to ongoing research.
- Engage with peers and faculty in seminars and discussions to explore the latest advancements in the field.
Requirements
Degree required: Bachelor’s degree in Mathematics, Computer Science, or a related quantitative field
Degree offered: Master of Science (MSc)
Language: English; proficiency sufficient for academic study and research
Instruction: English
- Strong proficiency in mathematical reasoning and formal logic
- Familiarity with discrete mathematics and algorithms
- Ability to engage in independent research and critical analysis
- Basic programming skills (preferably in a language like Python, C++, or Java)
- No specific nationality or residency restrictions
- Applicants must meet Radboud University’s general admission requirements for Master’s programmes
Funding & terms
Programme and admissions
Admissions not verified
A catalogue listing does not mean applications are open or funding is guaranteed. Check the source for your intake.
- Intake
- Not confirmed by the source
- Duration
- Not confirmed by the source
- Teaching language
- Not confirmed by the source
- Taught / research mode
- Not confirmed by the source
- Study mode
- Not confirmed by the source
- Campus
- Not confirmed by the source
- Prerequisites
- Not confirmed by the source
- Application instructions
- Not confirmed by the source
- Tuition
- Not confirmed by the source
- Funding
- Not confirmed by the source
How to apply
Deadline: 2027-04-01
Applicants must submit their application through Radboud University’s online portal. Required documents include a CV, a motivation letter, academic transcripts, proof of English proficiency, and a research proposal or statement of purpose. Additional materials may be requested depending on the applicant’s background.
- CV
- Motivation letter
- Academic transcripts (Bachelor’s degree)
- Proof of English proficiency (e.g., IELTS, TOEFL)
- Research proposal or statement of purpose
Contact
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.