3 software-verification PhD positions at The University of Edinburgh in United Kingdom
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
Deadline: 30 September 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
infrastructure. For reduced (CapEx) costs, greater flexibility and faster evolution, mobile core/radio network functions today are largely realised in software over commodity computing hardware in private/public
Searches related to software verification
Enter an email to receive alerts for software-verification positions