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.
Applicants are expected to have a strong interest in dynamical systems and control. A Masters degree (or equivalent, giving access to doctoral studies) in a related field such as Systems and Control, Computer Science, or Mathematics, with a strong theoretical background and an excellent academic record, as well as proficiency in programming (C or Ada) and excellent communication skills in English are required. Experience in one of the following fields would
be a plus: Nonlinear dynamical systems; formal methods in control; reactive synthesis; set-valued or validated numerics; dynamic programming; game theory; modeling and control of UAVs; professional-grade software development. Competitive salary is offered according to the tariff “TVOeD Bund, E 13”.
Further details at the attached file: