PhD student focusing on Scalable Quantum Program Verification Login and apply Uppsala University, Department of Information Technology 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…