19 software-verification PhD positions