Let op: Deze pagina is bedoeld voor studiekiezers. Ben je al student aan de Radboud Universiteit? Jouw actuele studieprogramma vind je in de Onderwijscatalogus.

Studieprogramma Mathematical Foundations of Computer Science

Dit studieprogramma is bedoeld om brede kennis en begrip te bieden over een breed scala aan materiaal in wiskunde en theoretische informatica, en brengt studenten in contact met de onderzoeksfronten van het vakgebied. Het curriculum bestaat uit zowel lezingen (met oefenlessen) als onderzoeksprojecten, die worden georganiseerd in de MFoCS onderzoeksseminar en een masterscriptieproject. Het is mogelijk om een deel van het masterprogramma in het buitenland door te brengen.

Over dit studieprogramma

De lijst hieronder geeft de basisindeling van de masterspecialisatie MFoCS weer. Die bestaat uit de volgende elementen:

  • Verplichte vakken (21 EC)
  • Keuzevakken:
         - Specialisatie keuzevakken (24 EC)
         - Masterkeuzevakken (24 EC)
         - Vrije keuzevakken (6 EC)
  • Onderzoeksstage (15 EC)
  • Masterscriptie (30 EC)

Voorlopig overzicht voor studiekiezers

Dit overzicht geeft een indicatie van het aanbod voor het academische jaar 2026-2027 en is bedoeld voor studiekiezers. Het kan nog wijzigen en er kunnen geen rechten aan worden ontleend. Al student aan de Radboud Universiteit? Bekijk jouw actuele studieprogramma in de Onderwijscatalogus.

Totaal EC
120 EC
Verplichte cursussen
P1
P2
P3
P4
6 EC
6 EC
3 EC
6 EC
Keuzecursussen
P1
P2
P3
P4
6 EC
6 EC
6 EC
6 EC
6 EC
8 EC

Je core curriculum wordt aangevuld met keuzevakken. Het keuzeprogramma bestaat uit Natural Science keuzevakken, een Filosofiekeuzevak en Vrije keuzevakken. Je bent vrij om dit programma naar eigen wens samen te stellen, mits het niveau en de samenhang voldoende zijn voor de examencommissie.

Specialisatie keuzevakken (24 EC)
Je moet minstens 24 EC aan Specialisatiekeuzevakken (zie de bovenstaande lijst) binnen het vakgebied MFoCS kiezen. Let op: sommige cursussen worden in afwisselende jaren gegeven; raadpleeg de studiegids voor gedetailleerde informatie.

Master keuzevakken (24 EC)
Dit kunnen alle vakken zijn die worden aangeboden in de masteropleidingen Computing Science, Mathematics of het landelijke MasterMath programma. Cursussen van andere masteropleidingen zijn ook toegestaan mits er geen overlap is en deze zijn goedgekeurd door de examencommissie.

Vrije keuzevakken (6 EC)
Van de totale keuzevakken kan 6 EC worden gebruikt om een ​​willekeurig vak te volgen aan de Radboud Universiteit, een andere Nederlandse universiteit of in het buitenland.

Stages
P1
P2
P3
P4
15 EC

Voor de MFoCS-onderzoeksstage kun je ervoor kiezen je onderzoeksstage te doen bij:

  • Een bedrijf, dat een MKB (klein of middelgroot bedrijf) of een multinational kan zijn, of een overheidsinstelling.
  • Elke afdeling aan de Radboud Universiteit of een andere universiteit met MFoCS-gerelateerde onderzoeksvragen. Denk bijvoorbeeld aan wiskunde aan de RU, het ILLC in Amsterdam, of informatica-afdelingen aan andere universiteiten in Nederland of het buitenland.
  • iCIS, met een onderzoeker die een MFoCS-gerelateerde onderzoeksvraag heeft.
Scriptie
P1
P2
P3
P4
30 EC

In je masterscriptie laat je zien dat je in staat bent om een probleem in de computer- of informatiewetenschappen op masterniveau te analyseren en een oplossing voor dit probleem te ontwerpen met behulp van wetenschappelijke methoden en technieken. Je masterscriptie bestaat uit een individueel onderzoeksproject, waardoor je een onderwerp naar keuze kunt onderzoeken. Je kunt je eigen masteronderzoek doen bij een onderzoeksinstituut of bij een externe organisatie. Enkele voorbeelden van thema's waarin je je eigen onderzoeksonderwerp zou kunnen kiezen:

  • Types
  • Automata
  • Proofs
  • Algebra
  • Categories
  • Logica
  • Complexity