61 verification-computer-science-"Multiple" PhD scholarships at Technical University of Denmark