PhD Stipend/Integrated Stipend in programming semantics, verification andreliability assurance of combined classical and quantum communicating andcomputing systems (DEIS)

At the Technical Faculty of IT and Design, Department of Computer Science, one PhD
stipend/Integrated PhD stipend in theories for programming semantics, methods
for verification and reliability assurance of combined classical and quantum
communicating and computing systems as well as their timing performance is
available within the general study programme Computer Science.

The stipends are open for appointment from March 1, 2026, or soon as possible thereafter.

The stipends are available for 3 or 4 years depending on whether the applicant already
holds a master’s degree. Applicants who hold a master’s degree can apply for a 3-year
position, and applicants who have finished 4 years of full-time studies but do not hold a
Master’s degree can apply for a 4 years integrated PhD stipend. The Integrated PhD
stipends are only open for appointment with starting date 1 September 2025.

Your work tasks and your competences

Qualification requirements
PhD stipends are allocated to individuals who hold a Master's degree. PhD stipends are normally for a period of 3 years. It is a prerequisite for allocation of the stipend that the candidate will be enrolled as a PhD student at the Technical Doctoral School of IT and Design in accordance with the regulations of Ministerial Order No. 1124 of September 19, 2025 on the PhD Programme at the Universities and Certain Higher Artistic Educational Institutions. According to the Ministerial Order, the progress of the PhD student shall be assessed at regular points in time.

Who we are    
In Computer Science, Aalborg University is known worldwide for its high academic quality
and societal impact. The Department of Computer Science employs more than 170 people,
of which about 53 are PhD students, and about 47 % of all employees are internationals. In
total, it has more than 1200 students in its BSc and MSc programs, which are based on
AAU's problem-based learning model. The department leverages its unique research
infrastructure and lab facilities to conduct world-leading fundamental and applied research
within verification and model checking, embedded and cyber-physical systems, data-
intensive systems, AI, planning, networks, programming theory, and security. Applications
span areas such as energy, transport, health and water. The department plays an active
role in transferring inventions and results into applications in close collaboration with
industrial partners worldwide. You can read more about the department at www.cs.aau.dk

How to apply
Your application must include the following:

• Application, stating reasons for applying and qualifications in relation to the position
• Curriculum Vitae (CV)
• Diplomas (bachelor and master's degree diploma)
• Project description: Applicants are required to submit, along with their application documents, a one-page statement, indicating their vision for research to be conducted in relation to the project topics outlined above
• Other relevant documents

The application must be submitted via Aalborg University’s recruitment system, which can be accessed under the job advertisement on Aalborg University's website. 

Aalborg University wants to reflect the surrounding society and has diversity as a core value. Therefore, everyone, regardless of personal background and orientation, is encouraged to apply for the position.

Do you have any questions?     
If you have any questions about the position, you are more than welcome to contact us. You will find contact persons at the bottom of the jobpost.

Further information  
We recommend that you save a copy of the job posting, as it will be removed once the application deadline has passed.  

The assessment of candidates for the position will be carried out by qualified experts.
Shortlisting will be applied. This means that after the application deadline, the head of the department, with the assistance of the hiring committee, will select the applicants to be assessed. All applicants will be informed whether they have been shortlisted for assessment or not.

The hiring process at Aalborg University may include a risk assessment as a tool to identify potential risks associated with new hires, ensuring the safety, compliance, and integrity of the workplace.

The successful candidate will be hosted by the DEIS Research Group that is part of the
CLASSIQUE center. This group is led by Prof. Kim Guldstrand Larsen, who also heads
Research Thrust 4 (RT34) within the center. A dedicated supervisory team composed of
experts from the departments of electronic systems, computer science, and mathematics
will be assembled to support the interdisciplinarity of the PhD project. The CLASSIQUE
Center provides a world-class research environment, outstanding working and networking
opportunities, and full employment benefits, including a competitive salary

Read more about The Technical Doctoral School of IT and Design

Salary and terms of employment
The employment is in accordance with the Ministerial Order on the Appointment of Academic Staff at Universities (the Appointment Order) and the Ministerial Order on Job Structure for Academic Staff at Universities (in Danish) and protocol on certain terms of employment of academic staff at universities (in Danish). 

Salary and terms of employment are in accordance with the collective agreement between the Danish Confederation of Professional Associations and the state (AC collective agreement) (in Danish) and protocol on certain terms of employment of academic staff at universities (in Danish).