PhD Student in Scalable Quantum Program Verification at Uppsala University PhD Position, Quantum Technology Sweden Full Time