Funded PhD Student/Researcher Positions on the Interplay of Robotics & Formal Methods at University of Bremen/DFK

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
– 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 (
Full details of the job opening can be found in the offical call for applications:

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s