5 software-formal-method-phd-"https:" Postgraduate research jobs at Princeton University