The algorithms group at TU Ilmenau offers a 3-year PhD or postdoc
position (extension possible) under the supervision of Christoph
Berkholz.
About the algorithms group
The research focus of our group is to gain a deep understanding of
algorithmic strategies and their inherent limitations. During this
endeavor we have been working on algorithms and complexity questions
in e.g.
* database theory
* constraint satisfaction
* graph isomorphism,
* propositional proof complexity
* knowledge compilation
the ideal candidate should be interested in at least one of these areas.
Our emerging group is part of the Institute for Theoretical Computer
Science and is headed by Christoph Berkholz since August 2022;
currently four PhD students and one postdoc are part of our team. Find
out more about us at www.tu-ilmenau.de/algo .
About Ilmenau
TU Ilmenau is located in a small university city, which is surrounded
by the beautiful nature of the Thuringian Forest and is easily
reachable from the city of Erfurt. While having a lively academic
community and plenty of campus activities, Ilmenau allows you to stay
focused with short distances and little organizational overhead. As
part of our team, you will teach small groups of students and work on
current research problems in collaboration with us and the global
theory community.
Dates
* 3-year position, starting October 2023 (tentatively), with the
possibility of extension
* competitive 100% TV-L E13 salary and comparatively small living
costs
* Apply by *July 9* (late applications will be considered until the
position is filled) via
https://jobundkarriere.tu-ilmenau.de/en/jobposting/0eb50e455cd8be7c327d0f1ce314f38a21860a410/apply
* The position comes with a teaching load (4 SWS = 2 x 90min / week in
term-time) in English and German; sufficient knowledge of both
languages is required or shall be obtained within the first
year
* Informal inquiries are highly welcome and should be sent to
christoph.berkholz@tu-ilmenau.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/
*
**********************************************************
Posts
