University of the Armed Forces Munich, Germany
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: