<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] PhD / postdoc position in Theoretical Computer
Science @ TU Ilmenau</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Mon, 26 Jun 2023 10:51:43 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Christoph Berkholz
<a class="moz-txt-link-rfc2396E" href="mailto:christoph.berkholz@tu-ilmenau.de"><christoph.berkholz@tu-ilmenau.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<br>
PhD / postdoc position in Theoretical Computer Science @ TU
Ilmenau<br>
<br>
The algorithms group at TU Ilmenau offers a 3-year PhD or postdoc<br>
position (extension possible) under the supervision of Christoph<br>
Berkholz.<br>
<br>
<br>
About the algorithms group<br>
<br>
The research focus of our group is to gain a deep understanding of<br>
algorithmic strategies and their inherent limitations. During this<br>
endeavor we have been working on algorithms and complexity
questions<br>
in e.g.<br>
<br>
* database theory<br>
* constraint satisfaction<br>
* graph isomorphism,<br>
* propositional proof complexity<br>
* knowledge compilation<br>
<br>
the ideal candidate should be interested in at least one of these
areas.<br>
<br>
Our emerging group is part of the Institute for Theoretical
Computer<br>
Science and is headed by Christoph Berkholz since August 2022;<br>
currently four PhD students and one postdoc are part of our team.
Find<br>
out more about us at <a class="moz-txt-link-freetext" href="http://www.tu-ilmenau.de/algo">http://www.tu-ilmenau.de/algo</a> .<br>
<br>
<br>
About Ilmenau<br>
<br>
TU Ilmenau is located in a small university city, which is
surrounded<br>
by the beautiful nature of the Thuringian Forest and is easily<br>
reachable from the city of Erfurt. While having a lively academic<br>
community and plenty of campus activities, Ilmenau allows you to
stay<br>
focused with short distances and little organizational overhead.
As<br>
part of our team, you will teach small groups of students and work
on<br>
current research problems in collaboration with us and the global<br>
theory community.<br>
<br>
<br>
Dates<br>
<br>
* 3-year position, starting October 2023 (tentatively), with the<br>
possibility of extension<br>
* competitive 100% TV-L E13 salary and comparatively small living<br>
costs<br>
* Apply by *July 9* (late applications will be considered until
the<br>
position is filled) via<br>
<a class="moz-txt-link-freetext" href="https://jobundkarriere.tu-ilmenau.de/en/jobposting/0eb50e455cd8be7c327d0f1ce314f38a21860a410/apply">https://jobundkarriere.tu-ilmenau.de/en/jobposting/0eb50e455cd8be7c327d0f1ce314f38a21860a410/apply</a>>*
The position comes with a teaching load (4 SWS = 2 x 90min / week
in<br>
term-time) in English and German; sufficient knowledge of both<br>
languages is required or shall be obtained within the first<br>
year<br>
* Informal inquiries are highly welcome and should be sent to<br>
<a class="moz-txt-link-abbreviated" href="mailto:christoph.berkholz@tu-ilmenau.de">christoph.berkholz@tu-ilmenau.de</a><br>
<br>
<br>
</div>
</body>
</html>