PhD Position in Probabilistic Session Types, IT University of Copenhagen, Denmark

Postdoc in Denmark

PhD Position in Probabilistic Session Types: The IT University of Copenhagen invites applications for a PhD position in the PROBABILIST project, focusing on the theory and practice of probabilistic session types. This project aims to develop a foundational approach to analyze properties relevant to concurrent systems exhibiting probabilistic behavior.


Designation:
PhD Student

Research Area:
Probabilistic Session Types, Formal Methods, Programming Languages, Distributed Systems

Location:
IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark


Eligibility/Qualification:
Candidates must have:

  • A Master’s degree (or equivalent) in Computer Science, Mathematics, or a closely related field.
  • Background in formal methods, programming languages, distributed systems, or probabilistic models is essential.
  • Experience with proof assistants (e.g., Coq), type systems, or model checking is advantageous.
  • A collaborative mindset and enthusiasm for research.

Job Description:
The PhD student will contribute to advancing the theory of probabilistic session types within the Programming, Logic, and Semantics (PLS) research group. The successful candidate will engage with international researchers, participating in rigorous analyses of correctness and expressiveness in distributed systems with probabilistic behavior.


How to Apply:
Applicants should submit the following documents in English:

  • A motivated application (cover letter) detailing qualifications
  • A statement of purpose demonstrating independent thinking and originality related to the project
  • A full CV including personal information, academic background, and previous employment
  • Documentation of academic degrees (copies of degree certificates)
  • Any relevant scientific publications or master thesis
  • Proof of English proficiency

Applications can only be submitted through the IT University’s e-recruitment system.

Application Link: Apply Here


Last Date to Apply:
16 May 2025, at 23:59 CEST


This is a unique opportunity to engage in cutting-edge research at a prestigious institution in one of the world’s most livable cities.

Link

LEAVE A REPLY

Please enter your comment!
Please enter your name here