University of the Armed Forces Munich, Germany
Gunther Reissig

Open to applicants worldwide; no special security clearance necessary.

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
project involves theoretical work, software development, and, on a
small scale, experimental work.

For details, see:
https://www.linkedin.com/pulse/phd-position-formal-methods-control-gunther-reissig