[DMANET] Open PhD position at the research group Theoretical Computer Science at University of Siegen, Germany

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@eti.uni-siegen.de<mailto:lohrey@eti.uni-siegen.de>

------------------------------------------------
Prof. Dr. Markus Lohrey
Universität Siegen
Lehrstuhl für Theoretische Informatik
Department ETI
Hölderlinstrasse 3
57076 Siegen
lohrey@eti.uni-siegen.de<mailto:lohrey@eti.uni-siegen.de>
http://www.eti.uni-siegen.de/ti/mitarbeiter/lohrey/




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