5 software-verification-phd PhD scholarships