2 software-verification PhD scholarships in Denmark