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:

https://www.euro-online.org/websites/verolog/

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.