73 software-verification-phd "https:" uni jobs