43 software-formal-method-phd Postdoctoral research jobs