Mathematical Foundations of Computing Science
Radboud Universiteit
Deze opleiding
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?
- 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.De stad
studievereniging
Thalia
studievereniging informatica en informatiekundeKeuzehulp
Studievergelijker
Mathematical Foundations of Computing Science
€ 315 gemiddelde kamerhuur |
3 eerstejaars |
33% vrouw |
? uur contacttijd/week |
Data Science
€ 315 gemiddelde kamerhuur |
12 eerstejaars |
25% vrouw |
? uur contacttijd/week |
Computing Science
star Elsevier |
€ 315 gemiddelde kamerhuur |
12 eerstejaars |
25% vrouw |
? uur contacttijd/week |
Software Science
€ 315 gemiddelde kamerhuur |
12 eerstejaars |
25% vrouw |
? uur contacttijd/week |
Cyber Security and AI
€ 315 gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
Cyber Security
€ 315 gemiddelde kamerhuur |
3 eerstejaars |
33% vrouw |
? uur contacttijd/week |
Computing Science
€ 303 gemiddelde kamerhuur |
10 eerstejaars |
10% vrouw |
? uur contacttijd/week |
Na de studie
Beroepsperspectief / arbeidsmarkt
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 |
---|---|---|
Eindhoven University of Technology | Leraar VHO Informatica educational | |
Delft University of Technology | Leraar VHO Informatica educational |
Potentiële beroepen
Contact
Student advisor Computing Science; for programme-related questions
For general questions and questions on the admission procedure for international students