[DMANET] Open PostDoc position, Theoretical Computer Science, University of Siegen

***please distribute to potential applicants***

Open PostDoc 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 position as a postdoctoral researcher, starting at January 1, 2015 or earlier.
The job is part of the research project QUANT-KOMP (quantitative aspects of grammar-based compression) and is funded by the DFG
(German Research Foundation). 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 three years.* Short description of the project QUANT-KOMP:

Grammar-based compression is an important subject that has been well-studied from both theoretical and practical point of views.
The main idea is to represent large objects like texts or trees by grammars that generate the input object only. Except for the
compressors from the Lempel-Ziv family only few quantitative aspects about the quality of grammar-based compressors are
known. The main object of the project is to develop new techniques that can provide precise quantitative information about
the compression rate of grammar-based text or tree compression. Both the approximation rate and the classical entropies
(Shannon-entropy, empirical entropy, topological entropy) shall be analyzed for grammar-based compression. For trees the
compression via DAGs (directed acyclic graphs) is of special interest, as it is ubiquitous in Computer Science.

* Your tasks:

- Scientific studies
- Publication of the results in international journals and conference proceedings
- Presentation at conferences
- Supervising students assisting the project

The position does not demand teaching.

* Your profile:

- University degree (diploma, master or bachelor) in Computer Science or Mathematics
- Ph.D. in Theoretical Computer Science or in a similar area
- Knowledge of one or more of the following subjects is favorable: formal languages and automata, algorithms on words and trees,
data compression, information theory, analytic combinatorics.

* University of Siegen:

The University of Siegen has about 18,500 students and 1,700 employees (of which 1,100 are scientific staff). Its scientific focus
is on innovative and interdisciplinary research. It offers a wide spectra of interesting subjects like humanities, economics, engineering
and natural sciences and is a excellent place to teach and do research with many interdisciplinary projects. The University of Siegen
also offers many different ways to combine your career- and family plans; it has been certified as a family-friendly university and offers
a dual career service.

You can find information about the University of Siegen at our Homepage www.uni-siegen.de,
and about the department of Theoretical Computer Science at www.eti.uni-siegen.de/ti/ .

The university of Siegen is trying to enlarge the number of women in teaching and research. We motivate women to hand in their
application.

Applications of disabled persons are welcome.

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

Please send your application with the usual documents (CV, diploma, etc) by November 1, 2014 to
Prof. Dr. Markus Lohrey, Department Elektrotechnik und Informatik, Fakultät IV, Universität Siegen, Hölderlinstrasse 3, 57076 Siegen
or electronically to lohrey@eti.uni-siegen.de
**********************************************************
*
* 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/
*
**********************************************************