29 formal-verification-computer-science PhD positions at University of Southern Denmark in Denmark