[DMANET] PhD position

The "automata and logic" group of Technische Universität Ilmenau
(Germany), headed by Dietrich Kuske, has an open position for a
"Wissenschaftlicher Mitarbeiter" (fulltime, 3 years, extension
possible). The job description contains teaching in German and research
towards a PhD.

The group (https://www.tu-ilmenau.de/al) works on automata theoretic
methods, often related to questions from logic as they arise in
verification or algorithmic model checking.

The official advertisement can be found at the below url or via the
group's webpage, the closing date for applications is Feb 16, 2025, the
starting date is negotiable but preferably April 1.

In case of interest, please do not hesitate to contact Dietrich Kuske by
mail (dietrich.kuske@tu-ilmenau.de) or Phone (+49 3677 691444).


URL:
https://jobundkarriere.tu-ilmenau.de/jobposting/83ea0c92548735617ac089f7f058d449edef0d230


--
Prof. Dr. Dietrich Kuske |
FG Automaten und Logik | Tel +49 (0)3677 69 1444
TU Ilmenau | dietrich.kuske@tu-ilmenau.de
PF 10 05 65 | http://eiche.theoinf.tu-ilmenau.de/kuske
D-98684 Ilmenau |
Germany |

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