10 software-verification-computer-science Postgraduate scholarships at Princeton University