Skip to main content

Dear users and visitors,


this website has been migrated to a new one hosted by EURO.

Please, visit our new website for updated contents:

Soon this website will be not available anymore.


VeRoLog team


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.