Home » International Scholarships for Students » PhD Position in Probabilistic Session Types, Denmark

PhD Position in Probabilistic Session Types, Denmark

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.

  • Award
  • Application Process
  • Clarity of Information
4
Sending
User Review
0 (0 votes)

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.

Application Deadline: 16 May 2025

Brief Description

  • University or Organization: IT University of Copenhagen

  • Department: Programming, Logic, and Semantics (PLS) Research Group

  • Course Level: PhD

  • Award: Fully funded (salary per the Danish Ministry of Taxation’s agreement with AC)

  • Access Mode: Online

  • Number of Awards: NA

  • Nationality: Domestic and international

  • The award can be taken in: Denmark

Eligibility

  • Eligible Countries: Open to applicants from any country

  • Acceptable Course or Subjects: The scholarship will be awarded in Computer Science, Mathematics, or closely related fields with relevance to probabilistic models, formal methods, or programming languages.

  • Admissible Criteria: To be eligible, the applicants must meet all the following criteria:

    • Hold a Master’s degree (or equivalent) for the 3-year PhD program or a Bachelor’s degree and one year of Master’s studies for the 4-year program.

    • Background in formal methods, type systems, distributed systems, or probabilistic models.

    • Experience with proof assistants (e.g., Coq), model checking, or programming languages theory is advantageous.

    • Possess a collaborative mindset and enthusiasm for research.

How to Apply

  • Apply exclusively through the IT University’s e-recruitment system via the link:
    http://en.itu.dk/About-ITU/Vacancies

  • Required documents (all in English):

    • Motivated application (cover letter)

    • Statement of purpose outlining research interests and fit

    • Full CV

    • Copies of academic degrees and transcripts

    • Master’s thesis or relevant publications

    • Documentation of English proficiency

  • Incomplete applications will not be assessed.

Benefits

  • Competitive salary and employment under the collective agreement for academic staff in Denmark

  • Integration into a dynamic international research environment

  • Opportunities for international collaboration

  • Access to world-class facilities and supervision

  • Living and working in Copenhagen, one of the most livable cities globally

Apply Now