PhD student position in databases, Bremen (Germany)

At the University of Bremen in the department of mathematics and informatics there is a full-time PhD position available, commencing at the earliest convenience. The position is at the level of "Wissenschaftliche/r Mitarbeiter/in Entgeltgruppe (13 TV-L)" within the group "databases" headed by Prof. Sebastian Maneth. The position is for a duration 3 years. This position is research only (= no teaching obligations) within a project that is funded by the DFG. The topic of the project is "definability of tree transformations".

We are looking for a doctoral researcher with a completed master's degree and an excellent track record in automata theory or formal language theory and with the will and enthusiasm to crack these hard problems.