Skip to main content

Job Offers

PhD position: Formal methods in control (Munich, Germany)

We invite applications for a doctoral researcher position in the field of formal methods in control. The successful candidate is expected to advance theory of as well as computational methods for
abstraction-based controller synthesis, to a degree that facilitates routine, fully automated, practical application of the approach to nonlinear continuous-state plants and complex specifications. The
focus is on synthesis algorithms that are both efficient and formally correct.

Call for applications for 6 PhD fellowships

A call for applications is now open for 6 PhD fellowships in the PhD program ‘Analytics for economics and business (AEB)’, co-organized by the Universities of Bergamo and Brescia. Operations research is one of the areas the winners may choose to specialize in. The deadline for applications is June 9, 2016. For details on how to apply, follow the link