PhD student focusing on Scalable Quantum Program Verification — Uppsala University | SciFind