PhD in electrical engineering

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./nThe position is at the Technical Faculty of IT and Design, Department of Computer Science, Aalborg University, and is part of the Center for Classical Communication in the Quantum Era (CLASSIQUE) and hosted by the DEIS Research Group./nResearch area falls under Research Thrust RT4 on Reliability and Trustworthiness. Start/appointment dates mentioned: available for appointment from March 1, 2026; Integrated PhD stipends only open for appointment with starting date 1 September 2025.