Mathematical Foundations of Computing Science
Radboud Universiteit
Deze opleiding
| ! | Deze opleiding is een specialisatie van meerdere masters. Afhandelijk van je achtergrond en de interesses kies je de richting waarin je afstudeert. Afhankelijk van die keuze haal je één van onderstaande diploma's: |
open_in_newwebsite
| locatieNijmegen |
| diplomaMSc |
| typeregulier, 120 EC |
| start1 september |
| taalvolledig Engels |
| opleidingsduur2 jaar voltijd |
| accreditatiesNVAO |
| croho-code66980 |
| numerus fixusnee |
| honoursnee |
The theory of computation arose from concerns about the foundations of mathematics, and was developed in the work of Gödel, Church, Turing, Kleene and others. The actual building of computing machinery later was strongly influenced by this theoretical work. Computer science quickly grew into an independent field of study, but the relations with mathematics are still strong. 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 Master's specialisation places itself squarely in this exciting interdisciplinary area of deep theoretical developments. 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.
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.
The Master's specialisation places itself squarely in this exciting interdisciplinary area of deep theoretical developments. 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.
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.
Waarom aan de Radboud Universiteit?
This specialisation has a unique theoretical and abstract focus that unites mathematics and computer science. You'll take classes with mathematics and computer science students and thus become a scientist that can combine knowledge of both these fields.
- A majority of the courses are electives giving you the choice of how a strong an emphasis you want to place on mathematical or on computer science aspects.
- You can take part in the Mastermath programme, meaning you can follow advanced mathematics courses pooled by all Dutch universities.
- Teaching takes place in a stimulating, collegial setting with small groups. This ensures that at Radboud University you'll get plenty of one-on-one time with your thesis advisor.
- The job opportunities are excellent: some of our students get offered jobs before they've even graduated and almost all of our graduates have positions within six months after graduating.
- Thanks to free electives students can branch out to other Computing Science or Mathematics domains at Radboud University and study with outstanding professors in those field.
Onderwijs
| taal van onderwijs | 100% en |
|---|---|
| avondonderwijs | n.v.t. |
| afstandsonderwijs | n.v.t. |
studeren in het buitenland
You can choose to perform your elective courses or internship(s) abroad. There are for example close contacts with the Max Planck Institute in Germany. For other possibilities, you can always contact a lecturer or the student advisor.Toelating en kosten
startmomenten
1 september 2022
aanmelding deadline : 1 september 2022
collegegeld nog niet bekend
1 september 2023
aanmelding deadline : 1 september 2023
collegegeld nog niet bekend
Students with a Dutch university Bachelor's degree: before 1 September (for the September intake).
In most cases, if you require an admission statement, please request this from the Admission Office no later than 1 July (for the September intake).
Dutch students can apply via www.studielink.nl. After admittance to the Master's programme in Computing Science, you can enrol for the specialisation of your choice.
In most cases, if you require an admission statement, please request this from the Admission Office no later than 1 July (for the September intake).
Dutch students can apply via www.studielink.nl. After admittance to the Master's programme in Computing Science, you can enrol for the specialisation of your choice.
toelatingseisen
vooropleiding
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.
Inschatting maandelijkse studiekosten
| bedrag | kostenpost | ||
|---|---|---|---|
| € | 315 | kamerhuur in Nijmegenrond het landelijk gemiddelde | |
| € | 22 | internet+tv | |
| € | 152 | boodschappen/kostgeld | |
| € | 32 | telefoon | |
| € | 117 | verzekeringen | |
| € | 172 | collegegeldop basis van € 2060 per jaar | |
| € | 80 | studieboeken en -spullen | |
| € | 29 | drinken/snoep/snacks | |
| € | 77 | uiterlijkkleding, kapper, schoenen | |
| € | 30 | contributies/abonnementen | |
| € | 132 | vrije tijdstappen, uit eten, vakantie | |
| € | 42 | vervoernaast de OV-kaart | |
| € | 45 | overig | |
| € | 1183 | totale maandelijkse uitgaven landelijk gemiddelde is € 1181 | |
Hiernaast staat een overzicht van de gemiddelde kosten die een uitwonende student heeft.
Niet iedere student heeft met iedere kostenpost te maken. Het totaalgemiddelde is dus niet gelijk aan de optelsom van alle kostenposten.
Bekijk ook de uitgebreide toelichting: wat kost studeren?
Bekijk ook de uitgebreide toelichting: wat kost studeren?
Studenten en studentenleven
studentaantallen
| 80 | studenten volgen deze opleiding |
| 36% | daarvan is vrouw |
| 3 | eerstejaars gestart in 2017 |
| 33% | daarvan is vrouw |
| 20442 | studenten aan de Radboud Universiteit |
| 57% | daarvan is vrouw |
Op kamers in Nijmegen
| 41385 | studenten studerend |
| 18288 | studenten woonachtig |
| € 315 | gemiddelde kamerprijs |
| kamer betaalbaarheid | |
| 20 m2 | gemiddelde kameroppervlak |
| kamer beschikbaarheid |
Keuzehulp
Studievergelijker
1/12 Radboud Universiteit
Mathematical Foundations of Computing Science
Mathematical Foundations of Computing Science
| € 315 gemiddelde kamerhuur |
| 3 eerstejaars |
| 33% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
2/12 Radboud Universiteit
Cyber Security
Cyber Security
| € 315 gemiddelde kamerhuur |
| 3 eerstejaars |
| 33% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
3/12 Radboud Universiteit
Mathematics
Mathematics
| € 315 gemiddelde kamerhuur |
| ? eerstejaars |
| NAN% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
4/12 Universiteit Leiden
Mathematics
Mathematics
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
5/12 Universiteit Leiden
Algebra, Geometry and Number Theory
Algebra, Geometry and Number Theory
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
6/12 Universiteit Leiden
Mathematics and Science Communication and Society
Mathematics and Science Communication and Society
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
7/12 Universiteit Leiden
Mathematics and Education (NL)
Mathematics and Education (NL)
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 50% Nederlandstalig 50% Engelstalig |
8/12 Universiteit Leiden
Mathematics and Business Studies
Mathematics and Business Studies
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
9/12 Universiteit Leiden
Applied Mathematics
Applied Mathematics
| € 350 gemiddelde kamerhuur |
| 20 eerstejaars |
| 15% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
10/12 RUG
Mathematics
Mathematics
| € 303 gemiddelde kamerhuur |
| ? eerstejaars |
| NAN% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
11/12 Amsterdam UVA
Mathematics
Mathematics
| € 424 gemiddelde kamerhuur |
| 1 eerstejaars |
| 100% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
12/12 Amsterdam VU
Mathematics
Mathematics
| € 424 gemiddelde kamerhuur |
| 2 eerstejaars |
| 100% vrouw |
| ? uur contacttijd/week |
| 100% Engelstalig |
disclaimer: bovenstaande cijfers en beoordelingen zijn aangeleverd door de opleidingen zelf. Wij kunnen de juistheid niet garanderen.
Feiten en / studie in cijfers
studentoordelen
| deze opleiding | landelijk | |
|---|---|---|
| algemeen oordeel | 4.0 | 4.1 |
| inhoud | 3.8 | 4.0 |
| docenten | 3.9 | 4.0 |
| studiefaciliteiten | 4.2 | 3.8 |
| studielast | 3.4 | 3.6 |
| studiebegeleiding | 3.8 | 3.6 |
De Nationale Studenten Enquete is het grootschalige onderzoek van de overheid onder studenten in Nederland naar de kwaliteit van opleidingen aan hogescholen en universiteiten.
In 2017 hebben meer dan 280.000 studenten hun oordeel gegeven over hun studie en instelling.
Mathematical Foundations of Computing Science aan de Radboud Universiteit is beoordeeld door 37 respondenten. Gemiddeld waarderen ze de opleiding met 4.0 uit 5.
In 2017 hebben meer dan 280.000 studenten hun oordeel gegeven over hun studie en instelling.
Mathematical Foundations of Computing Science aan de Radboud Universiteit is beoordeeld door 37 respondenten. Gemiddeld waarderen ze de opleiding met 4.0 uit 5.
Na de studie
Beroepsperspectief / arbeidsmarkt
Our graduates have no difficulty in finding an interesting and challenging job.
Examples of companies where our graduates could end up include SMEs like Orikami, Media11 and FlexOne, consultancies like McKinsey&Company, and multinationals like ING Bank, Philips, ASML, IBM and perhaps even Google.
Examples of companies where our graduates could end up include SMEs like Orikami, Media11 and FlexOne, consultancies like McKinsey&Company, and multinationals like ING Bank, Philips, ASML, IBM and perhaps even Google.
aansluitende masteropleidingen
| instelling | opleiding | instroomeisen |
|---|---|---|
| Universiteit Leiden | Leraar VHO in Wiskunde educational | geen aanvullende eisen |
| UU | Leraar VHO wiskunde (1 jarig) educational | geen aanvullende eisen |
| Amsterdam UVA | Lerarenopleiding Wiskunde educational | geen aanvullende eisen |
| TU Eindhoven | Leraar VHO Wiskunde educational | |
| TU Delft | Leraar VHO Wiskunde educational |
Potentiële beroepen
hoogleraar wiskunde
universitair (hoofd)docent wiskunde
wetenschappelijk onderzoeker wiskunde
wiskundig rekenaar
Contact
Admission OfficeFor general questions and questions on the admission procedure for international students
Ina de VriesStudent advisor Mathematics; for programme-related questions
Dr. Perry GrootStudent advisor Computing Science; for programme-related questions