<br><br>---------- Forwarded message ----------<br>From: <b>Gunther Reissig</b> <<a href="mailto:gunther.reissig@unibw-muenchen.de">gunther.reissig@unibw-muenchen.de</a>><br>Date: Thursday, January 26, 2017<br>Subject: PhD position (Munich, Germany), ref 1777<br>To: <a href="mailto:cenap.ozel@gmail.com">cenap.ozel@gmail.com</a><br><br><br>Dear Cenap Ozel,<br>
I would like to point you to the announcement of a PhD position,<br>
and I would appreciate if you could advertise or distribute it.<br>
The announcement is attached as a pdf file. Plain text<br>
versions can be found at the end of this email as well as at the<br>
following address:<br>
<br>
<a href="https://www.linkedin.com/pulse/phd-position-formal-methods-control-munich-germany-gunther-reissig" target="_blank">https://www.linkedin.com/<wbr>pulse/phd-position-formal-<wbr>methods-control-munich-<wbr>germany-gunther-reissig</a><br>
<br>
Thank you.<br>
<br>
Sincerely,<br>
Gunther Reissig<br>
<br>
==============================<wbr>==============================<wbr>========<br>
Gunther Reißig, Dr. habil.<br>
Privatdozent<br>
Head, Control Laboratory of the Chair of Control Engineering<br>
<br>
University of the Federal Armed Forces Munich<br>
Department of Aerospace Engineering<br>
LRT-15, Institute of Control Engineering<br>
<br>
85577 Neubiberg (Munich)<br>
Germany<br>
------------------------------<wbr>------------------------------<wbr>--------<br>
E-Mail: <a href="javascript:;" onclick="_e(event, 'cvml', 'guntherABCD@reiszig.de')">guntherABCD@reiszig.de</a> (replace "ABCD" with current calendar year)<br>
WWW: <a href="http://www.reiszig.de/gunther/" target="_blank">http://www.reiszig.de/gunther/</a><br>
FAX: +49-89-6004-4565<br>
Skype: guntherreissig<br>
==============================<wbr>==============================<wbr>========<br>
<br>
PhD position: Formal methods in control (Munich, Germany)<br>
==============================<wbr>===========================<br>
<br>
We invite applications for a doctoral researcher position in the<br>
field of formal methods in control. The successful candidate is<br>
expected to advance theory of as well as computational methods for<br>
abstraction-based controller synthesis, to a degree that facilitates<br>
routine, fully automated, practical application of the approach to<br>
nonlinear continuous-state plants and complex specifications. The<br>
focus is on synthesis algorithms that are both efficient and formally<br>
correct.<br>
<br>
The project involves theoretical work, algorithm and software<br>
development, and, on a small scale, experimental work. There is no<br>
teaching requirement and no coursework to be completed. Competitive<br>
salary is offered according to the tariff ``TVOeD Bund, E 13''.<br>
<br>
Required qualifications:<br>
* MSc degree (or equivalent, giving access to doctoral studies) in<br>
Electrical Engineering, Mathematics, Computer Science, or a related<br>
field. Students about to complete their MSc will also be considered.<br>
* Excellent academic record, showing a strong theoretical/mathematical<br>
background and a strong interest in dynamical systems.<br>
* Proficiency in programming (C or Ada/SPARK).<br>
* Excellent communication skills in English (CEFR level C1).<br>
<br>
In addition, experience in one of the following fields would be a<br>
plus: Set-valued or validated numerics; dynamic programming;<br>
formal methods in control; reactive synthesis;<br>
professional-grade software development.<br>
<br>
Your complete application consists of the following documents, which<br>
should be sent as a single PDF file to the email address given below<br>
(deadline: Feb 15, 2016):<br>
<br>
* CV with photo<br>
* One-page cover letter (clearly indicating available start date as<br>
well as relevant qualifications, experience and motivation)<br>
* University certificates and transcripts (both BSc and MSc degrees)<br>
* Contact details of up to three referees<br>
* Possibly an English language certificate and a list of publications<br>
<br>
All documents should be in English, with the exception of university<br>
certificates and transcripts, which may also be in German. The<br>
position is open to applicants worldwide; no special security<br>
clearance necessary.<br>
<br>
Priv.-Doz. Dr. habil. Gunther Reissig<br>
Email: <a href="javascript:;" onclick="_e(event, 'cvml', 'gunther2014@reiszig.de')">gunther2014@reiszig.de</a>, Subject: PhD ref 1777<br>
Web: <a href="http://www.reiszig.de/gunther/" target="_blank">http://www.reiszig.de/gunther/</a><br>
<br>
University of the Armed Forces Munich, Germany<br>
Department of Aerospace Engineering<br>
Institute of Control Engineering<br>