(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.
Responsibilities
• 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
events
• willingness to conduct independent research with the aim of further
qualification
• 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
hiring.
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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************