PhD position

Formal methods in control (Munich, Germany)

Required qualifications:

• MSc degree (or equivalent, giving access to doctoral studies) in Elec- trical Engineering, Mathematics, Computer Science, or a related field. Students about to complete their MSc will also be considered.
• Excellent academic record, showing a strong theoretical/mathematical background and a strong interest in dynamical systems.
• Proficiency in programming (C or Ada/SPARK).
• Excellent communication skills in English (CEFR level C1).

In addition, experience in one of the following fields would be a plus: Set- valued or validated numerics; dynamic programming; formal methods in con- trol; reactive synthesis; professional-grade software development.

Your complete application consists of the following documents, which should be sent as a single PDF file to the email address given below (deadline: Feb 15, 2017): CV with photo; one-page cover letter (clearly indicating avail- able 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, with the excep- tion of university certificates and transcripts, which may also be in German. The position is open to applicants worldwide; no special security clearance necessary.

Priv.-Doz. Dr. habil. Gunther Reissig

Email: gunther2014@reiszig.de

Subject: PhD ref 1777

http://www.reiszig.de/gunther/

University of the Armed Forces Munich

Department of Aerospace Engineering

Institute of Control Engineering

Germany

Plain text versions can be found at the following address: https://www.linkedin.com/pulse/phd-position-formal-methods-control-munich-germany-gunther-reissig

More information