CAST10 Members,

I am forwarding an announcement of a PhD position at the University of Munich Institute of Control Engineering. 

Russ

R. Russell Rhinehart
Email: [log in to unmask]
Web: www.r3eda.com
Books: https://www.amazon.com/author/rrussellrhinehart
Short Courses: https://ceatpd.okstate.edu/node/174

Emeritus Professor
School of Chemical Engineering - 420 EN
Oklahoma State University
Stillwater, OK 74078-5021
Office: (405)744-5280
Email: [log in to unmask]


Plain text versions can be found at the end of this email as well as at the following address:

https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.linkedin.com%2Fpulse%2Fphd-position-formal-methods-control-munich-germany-gunther-reissig-1f%2F&data=02%7C01%7Crrr%40okstate.edu%7C7e65357d6bc949fc637c08d6be612501%7C2a69c91de8494e34a230cdf8b27e1964%7C0%7C1%7C636905721854697537&sdata=xVMtTPhRtcTgs5B4RhgdDEsQXWXF8CwKCghMt6EnJRs%3D&reserved=0

The position is under Gunther Reissig, Head, Control Laboratory of the Chair of Control Engineering

Bundeswehr University Munich
Department of Aerospace Engineering
LRT-15, Institute of Control Engineering

85577 Neubiberg (Munich)
Germany
--------------------------------------------------------------------
E-Mail: [log in to unmask] (replace "ABCD" with current calendar year)
WWW: https://nam04.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.reiszig.de%2Fgunther%2F&data=02%7C01%7Crrr%40okstate.edu%7C7e65357d6bc949fc637c08d6be612501%7C2a69c91de8494e34a230cdf8b27e1964%7C0%7C1%7C636905721854707546&sdata=tpSzUNlwmkjm1GeToLIIvOO6IgbF%2FtLQsKOMY3DwXho%3D&reserved=0
FAX: +49-89-6004-4565
Skype: guntherreissig
====================================================================

PhD position: Formal methods in control (Munich, Germany) =========================================================

We invite applications for a doctoral researcher position in the field of formal methods in control. The successful candidate is expected to advance the state of the art of abstraction-based synthesis and verification, to facilitate routine and efficient application of the approach to nonlinear continuous-state plants and complex specifications. Depending on background and interests of the candidate, the research focus will be either on algorithms and software development, or on theoretical foundations.

Required qualifications:
* MSc degree (or equivalent, giving access to doctoral studies) in
Mathematics, Systems and Control, Computer Science, or a related
field. Students about to complete their MSc will also be considered.
* Strong theoretical or mathematical background, and a strong interest
in dynamical or control systems.
* Programming skills.
* Efficient communication skills in English.

In addition, an intended focus on algorithms and software requires past exposure to and strong interest in professional-grade software development, while for a focus on theoretical foundations a strong mathematical or theoretical background is needed. Experience in one of the following fields would be a plus but is not necessarily required:
Set-valued or validated numerics; dynamic programming; formal methods in control; reactive synthesis; information-based complexity / optimal recovery.

The position is full-time and paid according to pay scale ``TVOeD Bund, E 13''. Initial appointment is for two years, with possible extension contingent on availability of funds and research performance. The position is open to applicants worldwide; no special security clearance necessary.

Your complete application consists of the following documents, which should be sent as a single PDF file to the email address given below
(deadline: May 5, 2019):

* CV with photo
* One-page cover letter (clearly indicating available start date as
well as relevant qualifications, experience and motivation)
* University certificates and transcripts (both BSc and MSc degrees)
* Contact details of up to three referees
* Possibly an English language certificate and a list of publications

All documents should be in English or German.

Gunther Reissig
https://nam04.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.reiszig.de%2Fgunther%2F&data=02%7C01%7Crrr%40okstate.edu%7C7e65357d6bc949fc637c08d6be612501%7C2a69c91de8494e34a230cdf8b27e1964%7C0%7C1%7C636905721854707546&sdata=tpSzUNlwmkjm1GeToLIIvOO6IgbF%2FtLQsKOMY3DwXho%3D&reserved=0
Email: [log in to unmask], Subject: PhD ref 9xfb6

Bundeswehr University Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering