[CPM-SPIRE-L] Post-Doc Position at the Databases Group of the University of Bremen

[Peter Leupold]

At the University of Bremen in the department of mathematics and 
informatics there is a full PostDoc position available, commencing at 
the earliest convenience.
The position is at the level of

Wissenschaftliche/r Mitarbeiter/in
Entgeldgrupppe 13 TV-L

within the group "Databases" headed by Prof. Sebastian Maneth.
The position is for a duration of 3 years, with a possible prolongation 
of additional 2 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".
Example questions addressed by the project are:

(1) Given a functional bottom-up tree transducer, is it decidable 
whether or not its translation can be realized by a deterministic 
top-down tree transducer?

(2) Given an attributed tree transducer, is it decidable whether or not 
it is equivalent to a deterministic top-down tree transducer?

These questions are difficult and open research problems. We are looking 
for a post-doctoral researcher with an excellent track record in 
automata theory or formal language theory and with the will and 
enthusiasm to crack these hard problems.

We specifically support the employment of women and encourage qualified 
female researchers to apply. Disabled applicants with equal 
qualification will be favored for the positions.

For questions, and for applications (consisting of a cover letter 
stating the name of a referee who is willing to write a letter of 
recommendation,
your CV, your motivation to work in this area, your PhD thesis) please 
contact

Universitaet Bremen
Fachbereich Mathematik/Informatik
Prof. Dr. Sebastian Maneth
Bibliothekstrasse 1
28359 Bremen
GERMANY

or in electronic form (one PDF file) to maneth at uni-bremen.de