2 software-formal-method-phd "https:" Undergraduate positions at Princeton University