4 software-verification-phd positions in Denmark