<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Two Postdoc/PhD Research Positions in Munich, Germany<br class=""><br class="">We invite applications for two post-doctoral researcher positions in<br class="">the field of formal methods, in Munich, Germany, the city of the<br class="">Oktoberfest. The successful candidates are expected to advance the<br class="">state of the art of abstraction-based synthesis and verification, to<br class="">facilitate routine and efficient application of the<br class="">approach. Depending on background and interests of each candidate, the<br class="">research focus will be either on theoretical foundations, or on<br class="">algorithms and software development.<br class=""><br class="">Required qualifications:<br class=""><br class="">* PhD degree in Mathematics, Systems and Control, Computer Science,<br class=""> or a related field. Exceptionally qualified and experienced<br class=""> candidates with an MSc degree will also be considered.<br class=""><br class="">* Strong theoretical or mathematical background, and a strong interest<br class=""> in dynamical or control systems.<br class=""> In addition, experience in one of the following fields is required:<br class=""> Optimal control; semi-definite programming; quadrature theory;<br class=""> set-valued numerics; reachability analysis; validated floating-point<br class=""> arithmetic; compiler design; software development.<br class=""><br class="">* Programming proficiency (C or Ada or Mathematica).<br class=""><br class="">* Efficient communication skills in English.<br class=""><br class="">The position is full-time and paid according to pay scale ``TVOeD<br class="">Bund, E 14''. Actual income depends on marital status and professional<br class="">experience, and starts from EUR 35000 net p.a.<br class="">(E-13/EUR 32700 for applicants with an MSc degree). Reimbursement<br class="">for travel expenses to conferences. No teaching load. The positions<br class="">are available immediately and for a duration until December 2023, with<br class="">possible extension contingent on research performance. They are open<br class="">to applicants worldwide; no special security clearance necessary.<br class=""><br class="">Your complete application consists of the following documents, which<br class="">should be sent as a single PDF file to the email address given<br class="">below (deadline: December 22, 2021):<br class=""><br class="">* CV<br class="">* One-page cover letter (clearly indicating available start date as<br class=""> well as relevant qualifications, experience and motivation)<br class="">* University certificates and transcripts (BSc, MSc and PhD degrees)<br class="">* Up to three letters of recommendation<br class="">* List of publications<br class="">* Possibly an English language certificate<br class=""><br class="">All documents should be in English or German.<br class=""><br class="">Gunther Reissig<br class=""><a href="https://urldefense.com/v3/__http://www.reiszig.de/gunther/__;!!IKRxdwAv5BmarQ!JJcIIVLlGUo5I6YinK23eqevb9I0z5qNScIoA1wlpEvPW2cdLxqT9G3cySL8_m21$" class="">https://urldefense.com/v3/__http://www.reiszig.de/gunther/__;!!IKRxdwAv5BmarQ!JJcIIVLlGUo5I6YinK23eqevb9I0z5qNScIoA1wlpEvPW2cdLxqT9G3cySL8_m21$</a> <br class="">Email: <a href="mailto:gunther2016@reiszig.de" class="">gunther2016@reiszig.de</a>, Subject: Postdoc ref 9y23z<br class="">Bundeswehr University Munich, Germany<br class="">Department of Aerospace Engineering<br class="">Institute of Control Engineering</body></html>