Mathematical Foundations of Computer Science (specialisation)

Entry requirements

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 this programme, you need to have fluency in both written and spoken English.This requirement has been satisfied when the student meets the conditions, listed on our website.

Months of entry

September

Course content

Understanding the fundamental mathematical concepts of computation and information in order to explore the potentials of computer science.

The Master’s specialisation Mathematical Foundations of Computer Science places itself squarely in the exciting interdisciplinary area of deep theoretical developments in the traditions of Gödel, Church, Turing, Kleene and others. Connections range from the use of mathematics to model the foundations all the way to the use of computers to help solve mathematical problems with a discrete component. 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, category theory, coalgebra and theorem proving.

Students in this programme can take part in the Mastermath programme, allowing them to take enroll in any advanced mathematics course in the Netherlands.

What will you learn?

• Gain a theoretical background in topics of computer science as well as mathematics
• Choose from a variety of electives allowing you to focus on a broad range of topics and different theoretical areas
• Get valuable experience designing, conducting and presenting your research

Career prospects

Not only is this Master’s an excellent stepping-stone for students with ambitions in research, many of our graduates also work as systems builders, ICT specialists or ICT managers in the private sector or within government.

If you have any questions, email us here: study-information@ru.nl

Learn more via the Radboud University contact form.

Fees and funding

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

• Radboud Scholarship Programme
• Fulbright-Radboud Scholarships