PhD position in Probabilistic Session Types at the IT University of Copenhagen
2 weeks ago
The right candidate will contribute to advancing the theory and practice of probabilistic session types, a formal framework for reasoning about correctness, reliability, and expressiveness in distributed systems with probabilistic behaviour.
Project Description
Modern distributed systems increasingly integrate probabilistic models, AI-driven components, and stochastic decision-making. Traditional methods for ensuring correctness struggle to capture such uncertainty, leading to challenges in communication-based systems. PROBABILIST aims at developing a foundational approach to probabilistic session types, supporting rigorous analysis of properties relevant to concurrent systems with probabilistic behaviour. The project aims to bridge formal methods, programming languages, and concurrency theory.
Candidate Profile
We seek a highly motivated candidate with:
- 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.
- Experience with proof assistants (e.g., Coq), type systems, or model checking is an advance.
- A collaborative mindset and enthusiasm for research.
If you are unsure whether your profile fits, feel free to reach out before applying.
Research Environment
The PhD student will join the Programming, Logic, and Semantics (PLS) research group, a dynamic research team at the IT University of Copenhagen, focussing on programming languages, distributed systems, and verification. The project provides opportunities to engage with international researchers and partners.
General information
The IT University of Copenhagen (ITU) is a teaching and research-based tertiary institution concerned with information technology (IT) and the opportunities it offers. The IT University has more than 160 full-time Faculty members. Research and teaching in information technology span all academic activities which involve computers including computer science, information and media sciences, humanities and social sciences, business impact and the commercialization of IT.
Working at the IT University
Located in modern architecture, a 6-minute metro ride from the center of Copenhagen, the IT University offers an informal working environment, a varied everyday life, and a highly motivated, competent, and diverse international faculty, with PhD degrees from 17 different countries. The IT University is an equal opportunity employer and prides itself in actively and pursuing an improved gender balance among students and among faculty.
Working in Copenhagen
Copenhagen has a solid educational system, a rich cultural life, universal healthcare, good childcare, and well-functioning infrastructure. Copenhagen is among the world's most livable cities according to the Economist Global Liveability Index. Living and working in Copenhagen will be a good experience for you and your family.
Salary and terms of employment
Appointment and salary will be in accordance with the Ministry of Taxation's agreement with the Danish Confederation of Professional Associations (AC) and job structure for academic staff at Universities.
Qualification Requirements
The following qualifications are required:
- 3 year programme: candidates should have a MSc (or equivalent)
- 4 year programme: candidates should have a BSc and one year of university studies on Master level
The applicants will be employed and enrolled at the ITU University for a period of 3 or 4 years depending on the university degree level of the applicant.
Application
The application and all other documents ought to be in English and must include:
- A motivated application (cover letter), including a detailed description of your qualifications
- A statement of purpose, which provides evidence of independent thinking, novelty and originality, of the targeted research field matching the project description
- A full CV, including name, address, phone number, e-mail, previous and present employment and academic background
- Documentation of academic degrees (copy of degree certificates etc.)
- Relevant scientific publication or/and master thesis written by the applicant
- Documentation of English proficiency
Applications without the above-mentioned required documents will not be assessed.
The applicant will be accessed according to the Appointment Order from the Ministry of Science, Technology and Innovation of 13 March 2012.
The IT University may use shortlisting in connection to the recruitment process. In case of shortlisting, the Chair of the hiring committee selects applicants for assessment in consultation with the hiring committee after the application deadline. All applicants are notified whether their application has been passed for assessment. The shortlisting of candidates for assessment is based on the criteria in the job posting.
Further information
Questions about the positions can be directed to Full Professor, Marco Carbone, IT University of Copenhagen, maca@itu.dk. Early contact with our faculty staff is encouraged.
Questions related to the application procedure may be directed to HR, hr@itu.dk.
Application procedure
You can only apply for this position through our e-recruitment system. Apply by pressing the button "Apply for position" in the job announcement on our website: http://en.itu.dk/About-ITU/Vacancies
Please read the guidelines for applicants carefully before filling in the application form. You can see the guidelines through this link: https://en.itu.dk/Research/PhD-Programme/PhD-Admission-Requirements
The IT University might upon request in in the interview process contact 1-2 references.
Please note that all application material will be destroyed after the assessment.
Application deadline: 2 May 2025, at 23:59 CEST.
Applications/enclosures received at ITU after the application deadline will not be taken into consideration. If you submit an application, it is your responsibility to ensure that it arrives before the deadline so please allow sufficient time for upload of publications and other documents.
At The IT University of Copenhagen we have an international environment and view diversity as a valuable resource. We want to ensure an inclusive working environment for all our employees and encourage all qualified applicants, regardless of age, gender, religious affiliation, or ethnic background to apply for the position.
Please note in your application that you found the job at Jobindex
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeThe Algorithms group at IT University of Copenhagen invites highly motivated persons for one funded postdoc position in Algebraic Complexity Theory starting 1 July 2025 or soon thereafter.The position is funded by Independent Research Fund Denmark (Danmarks Frie Forskningsfond DFF) grant led by Nutan Limaye.Job descriptionThe postdoc position is a full-time...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeAbout the RoleThe Algorithms group at IT University of Copenhagen invites highly motivated researchers to apply for a postdoctoral position in algebraic complexity theory. The position is part of an exciting research project focusing on understanding the power of algebraic formulas.Job DescriptionThe successful candidate will be expected to conduct...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeThe IT University of Copenhagen invites highly motivated individuals to apply for a Postdoc position in HCI and Videogames Theory at IT University of Copenhagen.Job descriptionInterdisciplinary fields such as Human-Computer Interaction (HCI) and Game Design have imported theory from a variety of disciplines, such as psychology and design, but also developed...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeThe NERDS (NEtwoRks, Data, and Society) team at the IT University of Copenhagen welcomes applications from aspiring PhD students and postdocs in the areas of Data Science, Mathematical Modeling, and Network Science with applications to inference, forecasting, and mitigation in future epidemics. Starting date 1 September 2025 or soon thereafter.ProjectThe...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeDuration: 1 year in academic year 2025/2026 (e.g. 01.08.2025-31.07.2026)The Play, Culture and AI Section at the IT University of Copenhagen invites candidates to apply for a visiting professorship. We invite applicants on all levels of seniority, i.e. assistant, associate, and full professor. The proposed starting date is August 2025 or soon thereafter. The...
-
København S, Copenhagen, Denmark KU - JUR - Fakultetet, Co Søndre Campus Full timeThe Faculty of Law, University of Copenhagen, is seeking applications for a Postdoc position in credibility and Nordic asylum law. The position is part of the Nordic Asylum Law & Data Lab and the Postdoc will form part of an interdisciplinary team composed of sociolegal scholars and computer scientists working on the Explainable Artificial Intelligence and...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeAbout the ProjectThe Algorithms group at IT University of Copenhagen is seeking a postdoctoral researcher to join an exciting project focused on understanding the power of algebraic formulas. This research project has the potential to make significant contributions to the field of computational complexity theory.Job DescriptionThe successful candidate will...
-
København S, Copenhagen, Denmark KU - HUM - Fakultetet Full timeThe Center for Applied Ecological Thinking (CApE), based at the Department of Cross-Cultural and Regional Studies, Faculty of Humanities, University of Copenhagen, Denmark, invites applications for a position as Postdoc. The position is funded by the V. Kann Rasmussen Foundation as part of CApE's staff. The successful candidate will work closely with the...
-
København S, Copenhagen, Denmark KU - HUM - Fakultetet Full timeThe Center for Applied Ecological Thinking (CApE), based at the Department of Cross-Cultural and Regional Studies, Faculty of Humanities, University of Copenhagen, Denmark, invites applications for a position as Postdoc. The position is funded by the V. Kann Rasmussen Foundation as part of CApE's staff. The successful candidate will work closely with the...
-
København Ø, Copenhagen, Denmark KU - SCIENCE - BIO Full timeDepartment of Biology, Faculty of Science at the University of Copenhagen is offering a PhD position working at the interface of protein design and insect physiology commencing 01.08.2025.Description of the scientific environmentThe Halberg lab at the University of Copenhagen is looking to recruit a highly talented and motivated PhD candidate for our group....
-
København S, Copenhagen, Denmark KU - HUM - Fakultetet Full timeDepartment of English, Germanic and Romance Studies (EGR) at the University of Copenhagen is offering a 22-month postdoc position commencing 1 September 2025 or as soon as possible thereafter. We are looking for a candidate with a background in sociolinguistics, (linguistic) anthropology or related fields, with experience in ethnography and preferably also...
-
København S, Copenhagen, Denmark KU - HUM - Fakultetet Full timeThe Department of Communication, Faculty of Humanities, University of Copenhagen (UCPH), invites applications for a postdoctoral position in digital infrastructure studies from August 2025.The position is a fixed term position for 2 full year.IntroductionAs a postdoctoral researcher in the DFF/Inge Lehmann-funded research project 'Infrastructural Power in...
-
Postdoctoral position in Law and Humanities
4 weeks ago
København S, Copenhagen, Denmark KU - JUR - Fakultetet, Co Søndre Campus Full timeThe Faculty of Law, University of Copenhagen, is seeking applications for one postdoctoral candidate as part of the interdisciplinary project "Home in Crisis" funded under a joint call "Crisis – Perspectives from the Humanities" launched by Humanities in the European Research Area (HERA) and the Collaboration of Humanities and Social Sciences in Europe...
-
København Ø, Copenhagen, Denmark KU - SUND - TEILUM - Kbh Ø Full timeFaculty of Health and Medical Sciences, University of CopenhagenThe Department of Forensic Medicine is offering a three-year PhD fellowship. The PhD fellowship is conditioned on enrolment as PhD-student. The PhD fellowship is within the field of age estimation in the forensic context and is available from August 1st, 2025 or as soon as possible hereafter.Our...
-
Game Development and Design Faculty Position
5 days ago
København S, Copenhagen, Denmark IT-Universitetet i København Full timeThe Play, Culture and AI Section at the IT University of Copenhagen seeks a talented scholar to join our faculty as a visiting professor. The position offers a unique opportunity to contribute to the development of novel theories and methods for the study of play and games in the 21st Century.About the Center for Digital PlayThe Center for Digital Play (CDP)...
-
København S, Copenhagen, Denmark KU - JUR - Fakultetet, Co Søndre Campus Full timeThe Faculty of Law, University of Copenhagen, is seeking a highly qualified postdoctoral researcher to join the interdisciplinary project "Home in Crisis". This project aims to explore the concept of home in the context of climate crisis, using a humanities-approach-to-law.Project Overview"Home in Crisis" is a partnership between the University of...
-
København Ø, Copenhagen, Denmark KU- SCIENCE - CHEM og MATH og NBI-HCØ Full timeThe University of Copenhagen's Niels Bohr Institute is seeking a talented PhD researcher to contribute to a cutting-edge project on Condensate Formations and Oscillatory Protein Concentrations in Cell Regulation.About the TeamThe Niels Bohr Institute's Section for Biocomplexity and Biophysics is a vibrant and international community of researchers dedicated...
-
København Ø, Copenhagen, Denmark KU- SCIENCE - CHEM og MATH og NBI-HCØ Full timeThe Niels Bohr Institute, Section for Biocomplexity and Biophysics, invites applicants for a PhD fellowship in Condensate Formations and Oscillatory Protein Concentrations in Cell Regulation. The project is part of a research grant financed by the Novo-Nordisk Foundation.Start date is 1 August 2025 or as soon as possible thereafter.The projectIn this PhD...
-
København S, Copenhagen, Denmark IT-Universitetet i København Full timeCompany OverviewThe IT University of Copenhagen is a teaching and research-based tertiary institution focused on information technology (IT) and its applications. Our faculty members come from diverse backgrounds, and we strive to create an inclusive working environment that values diversity and promotes equal opportunities.Job SummaryWe invite you to join...
-
København S, Copenhagen, Denmark KU - HUM - Fakultetet Full timeThe Center for Applied Ecological Thinking at the University of Copenhagen is seeking a highly skilled postdoctoral researcher to contribute to its mission of developing and applying humanities-based approaches to address urgent ecological crises.About UsWe are a research center that applies knowledge of culture, ethics, history, communication, imagination,...
