17 software-formal-method-phd "DIFFER" Postdoctoral positions