[DMANET] Post-Doc Position at the Databases Group of the University of Bremen

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@uni-bremen.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************