1 environmental "University of Amsterdam" PhD positions

PhD in Formal Methods for Quantum Compilation (1.0 FTE)

://www.cs.leiden.edu . QuSoft The research hub QuSoft is a collaboration between the University of Amsterdam and the Dutch Centre for Mathematics and Computer Science (CWI). QuSoft’s mission is to develop new protocols