• FindA University Ltd Featured Masters Courses
  • Jacobs University Featured Masters Courses
  • Xi’an Jiaotong-Liverpool University Featured Masters Courses
  • FindA University Ltd Featured Masters Courses
  • Regent’s University London Featured Masters Courses
  • Ulster University Featured Masters Courses
  • University of Edinburgh Featured Masters Courses
  • University of Leeds Featured Masters Courses
FindA University Ltd Featured Masters Courses
University of Leeds Featured Masters Courses
Anglia Ruskin University Featured Masters Courses
University of Kent Featured Masters Courses
University of Kent Featured Masters Courses

MSc in Mathematical Foundations of Computer Science


Course Description

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 >232 (computer 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!

Videos
(Student Profile)

Tim de Laat

1647.jpg After getting a double BSc in Physics and Mathematics, Tim was looking for a challenge. "Initially, I considered physics, but gradually I got more and more interested in Maths. I'm really fascinated by pure mathematics and understanding physics in a mathematical sense. So I chose to do an MSc in Mathematical Physics."

Tim, now in the second year of his Master's programme, has started working on his thesis. "I'm trying to find a new method for geometric quantization of the Kepler gravitational two-body problem (in case you don't know, Kepler was a German astronomer who lived around 1600 who described the orbits of planets). We want to calculate the spectrum of the hydrogen atom using both analysis and geometry.

Although complex computations are often done by computers, Tim also enjoys low-tech problem solving. "The elegance of maths is that you can work on solving a complex problem without any aids. I just use paper and pencil - I don't need anything else. The beauty is also that, once a statement has been proved, there's no longer any discussion about whether or not it's true."

Tim appreciates the small scale of the Maths MSc programme in Nijmegen and the accessibility of the professors. "I meet regularly with my supervisor to make sure I'm still on the right track, but other than that, I work on my own. It's kind of cool to do your own research. I also like the national MSc programme that's open to students from all Dutch universities. The courses are taught by national experts in different areas of mathematics."

"I still need to finish a few courses," he says, "but I now know that my real passion is research. Some of my fellow students intend to apply their knowledge in other areas, but I hope to be able to continue doing maths research as a PhD student. I think that's the best way to keep in touch with new developments in this fascinating field."

(Student Profile)

Willem and Frank

Frank: "I wasn't entirely sure whether I wanted to carry on studying. I generally prefer practical work, but my curiosity got the better of me. I registered at the university and gave myself six months to see if this was for me. After this period, I decided to stay on and I gradually felt more and more at home. Computing Science is such an exciting subject - it's constantly evolving."

Willem had completed two internships during his four years of study, but he felt that he was not ready to start working full-time yet. "The Master's programme is great. It's so different from what we did before. There's a lot of freedom here, everything is small-scale and it's easy to interact with the professors. Most of the courses are not standard, and some of the professors even change the content of their courses halfway through if they notice that the students' interest is moving in a different direction." Frank: "They encourage us to get off the beaten track, both in education and in research. In fact, it's basically up to you to decide what to do."

For their Master's research, Frank and Willem started working on the static structure of the Internet. "With research you never know where it will lead," says Frank. "I ended up focusing on web communities and the way in which you can see which sites belong together on the basis of their structure. I analyse these clusters and monitor them, in order to see how they evolve. This could be of interest to advertisers, for example."

Willem took a different path. He looked at optimising interest in websites. "When people position their site on the Web, they want to know where it will generate most interest. I devised a way of ranking this interest, so that people can optimise their location and thus optimise the volume of traffic to their site. Initially, I didn't expect that my research would attract so much attention. But, when I submitted an article based on my Master's thesis to the International Conference on the Theory of Information Retrieval, which was organised by Microsoft Research and Cambridge University, it was accepted. Microsoft and co-sponsor Yahoo are now very interested in my work. It's great when your ideas catch on, and you get serious interest from some of the biggest companies in the world."


(Scholarship)

Radboud Scholarship Programme - 20+ Awards

The Radboud Scholarship Programme is very selective and is only intended for talented students who have obtained outstanding study results and are highly motivated to pursue a Master's degree programme at Radboud University. You must have finalized your request for admission via our online application system OSIRIS Incoming Students before 1 April.The scholarship is not paid in money but instead covers the additional non-EEA expenses.
For example: a grant holder in 2017/2018 will pay a tuition fee of only €2,006, instead of €9,432 or €10,360. In addition the Radboud Scholarship also covers costs such as those for visa, residence permit, health insurance and liability insurance. This amounts to about €725.Each year about 30 Radboud Scholarships are awarded to selected talented non-EEA students for the duration of one of the Master's degree programmes *Learn more about other applicable scholarship programmes on the website of Radboud University.

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

The Radboud Scholarship Programme offers a selected number of talented prospective non-EEA students the opportunity to receive a scholarship to pursue an English-taught Master's degree programme at Radboud University Nijmegen.Selection criteria:1. talent: this means that you must have outstanding study results in your present field of study;
2. expected to be a promising students in your desired field of study at Radboud University;
3. proven academic quality and good results of your prior education for example through grades, test scores, publications.
4. quality of the recommendations in the two letters of recommendation;
5. motivation: based on your motivation letter.

Application Procedure

The application for admission and the application for the scholarship is fully integrated, there is no separate procedure for the scholarship. You apply for a Radboud Scholarship by indicating during your application for admission that you wish to apply for a Radboud Scholarship. You will then be requested to upload three additional documents: two recommendation letters and a curriculum vitae.

Further Information

http://www.ru.nl/rsp


(Scholarship)

Fullbright-Radboud Scholarships - No. of awards TBC

The Fulbright Center, sponsored by Radboud University, is offering scholarships to excellent American students for study and research purposes at graduate and PhD levels at Radboud University Nijmegen. The Fulbright Center's mission is to promote mutual understanding between Dutch and American citizens by providing financial assistance for study, research and teaching. To qualify for a scholarship, applicants must have American nationality, have excellent academic marks, engage in extracurricular activities and be admitted to Radboud University Nijmegen.The grant will be paid in 12 monthly instalments of €1050. International travel will be reimbursed up to a maximum of €900. The cost of the residence permit (approximately €350) will be covered as well. An extra allowance of €1150 will be paid on arrival, and can be used to cover the cost of the tuition fee or the costs of settling in. Tuition fees are not waived, and differ per program.
Application for 2016-2017 opens on 1 May 2016 and closes on 13 October 2016.

Value of Scholarship(s)

12 monthly instalments of €1050 + extra allowance for travel and additional costs

Eligibility

For American students.
The Fulbright Centre, sponsored by Radboud University, is offering scholarships for talented American students to study at Radboud University.

Application Procedure

For more information please see the Fulbright website.

Further Information

http://www.ru.nl/masters/fulbright


(Scholarship)

Global Education Programme - No. of awards TBC

The Russian government has initiated a new scholarship programme to support Russians studying abroad, the Global Education Programme (GEP). The scholarship opened in September 2014 for Russian students studying abroad on Master's and PhD programmes.The scholarship covers the following costs up to 1,381,000 rubles/year (ca. 22,400 EUR)
• Tuiton fee
• Living expenses
• Books
• Health Insurance
• Travel costsStudents may apply for a maximum of 2 years of scholarship.The Global Education Programme (GEP) will last for 3 years (2014-2016). A total amount of 4.41 billion rubles is available for this period, or 1.47 billion per year. The assumed total number of grantees is at least 718.Students who already receive a scholarship, e.g. from the European Union such as ERANET, Erasmus Mundus or other Master's grants do not qualify.

Value of Scholarship(s)

about 16,000

Eligibility

• Russian citizenship
• Admitted to Radboud University (or another university from the list) in one of the selected disciplines
• Study full time at Master's or PhD level
• Ready to return to Russia upon completion of their studies and to obtain employment in accordance with the qualification gained for a period of 3 years ( you can find a list of employers on the official website of the Programme)

Application Procedure

For more information visit the Global Education Programme's webpage

Further Information

http://www.ru.nl/masters/global-education


(Scholarship)

Orange Tulip Scholarship - Brazil Programme - 10 Awards

Through the Orange Tulip Scholarship (OTS) programme, Dutch higher education institutions offer incentive scholarships to attract highly qualified Brazilians to follow a study programme at Master's level.Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For students from Brazil who study at Master's level at Radboud University.

Application Procedure

The application deadline for the Orange Tulip Scholarship Brazil is 1 April. For more information about how to apply, please visit Nuffic Neso Brazil's website.

Further Information

http://www.ru.nl/ots/brazil


(Scholarship)

Orange Tulip Scholarship - Mexico Programme - 5 Awards

Through the Orange Tulip Scholarship (OTS) programme, Dutch higher education institutions offer incentive scholarships to attract highly qualified Mexicans to follow a study programme at Master's level. Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered.

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For Mexican students who study at Master's level at Radboud University.

Application Procedure

The application deadline for the Orange Tulip Scholarship Mexico is 1 April. For more information about how to apply, please visit the Nuffic Neso OTS Mexico website.

Further Information

http://www.ru.nl/ots/mexico


(Scholarship)

Orange Tulip Scholarship - Indonesia Programme - 6 Awards

For Indonesian students, Radboud University offers one Orange Tulip Scholarships which are available for all English-taught Master’s programmes at Radboud University (with the exception of Erasmus Mundus Master's programmes, joint or double-degree Master's programmes and the Master's programme in Theology).Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered .

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For Indonesian students who study at a Master's level at Radboud University.

Application Procedure

The application deadline for the Orange Tulip Scholarship Indonesia is 1 April.You can find more information about the Orange Tulip Scholarship Indonesia, and how to apply, on the Nuffic Neso Indonesia website.

Further Information

http://www.ru.nl/ots/indonesia


(Scholarship)

Orange Tulip Scholarship - China Programme - 6 Awards

The Orange Tulip Scholarship programme (OTS) was launched by Nuffic Neso China in 2008. The success of the programme relies on the support from not only the Dutch academic sector, but also the Dutch business sector in China. The purpose of this initiative is to offer valuable study opportunities for young Chinese talents to study in the Netherlands through joint contributions from the Dutch higher education institutions and China-based Dutch companies.Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered.

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

The Orange Tulip Scholarship China programme is only open to qualified students from Mainland China who study at a Master's level at Radbout University.

Application Procedure

The application deadline for the Orange Tulip Scholarship China is 1 April.

Further Information

http://www.ru.nl/ots/china


(Scholarship)

Orange Tulip Scholarship - Korea Programme - 3 Awards

Nuffic Neso South-Korea launched the Orange Tulip Scholarship (OTS) in January 2010 to provide opportunities for talented Korean students to study in Holland. The scholarship is available for all English-taught Master’s programmes at Radboud University (with the exception of Erasmus Mundus Master's programmes, joint or double-degree Master's programmes and the Master's programme in Theology).Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered.

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For Korean students, Radboud University offers three Orange Tulip Scholarships.

Application Procedure

The application deadline for the Orange Tulip Scholarship South Korea is 1 April.

Further Information

http://www.ru.nl/ots/korea


(Scholarship)

Orange Tulip Scholarship - Russia Programme - 8 Awards

For the first time, Nuffic Neso Russia has launched the Orange Tulip Scholarship (OTS), a special programme for talented Russian students to study in Holland. It is available for all English-taught Master's programmes at Radboud University (with the exception of Erasmus Mundus Master's programmes, joint or double-degree Master's programmes and the Master's programme in Theology).Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2016/2017). Also, visa and residence permit costs, liability insurance and health insurance are covered .

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For Russian students, Radboud University offers eight Orange Tulip Scholarships.

Application Procedure

The deadline for applications for the Orange Tulip Scholarship Russia is 1 April. In order to apply for the scholarship, you must have already applied for a Master's programme at Radboud University. In order to receive the scholarship, you must be admitted to a Master's programme.

Further Information

http://www.ru.nl/ots/russia


(Scholarship)

Orange Tulip Scholarship - Vietnam Programme - 3 Awards

The Orange Tulip Scholarship Programme gives excellent students coming from one of these countries the opportunity to study at Radboud University. Radboud University participates in the OTS programme with several benefits for international students. Instead of the institutional tuition fees, non-EEA students pay the legal tuition fees (€2,006 in 2017/2018). Also, visa and residence permit costs, liability insurance and health insurance are covered .

Value of Scholarship(s)

legal instead of institutional tuition fees

Eligibility

For Vietnamese students, Radboud University offers three Orange Tulip Scholarships.

Application Procedure

The application deadline for the Orange Tulip Scholarship Vietnam is 1 April. For more information about how to apply, please visit Nuffic Neso Vietnam's website.

Further Information

http://www.ru.nl/ots/vietnam


(Scholarship)

The Holland Scholarship Programme - 12 Awards

The Holland Scholarship (HS) gives excellent students the opportunity to study at Radboud University. The HS is open to students with the following nationalities: Canadian, American, Indian and Turkish. All English-taught Master’s programmes are eligible for the HS and amount to € 5,000.-

Value of Scholarship(s)

The scholarship amounts to £ 3.700

Eligibility

The HS is open to students with the following nationalities: Canadian, American, Indian and Turkish. All English-taught Master’s programmes are eligible for the HS.

Application Procedure

You can apply for the Holland Scholarship at Radboud University when you apply for a Master's programme in Osiris. That means that the application for admission and the application for the scholarship are fully integrated.
The application deadline is 1 February. If not all scholarships will be given out, the second deadline is 1 May.

Further Information

http://www.ru.nl/holland-scholarship



Entry Requirements

• A completed Bachelor's degree in Mathematics or Computer Science. If there are gaps in your knowledge, you will follow an individuallytailored modular programme.This will be worth a max of 30 EC.• Non-nativespeakers of English without a Dutch Bachelor’s degree orVWO diploma need one of the following: a TOEFL scoreof at least 575 (paper-based), 232 (computer-based), or 90 (internet-based); an IELTS score of 6.5; a CambridgeCertificate in Advanced English (CAE) or a Certificate ofProficiency in English (CPE) with a mark of C or higher.

Course Fees

€2,006 (from EEA countries); €10360 (from non-EEA countries)


Email Enquiry

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.
Email Sent

Share this page:

Cookie Policy    X