https://nviewscareer.com/job/phd-scholarships-2-in-verification-of-concurrent-and-distributed-applications-dtu-compute-denmark-2022/