9 software-formal-method-phd "https:" Postgraduate positions at Princeton University