Postdoctoral position in quantum verification