[TYPES/announce] Funded PhD Student/Researcher Positions on the Interplay of Robotics & Formal Methods at University of Bremen/DFKI

[Ruediger Ehlers]

As part of the excellence initiative at the University of Bremen, the 
Department of Mathematics & Computer Science has an opening (conditional 
to the release of the respective funds) for

Two Junior Researchers (Ph.D. students)

in the newly founded junior research group on “Modeling of Technical 
Systems“, headed by Prof. Dr. Rüdiger Ehlers at the University of 
Bremen. The employment shall be on terms specified in the German Salary 
Standard TV-L 13 (75% position). The successful applicants are expected 
to have (or are near the completion of) an M.Sc./M.Eng. or equivalent 
degree in computer science, robotics, or a related subject, and will 
perform research on the interplay of robotics and formal methods. The 
positions are offered in cooperation with the German Research Center for 
Artificial Intelligence (DFKI), and enrollment as a Ph.D. student and a 
later submission of the research findings as a Ph.D. thesis is strongly 
encouraged. Research topics include, but are not limited to:

- Synthesis of robot controllers from formal specifications
- Computational engines for reactive synthesis
- Structured formalization and representation of robot controllers
- Efficient and automatic reconfiguration of cyber-physical system
   control software
- Verification of robot motion controllers with non-linear control
   aspects
- Multi-objective controller optimization
- Formalization of human/robot interaction
- Modelling understandability of robot behaviour

For the successful completion of research on these topics, the applicant 
is expected to have experience with formal methods (model checking, 
theorem proving, ...) or robotics. The position will run until October 
2017, starting in January or February 2015. German language skills are 
not required.

For requests or further information, please contact Prof. Dr. Rüdiger 
Ehlers (ruediger.ehlers at uni-bremen.de)
Full details of the job opening can be found in the offical call for 
applications:

http://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies/detailansicht/joblist/Job/show/phd-student-1696.html?cHash=ad1ea86c3dca6fef567499bbbb12d200