1 software-formal-method-phd scholarships at Technical University of Denmark in Denmark