Mathematical Foundations of Computing Science

Radboud Universiteit

Unsplashed background img 2

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:
  • Mathematics
  • Computing Science
  • 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.

    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.
    open_in_newwebsite

    printprint

    locatieNijmegen
    diplomaMSc Mathematics
    typeregulier, 120 EC
    start1 september
    taalvolledig Engels
    opleidingsduur2 jaar voltijd
    accreditatiesNVAO
    croho-code66980
    heeft geen numerus fixus
    geen honoursprogramma

    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, such as Bart Jacobs (computer security) and Ieke Moerdijk (algebra and topology, winner of the prestigious Spinoza Prize).


    Open dagen en meeloopdagen

    Masteravond Nijmegen
    Tijdens de Masteravond op donderdag 16 november maak je kennis met ruim 50 masteropleidingen en de 175 masterspecialisaties van de Radboud Universiteit. Alle opleidingen geven een voorlichtingsronde over zowel de master als de pre-master. Op de informatiemarkt presenteren alle opleidingen zich.
    Masterdag Nijmegen
    Tijdens de Masterdag op zaterdag 10 maart maak je kennis met ruim 50 masteropleidingen en de 175 masterspecialisaties van de Radboud Universiteit. Alle opleidingen geven een voorlichtingsronde over zowel de master als de pre-master. Op de informatiemarkt presenteren alle opleidingen zich.

    Studieprogramma

    Unsplashed background img 2
    opbouwThe Master's specialisation in Mathematical Foundations of Computer Science is taught at the Faculty of Science. It has a course load of 120 EC (two years). The first year of this specialisation contains four compulsory courses. You can compose the rest of the programme with specialisation electives and free electives.
    periode
    Computer Algebra
    Type Theory and Coq

    Onderwijs

    taal van onderwijs100% en
    avondonderwijsn.v.t.
    afstandsonderwijsn.v.t.
    onderwijsvormen
    computer opdrachten, groepsdiscussie, groepsopdracht, hoorcollege, individuele opdracht, literatuurstudie, mondelinge presentatie, onderzoek, onderzoeksproject, onderzoeksvoorstel, poster presentatie, project, seminar, stage, werkcollege, zelfstudie
    doelstelling
    The programme of this specialisation consists of:
    • Compulsory courses (12 EC)
    • Free electives (6 EC)
    • Seminar (3 EC)
    • Philosophy and Etics for Computing and Information Science (3 EC)
    • Master's thesis (40 EC)
    • Specialisation electives (56 EC)

    (at least 6 EC of Mathematics courses and at least 6 EC of Computer Science courses)
    docenten
    The courses take place in a very stimulating, personal setting. The lecturers are open to any question you might have on the course matter. They can also provide you with advice on internships or other study-related choices.
    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 studiekosten

    Unsplashed background img 2

    startmomenten

    1 september 2017
    aanmelding deadline : 1 mei 2017
    wettelijk tarief : € 2006
    instellingstarief : € 10360
    niet-EU/EER studenten : € 10360
    1 september 2018
    aanmelding deadline : 1 mei 2018
    collegegeld nog niet bekend
    The application deadline is 1 May for students from within the EU/EAA. Dutch students can apply via www.studielink.nl. After admittance to the Master's programme in Computing Science or Mathematics, 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.

    studie kosten
    bron: Radboud Universiteit
    bedrag kostenpost
    € 700levensonderhoud
    € 500studiematerialenper jaar
    € 300visa/permitper jaar

    Inschatting maandelijkse studiekosten

    bron: Nibud
    bedragkostenpost
    315kamerhuur in Nijmegenrond het landelijk gemiddelde
    22internet+tv
    152boodschappen/kostgeld
    32telefoon
    117verzekeringen
    158collegegeldop basis van € 1906 per jaar
    80studieboeken en -spullen
    29drinken/snoep/snacks
    77uiterlijkkleding, kapper, schoenen
    30contributies/abonnementen
    132vrije tijdstappen, uit eten, vakantie
    42vervoernaast de OV-kaart
    45overig

    € 1183totale 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?

    Studenten en studentenleven

    studentaantallen

    ? studenten volgen deze opleiding
    ?% daarvan is vrouw
    ? eerstejaars gestart in 2012
    ?% daarvan is vrouw
    18901 studenten aan de Radboud Universiteit
    57% daarvan is vrouw
    bron: HBO-raad/VSNU

    Op kamers in Nijmegen

    41385studenten studerend
    18288studenten woonachtig   
    € 315gemiddelde kamerprijs
    kamer betaalbaarheid
    20 m2gemiddelde kameroppervlak
    kamer beschikbaarheid
    bron: Nationale Studenten Enquête

    Keuzehulp

    Unsplashed background img 2

    Studievergelijker

    1/15 Radboud Universiteit
    Mathematical Foundations of Computing Science
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    2/15 Radboud Universiteit
    Applied Stochastics
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    3/15 Radboud Universiteit
    Cyber Security
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    4/15 Radboud Universiteit
    Algebra and Topology
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    5/15 Radboud Universiteit
    Mathematics
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    6/15 Radboud Universiteit
    Mathematical Physics
    € 315 gemiddelde kamerhuur
    5 eerstejaars
    40% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    7/15 Universiteit Leiden
    Science Communication and Society
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    8/15 Universiteit Leiden
    Statistical Science for the Life and Behavioural Sciences
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    9/15 Universiteit Leiden
    Education
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    50% Nederlandstalig
    50% Engelstalig
    10/15 Universiteit Leiden
    Applied
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    11/15 Universiteit Leiden
    Mathematics
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    12/15 Universiteit Leiden
    Algebra, Geometry and Number Theory
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    13/15 Universiteit Leiden
    Science-Based Business
    € 350 gemiddelde kamerhuur
    17 eerstejaars
    52% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    14/15 Rijksuniversiteit
    Mathematics
    € 303 gemiddelde kamerhuur
    ? eerstejaars
    ?% vrouw
    ? uur contacttijd/week
    100% Engelstalig
    15/15 UvA
    Mathematics
    € 424 gemiddelde kamerhuur
    5 eerstejaars
    40% 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

    bron: Nationale Studenten Enquete 2015
    deze
    opleiding
    landelijk
    algemeen oordeel4.13.9
    inhoud4.13.9
    docenten4.24.0
    studiefaciliteiten4.24.0
    studielast3.83.7
    studiebegeleiding3.73.6

    Studentoordelen

    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 2015 hebben meer dan 200.000 studenten hun oordeel gegeven over hun studie en instelling.

    Mathematical Foundations of Computing Science aan de Radboud Universiteit is beoordeeld door 30 respondenten. Gemiddeld waarderen ze de opleiding met 4.1 uit 5.

    Na de studie

    Unsplashed background img 2
    As this specialisation lies in the overlap of mathematics and computer science, you'll have the advantage of being able to strive for jobs in either field.

    Beroepsperspectief / arbeidsmarkt

    Our graduates have no difficulty in find 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.
    huidige arbeidsmarkt

    vergeleken met andere studies

    zoektijd baanzeer goed
    salaris na 1,5 jaar zeer goed
    kans op een vaste baan zeer goed
    bron: Elsevier beste banen 2015

    aansluitende masteropleidingen

    instellingopleidinginstroomeisen
    Universiteit LeidenLeraar VHO in wiskunde full-time,part-time,dual educational+ aanv. eisen
    bron: doorstroommatrix.nl

    Potentiële beroepen

    • consultant
    • entrepreneur
    • ict developer / software developer
    • ict manager
    • phd candidate
    • researcher
    • teacher
    bron: StudieData

    Contact

    Admission Office

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

    E: admissionoffice@ru.nl
    T: +31 24 361 23 45
    Ina de Vries

    Student advisor Mathematics; for programme-related questions

    E: mathematics@ru.nl
    T: +31 24 365 23 86
    Dr. Perry Groot

    Student advisor Computing Science; for programme-related questions

    E: computingscience@ru.nl
    T: +31 24 365 20 37
    Meer informatie?
    Bezoek de website van deze opleiding.

    open_in_newwebsite