[CPM-SPIRE-L] Full Doctoral Researcher Position in the Database Group of University of Bremen

[Peter Leupold]

* PhD researcher position (f/m/d) *

At the University of Bremen in the department of mathematics and 
informatics there is a full-time PhD position available (under the 
condition of job release), commencing at the earliest convenience.

The position is at the level of
   Wissenschaftliche/r Mitarbeiter/in (f/m/d)

Entgeltgruppe 13 TV-L within the group "databases" headed by Prof. 
Sebastian Maneth.


* Job description *

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".

The time limitation is based on § 2 (1) WissZeitVG 
(Wissenschaftszeitvertragsgesetz, i.e. temporary science employment 
act). Therefore, candidates may only be considered who dispose of the 
respective scope of qualification periods according to § 2 (1) WissZeitVG.

Example questions addressed by the project are:

  -  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?
  -   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.


* Requirements *

We are looking for a doctoral researcher (f/m/d) 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.

* General hints  *

We specifically support the employment of women and encourage qualified 
female researchers to apply. In case of equal personal aptitudes and 
qualification, disabled persons will be given priority. Applicants with 
a migration background are welcome.

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 master's thesis, copies of 
transcripts showing your courses and grades) have to be submitted by 
December 22th, 2020, quoting the reference number A242/20, to

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

For further questions please contact Prof. Dr. Maneth, using the above 
mentioned e-mail address.

https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/334?cHash=9d40e3ba79c21af922ba6441c0125eda