4 software-verification PhD positions in Denmark