Dear colleagues, please note the following announcement regarding a PhD Position in Formal methods in control (Universität Münich, Germany).