[CPM-SPIRE-L] Open PhD position at the research group Theoretical Computer Science at University of Siegen, Germany

[Lohrey, Markus]

Open PhD position at the research group Theoretical Computer Science at University of Siegen, Germany 
(Payment German TV-L 13)

The research group for Theoretical Computer Science is offering a PhD position starting at January 1, 2022 earliest.
The position is partly funded  by the German Research Foundation (DFG) within the project Streaming Automata Theory. 
The salary is based on 13 TV-L (salary class 13 in the German federal state employees salary scheme TV-L) and the 
duration is 3 years with the possibility of an extension.

* Your tasks:

- Scientific study and publication of the outcome in the usual form
- Working on your dissertation
- Support of students assisting the project
- The position does not demand teaching for the first 2 years. In the third year there is a teaching obligation of 4 x 45 min per 
   week during the semester. 


* Your profile:

- University degree (diploma or master) in Computer Science or Mathematics
- Knowledge of one or more of the following subjects is favorable: algorithms, automata theory, formal languages, complexity theory.
- Basic knowledge of the German language is an advantage but not essential.


* Short description of the research project Streaming Automata Theory:

Streaming algorithms are currently a very active research area.  Typical problems addressed 
in this area are the computation of statistical information over data streams in small space, 
graph algorithms for streamed graphs, query processing, and complex event processing. 
Surprisingly, apart from a few exceptions, automata theoretic questions have been widely 
neglected in the area of streaming algorithms. The goal of the research project is to further 
develop an automat-theoretic framework for studying streaming problems. This involves 
techniques from various areas of theoretical computer science: automata theory, string algorithms,
lower bound techniques, communication complexity, semigroup theory, and logic. Potential 
applications of this fundamental research can be found for instance in XML processing, complex 
event processing, or bioinformatics.


Applications can be made via 
https://jobs.uni-siegen.de/job/Wissenschaftlicher-Mitarbeiterin-Streaming-Automata-Theory-57076/728508201/
by November 16, 2021.

For further information, contact Prof. Dr. Markus Lohrey, Email: lohrey at eti.uni-siegen.de