The Master’s in Mathematical Foundations of Computer Science
at
Radboud University
is a
2
years
long
program for international students,
taught in English.
Master’s in Mathematical Foundations of Computer Science
The Master’s in Mathematical Foundations of Computer Science
at
Radboud University
is a
2
years
long
program for international students,
taught in English.
📖Introduction
Radboud University is a private university that owes its origins to the Catholic emancipation movement of the early twentieth century. In keeping with this tradition, staff and students feel a commitment to one another, to society and to the world. Our focus is on caring for each other and the world around us. We remain committed to the empowerment of social and cultural minorities. We want to have an impact, and in this we are guided by both academic questions and societal challenges.
Founded in 1923, Radboud has a strong tradition of high-quality and internationally accredited education and research. Leading academics and excellent professors help you with everything you need at a research university ranked in the top 1% worldwide. Renowned for its green campus in the oldest city in the Netherlands, Radboud University counts over 20,000 students, with 1 in 9 students coming from abroad. Our personal style of teaching provides plenty of opportunities to work closely with lecturers and fellow students with a multidisciplinary approach and the flexibility to tailor programmes to your interests.
The Master's specialisation of Mathematical Foundations of Computer Science is all about understanding the fundamental mathematical concepts of computation and information, to explore the potentials of computer science.
This Master's specialisation covers a wide range of material at the intersection of mathematics and theoretical computer science. Courses in this programme range from the use of mathematics to model the foundations and explore the potentials and limits of computer science to the use of computers to help solve mathematical problems with a discrete component. MFoCS brings students in contact with the research frontier of the field. The curriculum consists of a range of courses in theoretical computer science and of research projects, which are organised in the MFoCS Research Seminar, a Research internship and a Master's Thesis project.
Show less
Study programme The emphasis of Mathematical Foundations of Computer Science (MFoCS) is on a combination of a genuine theoretical and up-to-date foundation in the pertinent mathematical subjects combined with an equally genuine and up-to-date training in key aspects of theoretical computer science. For this reason, the mathematics courses in this curriculum concentrate on Algebra, General Topology, Logic, Number Theory, and Combinatorics. The computer science courses concentrate on Formal Methods, Type Theory and Theorem Proving. This specialisation has a course load of 120 EC* (two years).
Curriculum of Mathematical Foundations of Computer Science This study programme intends to provide broad knowledge and understanding over a wide range of material in mathematics and theoretical computer science, bringing students in contact with the research frontier of the field. The curriculum consists of both lectures (with exercise classes) and of research projects, which are organised in the MFoCS Research Seminar and a Master's thesis project. There is a possibility to spend part of the master programme abroad.
Type Theory and Coq Research Seminar MFoCS Philosophy and Ethics for Computing and Information Science Category Theory and Coalgebra Computer Algebra Automated Reasoning Semantics and Domain Theory Complexity Theory Computability Theory Model Checking Proof Assistants Program Verification with Types and Logic Research internship Master's thesis
Radboud University is located in Nijmegen, in the heart of Europe. This student city offers many opportunities for relaxation and entertainment with a variety of cultural activities and festivals, numerous museums, galleries, theatre, a concert hall and cinemas, as well as a great number of restaurants and cafés. It is a safe, friendly place to live and study, with the whole of Europe at your doorstep Radboud University hosts 14 research institutes on campus, many of which are world leading in their field, so your ideas have room to grow. The University is renowned for its high quality education and research and its commitment to a personal approach with its students. Enrolling at a truly excellent institution, you are guaranteed to be offered high-quality programmes.
🏠 Accommodation
You will need to book the accommodation after you have been accepted.
You can choose to live on campus or off campus in private accommodation.
How to book:
Make a booking online after you have been accepted (in this case please let
us
know your choice when you apply).
Register when you arrive - its not possible to reserve a room before
arriving. You
can arrive a few days before and
book it
You are not eligible to apply to this program because:
The minimum age is 18.
English fluency is required.
You need to be either:
- A native English speaker
- Studied a degree in English before
- Can demonstrate a high level of English
- Having an English certificate such as IELTS level 6 or TOEFL 95 and above is an advantage.
Minimum education level: Bachelor's.
The program is competitive, you need to have a high grades of Average
A, 70%, or a
high GPA.
All students from all countries are eligible to apply to this program.
Please choose the programs here
,
"You
are advised to select 2-3 programs to increase your chances of
getting accepted.
Required Documents:
Passport
Graduation certificate
Passport size photo
Official transcript
Personal statement
English certificate (You can take the English test online)
Guarantor letter
2 Recommendation letters
Preparing documents:
You can start your application now and send the application
documents
during
your application. Some documents you can
send later if you don’t have them right away. Some more info
about
preparing
application documents is here
Applying Online is simple in just a few steps. More information
is
available
here.
The first steps are to choose the programs, pay the application
fee and
upload
the application documents.
Once submitted to Global Admissions, we will review your
application within
2-3
days and proceed to the university or ask
you for further clarification
After it has been processed to the university you will receive
your unique
application ID from each university.
The university may contact you directly for further questions.
We will then follow up each week with the university for updates.
As soon as
there is any update we will let you know.
If you have made other plans, decide to withdraw / change
address at any
time
please let us know.
After you have been accepted you will receive your admissions
letter
electronically and asked to pay the non-refundable
deposit to the university.
Once you have paid the deposit the university will issue you the
admissions
letter and visa form to your home country.