Universal Properties in Double Category Theory
Join a fully funded PhD project exploring double category theory applications in theoretical computer science.
Best for:Best for candidates with a solid foundation in category theory and an interest in theoretical computer science.
Overview
This PhD position focuses on enhancing the understanding of universal properties within double category theory and their applications in theoretical computer science. The project will explore topics such as loose universal properties, two-dimensional sketches, and formal category theory. The successful candidate will engage in research while potentially assisting in teaching activities. This opportunity is hosted by Tallinn University of Technology, known for its vibrant research environment and strong emphasis on digitalization.
What you'll do
- Conduct research on universal properties in double category theory.
- Assist in teaching activities as a course assistant if required.
Requirements
Degree required: Master's degree in Mathematics, Computer Science, or a related field
Degree offered: PhD
Language: English; proficiency in academic writing and communication
Instruction: English
- Strong knowledge of basic category theory
- Interest in theoretical computer science
- Open to applicants from diverse and under-represented backgrounds
Funding & terms
How to apply
Deadline: 2026-11-10 (Europe/Tallinn)
Applications can be submitted through the provided link. Ensure all required documents are prepared before submission.
- CV
- Cover letter
- Research proposal
- Transcripts from previous degrees
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.