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.