The research position is in the field of automated planning and scheduling. The expected activities include the development of novel temporal planning and/or scheduling techniques based on heuristic search, machine learning and Satisfiability Modulo theories and their integration in real-world systems including robotic applications and flexible manufacturing environments; monitoring and execution components for autonomous systems; software development of prototypical integrated solutions; training support, and document generation for technology transfer.

The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the unit. Moreover, the candidate is expected also to interact with industrial partners and partners of research projects.

Deadline: 8 Aug 2021