PhD student focusing on Scalable Quantum Program Verification

PhD Student Focusing on Scalable Quantum Program Verification Are you interested in working in formal verification and programming language techniques applied to quantum systems, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in a sustainable working environment and offers safe, favourable working conditions? We welcome you to apply for a PhD position at the Department of Information Technology, Uppsala University. The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, with 350 employees, including 120 teachers and 120 PhD students.