* 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-va...