PhD Position in Probabilistic Session Types at the IT University of Copenhagen

1.gif Used to count the number of sessions to the website, necessary for optimizing CMP product delivery. Maximum Storage Duration: Session Type: Pixel Tracker

HRMTS.Session.Candidate Identification of job applicants during return visits. Maximum Storage Duration: Session Type: HTTP Cookie

ARRAffinity Used to distribute traffic to the website on several servers in order to optimise response times. Maximum Storage Duration: Session Type: HTTP Cookie

ARRAffinitySameSite Used to distribute traffic to the website on several servers in order to optimise response times. Maximum Storage Duration: Session Type: HTTP Cookie

Maximum Storage Duration: Persistent Type: HTML Local Storage

Maximum Storage Duration: Persistent Type: HTML Local Storage

Some of the data collected by this provider is for the purposes of personalization and measuring advertising effectiveness.

Maximum Storage Duration: Session Type: HTML Local Storage

__cf_bm Used to determine whether the user is a real person or a software robot - This enables the creation of valid reports about the use of the website. Maximum Storage Duration: 1 day Type: HTTP Cookie

__VAST__ Necessary for the implementation of video-content on the website. Maximum Storage Duration: Persistent Type: HTML Local Storage

Some of the data collected by this provider is for the purposes of personalization and measuring advertising effectiveness.

Maximum Storage Duration: Persistent Type: HTML Local Storage

_ga Registers a unique ID that is used to keep statistics on how the visitor uses the website. Maximum Storage Duration: 399 days Type: HTTP Cookie

_ga_# Registers a unique ID that is used to keep statistics on how the visitor uses the website. Maximum Storage Duration: 399 days Type: HTTP Cookie

nmstat Ireland (sufficient) Secure third country under GDPR (EU) Maximum Storage Duration: 1 year Type: HTTP Cookie

snowplowOutQueue_#_post2 Registers statistical data on users' behaviour on the website. Used for internal analytics by the website operator. Maximum Storage Duration: Persistent Type: HTML Local Storage

snowplowOutQueue_#_post2.expires Registers statistical data on users' behaviour on the website. Used for internal analytics by the website operator. Maximum Storage Duration: Persistent Type: HTML Local Storage

_sp_root_domain_test_#[x2] Registers statistical data on users' behaviour on the website. Used for internal analytics by the website operator. Maximum Storage Duration: Session Type: HTTP Cookie

ontame_id.7000[x2] Pending Maximum Storage Duration: 1 year Type: HTTP Cookie

ontame_ses.7000 Pending Maximum Storage Duration: 1 day Type: HTTP Cookie

AWSALB Contains information about which server cluster the user uses. This is used in conjunction with load-balancing to optimize the user experience on the website. Maximum Storage Duration: 7 days Type: HTTP Cookie

AWSALBCORS Contains information about which server cluster the user uses. This is used in conjunction with load-balancing to optimize the user experience on the website. Maximum Storage Duration: 7 days Type: HTTP Cookie

global.siteimproveanalytics.io Contains information about which server cluster the user uses. This is used in conjunction with load-balancing to optimize the user experience on the website. Maximum Storage Duration: 7 days Type: HTTP Cookie

image.aspx Pending Maximum Storage Duration: Persistent Type: Pixel Tracker

_hrmts_locationString Identification of job applicants during return visits. Maximum Storage Duration: Session Type: HTTP Cookie

DEVICE_INFO Used to collect data regarding the user's interaction with embedded content. Maximum Storage Duration: 179 days Type: HTTP Cookie

lastExternalReferrer Detects how the user reached the website by registering their last URL-address. Maximum Storage Duration: Persistent Type: HTML Local Storage

lastExternalReferrerTime Detects how the user reached the website by registering their last URL-address. Maximum Storage Duration: Persistent Type: HTML Local Storage

Some of the data collected by this provider is for the purposes of personalization and measuring advertising effectiveness.

