1 quantum-computing "https:" "https:" "https:" PhD scholarships at Uppsala universitet in Sweden

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 22 days ago

these areas (UPPAAL, Concuerror, Nidhugg and other tools), publishing in top conferences such as POPL, PLDI, ICALP and CAV. Project description As both private and public investment in quantum computing