11 formal-method-phd scholarships in Denmark