There is a PhD scholarship available at the Institute of Control 
Engineering, University of the Armed Foces Munich, to do full time 
research in the field of abstraction-based synthesis. For details, see

https://www.linkedin.com/pulse/phd-scholarship-fully-automated-controller-synthesis-uav-reissig

Mit freundlichen Grüßen
Sincerely,
Regards,
Best regards,
Gunther Reißig

====================================================================
Gunther Reißig, Dr. habil.
Privatdozent
Head, Control Laboratory of the Chair of Control Engineering

University of the Federal Armed Forces Munich
Department of Aerospace Engineering
LRT-15, Institute of Control Engineering

D-85577 Neubiberg (Munich)
Germany
--------------------------------------------------------------------
E-Mail: [log in to unmask] (replace "ABCD" with current calendar year)
WWW:	http://www.reiszig.de/gunther/
FAX:    +49-89-6004-4565 
Skype:  guntherreissig
====================================================================