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 theory of as well as computational methods for abstraction-based controller synthesis, to a degree that facilitates routine, fully automated, practical application of the approach to nonlinear continuous-state plants and complex specifications. The focus is on synthesis algorithms that are both efficient and formally correct.
The project involves theoretical work, algorithm and software development, and, on a small scale, experimental work. There is no teaching requirement and no coursework to be completed. Competitive salary is offered according to the tariff “TVOeD Bund, E 13”.
- MSc degree (or equivalent, giving access to doctoral studies) in Electrical 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: Setvalued or validated numerics; dynamic programming; formal methods in control;
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, 2016): 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, with the exception of university certificates and transcripts, which may also be in German. The position is open to applicants worldwide; no special security clearance necessary.
Subject: PhD ref 1777
Department of Aerospace Engineering
Institute of Control Engineering
- Activities (7)
- Activities & Seminars (1)
- Alumni Events (3)
- Blogs (5)
- E-Cell Events (2)
- Events (19)
- Faculty (1)
- Featured (8)
- General (1)
- News Edition (94)
- Notice/News (115)
- Notice/News2 (3)
- Notices (17)
- NSS Events 2014-15 (8)
- NSS Events 2015-16 (3)
- NSS Events 2016-17 (3)
- Past Events (158)
- Press (1,603)
- Seminars (1)
- Social Initiatives (9)
- Students (1)
- Upcoming Events (4)
- Vacancies (5)
- Poster Competition on Love Food hate waste &nbs...
- ARDUINO DAY 2K19 Clic...
- We at Faculty of Engineering/ College of Engine...
- List of TRAT Qualified Candidates Click here to...
- FACULTY OF ENGINEERING Teerthanker Mahaveer Uni...
- Faculty of Engineering -TMU organising 3 days W...