7 software-verification-phd "LIST" PhD positions