_gat Used to send data to Google Analytics about the visitor's device and behavior. Tracks the visitor across devices and marketing channels. Maximum Storage Duration: 1 day Type: HTTP Cookie

_gid Used to send data to Google Analytics about the visitor's device and behavior. Tracks the visitor across devices and marketing channels. Maximum Storage Duration: 1 day Type: HTTP Cookie

sp Used to implement audio-content from Spotify on the website. Can also be used to register user interaction and preferences in context with audio-content - This can serve statistics and marketing purposes. Maximum Storage Duration: 1 year Type: HTTP Cookie

YSC Attempts to estimate user bandwidth on pages with embedded YouTube video. Maximum Storage Duration: Session Type: HTTP Cookie

ytidb::LAST_RESULT_ENTRY_KEY Saves the user's video player preferences when playing an embedded YouTube video Maximum Storage Duration: Session Type: HTTP Cookie

_fbp[x2] Used by Facebook to deliver a series of advertisement products such as real time bidding from third party advertisers. Maximum Storage Duration: 3 months Type: HTTP Cookie

List of domains your consent applies to: candidate.hr-manager.net/

[#IABV2_TITLE#] [#IABV2_BODY_INTRO#]

[#IABV2_TITLE#] [#IABV2_BODY_INTRO#] [#IABV2_BODY_LEGITIMATE_INTEREST_INTRO#] [#IABV2_BODY_PREFERENCE_INTRO#] [#IABV2_BODY_PURPOSES_INTRO#] [#IABV2_BODY_PURPOSES#] [#IABV2_BODY_FEATURES_INTRO#] [#IABV2_BODY_FEATURES#] [#IABV2_BODY_PARTNERS_INTRO#] [#IABV2_BODY_PARTNERS#]

About

Do not sell or share my personal information

Your current state: Do not sell or share my personal information.

Your current state: Allow selection(Necessary , Preferences , Statistics , Marketing ).

PhD Position in Probabilistic Session Types at the IT University of Copenhagen

The IT University of Copenhagen invites applications for a PhD position in thePROBABILISTproject (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter.

The right candidate will contribute to advancing the theory and practice ofprobabilistic session types, a formal framework for reasoning aboutcorrectness, reliability, and expressiveness in distributed systems with probabilistic behaviour.

Project Description
Modern distributed systems increasingly integrateprobabilistic models, AI-driven components, and stochastic decision-making. Traditional methods for ensuring correctness struggle to capture such uncertainty, leading to challenges incommunication-based systems. PROBABILISTaims at developing afoundational approach to probabilistic session types, supporting rigorous analysis of properties relevant toconcurrent 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:

• AMaster's degree(or equivalent) inComputer Science, Mathematics, or a closely related field.
• Background informal methods, programming languages, distributed systems, or probabilistic models.
• Experience withproof assistants (e.g., Coq), type systems, or model checkingis 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 atthe IT University of Copenhagen, focussing onprogramming languages, distributed systems, and verification. The project provides opportunities to engage withinternational 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

The IT University might upon request in in the interviewprocesscontact 1-2 references.

Please note that all application material will be destroyed after the assessment.

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 valuableresource. We want to ensure an inclusive working environment for all our employeesandencourageall qualified applicants, regardless of age, gender, religious affiliation, or ethnic background to apply for the position.

IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S www.itu.dk

The IT University of Copenhagen (ITU) was established in 1999 and is Denmark's leading university focusing on IT research and education. We deliver state-of-the-art teaching and research within computer science, business IT and digital design.

Our ambition is to create and share knowledge that is profound and leads to ground-breaking information technology and services for the benefit of humanity.

The university collaborates closely with industry, the public sector and international researchers and is characterized by a strong entrepreneurial spirit among students as well as researchers.

ITU's modern campus in central Copenhagen is designed by the world-renowned Danish architect Henning Larsen.

ITU in numbers

• 2600 students