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
**********************************************************
*
* 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/
*
**********************************************************
Posts
