Tuesday, March 24, 2015

[DMANET] open position as PhD-student or PostDoc

Position opening
(see http://www.tu-ilmenau.de/al/freie-stellen/)

The Department of Computer Science and Automation of the Technische
Universität Ilmenau (Germany), Automata and Logic group (headed by
Prof. Dr. Dietrich Kuske), in the frame of a DFG-financed project
(German Research Foundation) is offering a

research position

for three years starting at the earliest possible date. The position
is open to PhD-students and to Post Doctoral researchers. The salary
is based on provisions of collective agreements in the public service
of the German States (TV-L), the position is ranked E13.

• Research on algebraic automata theory
• Organizational and administrative tasks

Employment requirements
• very good university degree at master level in mathematics or
computer science
• very good knowledge in theoretical computer science or algebra,
preferably in automata, monoid or group theory
• ability to publish and present research results at international
• willingness to conduct independent research with the aim of further
• very good knowledge of German or English

Technische Universität Ilmenau has been awarded the TOTAL E-Quality
predicate. It strongly urges women to apply. Disabled persons, having
the same aptitude and professional qualifications, have priority in

Applications with the usual documents (letter of application, complete
curriculum vitae, certificates, possibly references) should be sent
electronically under the reference 13/2015 to


Please cc your application also to Professor Kuske
(dietrich.kuske@tu-ilmenau.de) who is also happy to provide further
information (also by telephone +49 3677 691444).

Application deadline
This position is open until filled. First review of application
material will be April 20, 2015.

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/