1 high-performance-quantum-computing-"https:" "https:" "https:" PhD positions at University of Groningen in Netherlands

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

on classical networks, quantum networks are slowly becoming a reality. The coordination algorithms that govern their operation are unlike those employed in classical networks, necessitating novel verification