Mathematical Foundations of Computing Science
Radboud Universiteit
Deze opleiding
| ! | Deze opleiding communiceert alleen in het Engels. We tonen daarom de Engelstalige opleidingsinformatie. |
open_in_newstudy website
| locatieNijmegen |
| diplomaMSc |
| typeregulier, 120 EC |
| start1 september |
| taalvolledig English |
| opleidingsduur2 jaar voltijd |
| accreditatiesNVAO |
| croho-code60364 |
| 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.
This Master's specialisation has a unique theoretical and abstract focus that unites mathematics and computer science. The programme 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.
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. 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. |
study abroad
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 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.
estimated monthly costs
| 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 |
studievereniging
Thalia
studievereniging informatica en informatiekundeOp kamers in Nijmegen
| 41385 | studenten studerend |
| 18288 | studenten woonachtig |
| € 315 | gemiddelde kamerprijs |
| kamer betaalbaarheid | |
| 20 m2 | gemiddelde kameroppervlak |
| kamer beschikbaarheid |
Keuzehulp
Studievergelijker
1/6 Radboud Universiteit
Mathematical Foundations of Computing Science
Mathematical Foundations of Computing Science
| € 315 gemiddelde kamerhuur |
| 3 eerstejaars |
| 33% vrouw |
| ? uur contacttijd/week |
2/6 Radboud Universiteit
Data Science
Data Science
| € 315 gemiddelde kamerhuur |
| 12 eerstejaars |
| 25% vrouw |
| ? uur contacttijd/week |
3/6 Radboud Universiteit
Cyber Security
Cyber Security
| € 315 gemiddelde kamerhuur |
| 3 eerstejaars |
| 33% vrouw |
| ? uur contacttijd/week |
4/6 Radboud Universiteit
Software Science
Software Science
| € 315 gemiddelde kamerhuur |
| 12 eerstejaars |
| 25% vrouw |
| ? uur contacttijd/week |
5/6 Radboud Universiteit
Computing Science
Computing Science
| star Elsevier |
| € 315 gemiddelde kamerhuur |
| 12 eerstejaars |
| 25% vrouw |
| ? uur contacttijd/week |
6/6 RUG
Computing Science
Computing Science
| € 303 gemiddelde kamerhuur |
| 10 eerstejaars |
| 10% vrouw |
| ? uur contacttijd/week |
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.5 | 4.4 |
| inhoud | 4.0 | 4.0 |
| docenten | 4.1 | 4.1 |
| studiefaciliteiten | 4.1 | 3.9 |
| studielast | 3.6 | 3.5 |
| studiebegeleiding | 3.5 | 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 39 respondenten. Gemiddeld waarderen ze de opleiding met 4.5 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 39 respondenten. Gemiddeld waarderen ze de opleiding met 4.5 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 |
|---|---|---|
| TU Eindhoven | Leraar VHO Informatica educational | |
| TU Delft | Leraar VHO Informatica educational |
Potentiële beroepen
adviseur interne controle en beveiliging informatievoorziening
architect technische infrastructuur ict
beleidsmedewerker ict
chief information officer
datawarehouse ontwikkelaar
hoofd beheer ict
hoofd systeemontwikkeling ict
hoogleraar informatica
ict-consultant
informatiemanager ict
manager servicedesk ict
projectleider ict
servicemanager ict
systeemontwerper
systeemontwikkelaar
systeemprogrammeur
universitair (hoofd)docent informatica
validatie engineer
wetenschappelijk onderzoeker informatica
Contact
Dr. Perry GrootStudent advisor Computing Science; for programme-related questions
Admission OfficeFor general questions and questions on the admission procedure for international students