30 formal-method-phd Postdoctoral research jobs at Technical University of Denmark