At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position 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 and open for appointment from March 1, 2026, or soon as possible thereafter.  

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.

The Center for Classical Communication in the Quantum Era (CLASSIQUE) is a pioneering research initiative at Aalborg University, Denmark, and is headed by Prof. Petar Popovski. The center aims to revolutionize communication systems for the quantum age. As quantum technologies rapidly advance, CLASSIQUE focuses on a critical challenge: how to evolve classical communication networks to support both traditional data and the unique requirements of quantum information systems (https://www.classique.aau.dk). CLASSIQUE will address a suite of fresh research challenges defined by the intersection of digital applications that have real-time requirements and quantum resources that are time-constrained due to the decoherence and volatility. CLASSIQUE is organized into four research thrusts that rely upon interdisciplinary competences in: communication theory, networking, information theory, physics, mathematics, computer science, and statistics.

This Postdoc position falls under Research Thrust RT4 on Reliability and Trustworthiness. The objective is to explore and address research and design challenges that address the following (but are not limited to) challenges for quantum computing and communicating systems:

- Design and semantics of distributed quantum programming and modelling languages

- Sound and complete deduction methods for establishing properties of quantum  programs

- Reduction methods and metrics for quantum systems

- Decision diagrams for efficient analysis and simulation of distributed quantum programs

- Statistical model checking for approximate analysis of distributed quantum systems

Qualification requirements 
Appointment as postdoc requires academic qualifications at PhD level. 

Prospective applicants for position should have the following qualifications:

- PhD. degree in computer science, mathematics, electrical engineering, communications engineering

- Expertice and a strong profile in quantum computing.

- Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking.

- Experience in programming, e.g., in C++, Python or Matlab. Experience with quantum simulators, such as NetSquid, is a plus.

- Curiosity to research and develop new solutions in collaboration with senior and junior researchers within the research group and the Center CLASSIQUE;

- Readiness to collaborate with the researchers from other disciplines within the Center CLASSIQUE.

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.

How to apply  
Your application must include the following: 

• Application, stating reasons for applying, qualifications in relation to the position, and intentions and visions for the position 
• Curriculum Vitae (CV) 
• Diplomas (master's degree diploma and PhD diploma) 
• List of publications, with an indication of the attached publications that you wish to be taken into account in the assessment. You may attach a maximum of five publications. 
• Documentation of teaching qualifications. Depending on which faculty you are applying for employment, please see guidelines for teaching portfolio at The Technical Faculty of IT and Design, If this is not enclosed, the applicant must enclose the reasons for this .
• Dissemination qualifications, including participation on committees or boards, participation in organisations etc. 
• Additional qualifications in relation to the position 
• References/recommendations 

You can read more about the requirements for your application here.    

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 
Read more about our recruitment process here   

The appointment process at Aalborg University involves a shortlisting process. You can read more about the shortlisting and appointment process here.  

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. 

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) (only in Danish) and protocol on certain terms of employment of academic staff at universities (only in Danish). 

Aalborg University - Knowledge for the world
Aalborg University is an international workplace with more than 3,700 employees. We offer real-world-oriented education and create world-class research results through collaboration between researchers, students, and public and private companies. This is how we achieve insights, new solutions to societal problems, and knowledge that changes the world. Our main campus is in Aalborg, but we also have campuses in Esbjerg and Copenhagen.