Logic List Mailing Archive

Postdoctoral position (3+2y) in databases, Bremen (Germany)

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
Entgeltgrupppe 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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam