Mathematical Foundations of Computer Science

The Master's Mathematical Foundations of Computer Science program at Radboud University covers a wide range of material at the intersection of mathematics and theoretical computer science. Courses in this program range from the use of mathematics to model the foundations and explore the potentials and limits of computer science to the use of computers to help solve mathematical problems with a discrete component. MFoCS brings students in contact with the research frontier of the field. The curriculum consists of a range of courses in theoretical computer science and of research projects, which are organised in the MFoCS Research Seminar, a Research internship and a Master's Thesis project.

Future career opportunities

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. Thus, 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.

Courses include:

• Seminar MFoCS

• Philosophy and Ethics for Computing and Information Science

• Automated Reasoning

• Model Checking

• Proof Assistants

• Program Verification with Types and Logic