Mathematical Foundations of Computing Science

Radboud Universiteit

Unsplashed background img 2

Deze opleiding

This Master's specialisation will focus on understanding the fundamental mathematical concepts of computation and information in order to explore the potentials of computer science.

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 University Nijmegen?

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 onderwijs100% en
avondonderwijsn.v.t.
afstandsonderwijsn.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.

De stad

studievereniging

Thalia
studievereniging informatica en informatiekunde

Keuzehulp

Unsplashed background img 2

Studievergelijker

1/7 Radboud University Nijmegen
Mathematical Foundations of Computing Science
€ 315 gemiddelde kamerhuur
3 eerstejaars
33% vrouw
? uur contacttijd/week
2/7 Radboud University Nijmegen
Computing Science
star Elsevier
€ 315 gemiddelde kamerhuur
12 eerstejaars
25% vrouw
? uur contacttijd/week
3/7 Radboud University Nijmegen
Cyber Security
€ 315 gemiddelde kamerhuur
3 eerstejaars
33% vrouw
? uur contacttijd/week
4/7 Radboud University Nijmegen
Cyber Security and AI
€ 315 gemiddelde kamerhuur
? eerstejaars
NAN% vrouw
? uur contacttijd/week
5/7 Radboud University Nijmegen
Software Science
€ 315 gemiddelde kamerhuur
12 eerstejaars
25% vrouw
? uur contacttijd/week
6/7 Radboud University Nijmegen
Data Science
€ 315 gemiddelde kamerhuur
12 eerstejaars
25% vrouw
? uur contacttijd/week
7/7 University of Groningen
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.

Na de studie

Unsplashed background img 2

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.

aansluitende masteropleidingen

instellingopleidinginstroomeisen
Eindhoven University of TechnologyLeraar VHO Informatica educational
Delft University of TechnologyLeraar VHO Informatica educational
bron: doorstroommatrix.nl

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
bron: UWV

Contact

Dr. Perry Groot

Student advisor Computing Science; for programme-related questions

E: computingscience@ru.nl
T: +31 24 365 20 37
Réka Goedhart-Kedves

Admissions officer; for questions about admission

Admission Office

For general questions and questions on the admission procedure for international students

E: admissionoffice@ru.nl
T: +31 24 362 34 56
Meer informatie?
Bezoek de website van deze opleiding.

open_in_newstudy website