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.