• Ross University School of Veterinary Medicine Featured Masters Courses
  • University of Edinburgh Featured Masters Courses
  • University of Edinburgh Featured Masters Courses
  • University of Southampton Featured Masters Courses
  • Jacobs University Bremen gGmbH Featured Masters Courses
  • Swansea University Featured Masters Courses
  • Goldsmiths, University of London Featured Masters Courses
  • Anglia Ruskin University Featured Masters Courses
University of Manchester Featured Masters Courses
University of Reading Featured Masters Courses
Queen’s University Belfast Featured Masters Courses
Vlerick Business School Featured Masters Courses
FindA University Ltd Featured Masters Courses
  • Study Type

    Full time available

  • Subject Areas

    Computer Science

    Mathematics

  • Start Date

    September

  • Course Duration

    Full-time: 2 years

  • Course Type

    MSc

  • Course Fees

    €2,060 (from EEA countries); €10856 (from non-EEA countries)

  • Last Updated

    20 September 2017

Course content

In this Master's specialisation, mathematicians working in areas pertinent to (theoretical) computer science, like algebra and logic, and theoretical computer scientists, working in areas as formal methods and theorem proving, have joined forces to establish a specialisation in the Mathematical Foundations of Computer Science. The programme is unique in the Netherlands and will be built on the excellence of both research institutes and the successful collaborations therein.
The emphasis of the Master's 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, Complexity Theory, Logic, Number Theory, and Combinatorics. The computer science courses concentrate on Formal Methods, Type Theory, Category Theory, Coalgebra and Theorem Proving.
Within both institutes, ICIS and WINST, there is a concentration of researchers working on mathematical logic and theoretical computer science with a collaboration that is unique in the Netherlands. The research topics range from work on algebra, logic and computability, to models of distributed, parallel and quantum computation, as well as mathematical abstractions to reason about programmes and programming languages.

See the website http://www.ru.nl/masters/mathematics/foundations

Admission requirements for international students

1. A completed Bachelor's degree in Mathematics or Computer Science
In order to get admission to this Master’s you will need a completed Bachelor's in mathematics or computer science that have a strong mathematical background and theoretical interests. We will select students based on their motivation and their background. Mathematical maturity is essential and basic knowledge of logic and discrete mathematics is expected.

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

Career prospects

There is a serious shortage of well-trained information specialists. Often students are offered a job before they have actually finished their study. About 20% of our graduates choose to go on to do a PhD but most find jobs as systems builders, ICT specialists or ICT managers in the private sector or within government.

Our approach to this field

In this Master's specialisation, mathematicians working in areas pertinent to (theoretical) computer science, like algebra and logic, and theoretical computer scientists, working in areas as formal methods and theorem proving, have joined forces to establish a specialisation in the Mathematical Foundations of Computer Science. The programme is unique in the Netherlands and will be built on the excellence of both research institutes and the successful collaborations therein.

The emphasis of the Master's 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, Category Theory, Coalgebra and Theorem Proving.

Our research in this field

Within both institutes, ICIS and WINST, there is a concentration of researchers working on mathematical logic and theoretical computer science with a collaboration that is unique in the Netherlands. The research topics range from work on algebra, logic and computability, to models of distributed, parallel and quantum computation, as well as mathematical abstractions to reason about programmes and programming languages.

See the website http://www.ru.nl/masters/mathematics/foundations

Visit the MSc in Mathematical Foundations of Computer Science page on the Radboud University website for more details!

Loading...

Loading...

Loading...

Loading...

Loading...


Enquire About This Course

Recipient: Radboud University

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully




Cookie Policy    X