Logic List Mailing Archive

PhD student position in databases, Bremen (Germany), Deadline: 22 Dec 2020

* 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@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
--
[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