PhD Stipend in Programming Semantics, Verification, and Reliability of Classical and Quantum Communication Systems

This PhD stipend at Aalborg University, Denmark, is offered by the Technical Faculty of IT and Design, Department of Computer Science, in collaboration with the Center for Classical Communication in the Quantum Era (CLASSIQUE). The position focuses on advancing theories for programming semantics, verification methods, and reliability assurance for systems that combine classical and quantum communication and computing, with particular attention to their timing performance. CLASSIQUE is a pioneering research initiative led by Professor Petar Popovski, aiming to revolutionize communication systems for the quantum age. The center addresses the challenge of evolving classical networks to support both traditional data and quantum information, considering the unique constraints of quantum resources such as decoherence and volatility. The research environment is highly interdisciplinary, integrating expertise from communication theory, networking, information theory, physics, mathematics, computer science, and statistics. The PhD project is part of Research Thrust RT4, focusing on Reliability and Trustworthiness. Key research topics include the design and semantics of distributed quantum programming and modelling languages, deduction methods for quantum program properties, reduction methods and metrics for quantum systems, decision diagrams for efficient analysis and simulation, and statistical model checking for approximate analysis of distributed quantum systems. The successful candidate will join the DEIS Research Group within CLASSIQUE, led by Professor Kim Guldstrand Larsen. The supervisory team will include experts from electronic systems, computer science, and mathematics, supporting the interdisciplinary nature of the project. Aalborg University is internationally recognized for its academic quality and societal impact, with a diverse and collaborative research environment. Applicants must hold a Master's degree in computer science, mathematics, electrical engineering, communications engineering, or a related field. Required skills include strong analytical and computer science abilities, experience in modelling and verification, programming language theory, or quantitative model checking. Programming experience in C++, Python, or Matlab is expected, and familiarity with quantum simulators such as NetSquid is advantageous. Candidates should be familiar with basic quantum computing concepts and demonstrate curiosity and readiness to collaborate within interdisciplinary teams. The position offers full employment benefits, including a competitive salary in accordance with Danish university regulations and the AC collective agreement. The PhD stipend is for three years, with enrollment at the Technical Doctoral School of IT and Design. The application deadline is January 31, 2026, and the position is open for appointment from March 1, 2026, or as soon as possible thereafter. To apply, candidates must submit their application via Aalborg University's recruitment system, including a cover letter, CV, diplomas, and a one-page research vision statement. For further information, applicants can contact Professor Kim Guldstrand Larsen or Annemarie Davidsen. The university encourages diversity and welcomes applicants from all backgrounds. For more details, visit the CLASSIQUE center website and the Department of Computer Science at Aalborg University.