PhD Monitor
/Detail
Mathematical Logic, Theoretical Computer Science, Philosophy of Science● OpenMastersPreview

Master of Science in Logic

A research-focused interdisciplinary master’s programme bridging mathematics, natural sciences, and humanities through logic.

Best for:Best for students with a passion for theoretical and applied logic, seeking a rigorous research training programme that bridges mathematics, computer science, and humanities disciplines.

University of Amsterdam · Amsterdam, Netherlands
More professors at University of Amsterdam
Mathematical LogicComputational LogicPhilosophy of ScienceFormal MethodsInterdisciplinary ReasoningModel Theory
This is a masters position — not a PhD studentship.
Deadline
Feb 1, 2027
110 days
Funding
—
2 years
Start date
Flexible (typically aligned with academic calendar)
Full-time
Location
Amsterdam
Netherlands

Overview

The Master of Science in Logic at the University of Amsterdam is a two-year, research-oriented programme designed for ambitious students seeking to explore logic’s pivotal role as a bridge between the sciences and humanities. Rooted in interdisciplinary collaboration, the programme fosters internationality and individualised learning through its ‘3-system’ framework: Interdisciplinarity, Internationality, and Individuality. Graduates often become influential figures in the global logical research community, equipped with advanced analytical and theoretical skills. The programme attracts top-tier students worldwide and is tailored for those with a strong academic background eager to contribute to cutting-edge research.

Logic Master’sInterdisciplinary ResearchMathematical LogicTheoretical Computer SciencePhilosophy of ScienceResearch-Oriented Master’sInternational Academic ProgrammeLogic in Sciences and Humanities

What you'll do

  • Engage in advanced coursework covering core topics in mathematical logic, computational logic, and interdisciplinary applications.
  • Conduct independent research under the guidance of faculty mentors, contributing to the broader logical research community.
  • Develop and present original research projects, culminating in a master’s thesis.
  • Participate in interdisciplinary seminars and workshops, fostering collaboration across scientific and humanistic disciplines.
  • Develop strong analytical, theoretical, and problem-solving skills applicable to both academic and professional settings.

Requirements

Degree required: Bachelor’s degree in Mathematics, Computer Science, Philosophy, or a related field from a recognised university.

Degree offered: Master of Science (MSc)

Language: English; TOEFL iBT score of 92 or IELTS overall band score of 6.5, or Cambridge Certificate in Advanced English with a score of 180.

Instruction: English

Required skills
  • Strong background in mathematical reasoning and formal logic.
  • Proficient analytical and problem-solving abilities.
  • Excellent academic record and research potential.
  • Fluency in English for academic purposes.
Nice to have
Prior exposure to computational logic or theoretical computer science.Experience with interdisciplinary research projects.
Eligibility
  • Open to students from all countries.
  • No age restrictions.
  • No prior residency requirements.

Funding & terms

Type
Unknown
Amount
—
Duration
2 years
Programme
—

Programme and admissions

Admissions not verified

A catalogue listing does not mean applications are open or funding is guaranteed. Check the source for your intake.

Intake
Not confirmed by the source
Duration
Not confirmed by the source
Teaching language
Not confirmed by the source
Taught / research mode
Not confirmed by the source
Study mode
Not confirmed by the source
Campus
Not confirmed by the source
Prerequisites
Not confirmed by the source
Application instructions
Not confirmed by the source
Tuition
Not confirmed by the source
Funding
Not confirmed by the source

How to apply

Deadline: 2027-02-01

Applicants must submit their application through the official University of Amsterdam portal. Required documents include a CV, a letter of motivation, academic transcripts, proof of English proficiency, and a research proposal or statement of purpose. Additional documents may be requested based on the applicant’s background.

Documents required
  • Curriculum Vitae (CV)
  • Letter of Motivation
  • Academic Transcripts (Bachelor’s degree)
  • Proof of English Proficiency (TOEFL, IELTS, or Cambridge Certificate)
  • Research Proposal or Statement of Purpose
↗Check programme and admissions

Contact

Admissions Office· Master’s Admissions Coordinator

http://uva.nl/msc-logic

Lab
Logic Group
University of Amsterdam
Netherlands
See the full position

Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.

No card · 10 free AI match scores
Explore this programme
Check admissions, intake and funding with the official source; a listing does not mean applications are open.