IT University of Copenhagen is happy to offer PhD Position in Probabilistic Session Types for talented and motivated students for the academic session 2025/2026.
The studentship is open to designed for international applicants who must hold a master’s degree (or equivalent) in Computer Science, Mathematics, or a related field for the 3-year program, or a Bachelor’s degree plus one year of Master’s studies for the 4-year program. A background in formal methods, programming languages, distributed systems, or probabilistic models is required. Experience with proof assistants, type systems, or model checking is a plus.
IT University of Copenhagen (ITU) is Denmark’s leading institution dedicated solely to the study and research of information technology. Located in the heart of Copenhagen, ITU offers a dynamic and international environment, focusing on interdisciplinary approaches that span computer science, software development, digital design, data science, and business IT.
Founded in 1999, IT-Universitetet i København (IT University of Copenhagen) is a non-profit public higher education institution located in the large city of Copenhagen (population range of 1,000,000-5,000,000 inhabitants), Capital Region of Denmark. Officially accredited and/or recognized by the Uddannelses- og Forskningsministeriet (Ministry of Higher Education and Science, Denmark), IT-Universitetet i København (ITU) is a small (uniRank enrollment range: 2,000-2,999 students) coeducational higher education institution. IT-Universitetet i København (ITU) offers courses and programs leading to officially recognized higher education degrees such as bachelor degrees, master degrees, doctorate degrees in several areas of study. See the uniRank degree levels and areas of study matrix below for further details. International students are welcome to apply for enrollment.