<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252">
</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] Post-Doc Position at the Databases Group of the
University of Bremen</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 15 Oct 2020 14:34:36 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Peter Leupold <a class="moz-txt-link-rfc2396E" href="mailto:leupold@uni-bremen.de"><leupold@uni-bremen.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Organization:
</th>
<td>Department of Redundancy Department</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>
At the University of Bremen in the department of mathematics and
informatics there is a full PostDoc position available, commencing
at the earliest convenience.<br>
The position is at the level of<br>
<br>
Wissenschaftliche/r Mitarbeiter/in<br>
Entgeldgrupppe 13 TV-L<br>
<br>
within the group "Databases" headed by Prof. Sebastian Maneth.<br>
The position is for a duration of 3 years, with a possible
prolongation of additional 2 years. This position is research only
(= no teaching obligations) within a project that is funded by the
DFG. The topic of the project is "definability of tree
transformations".<br>
Example questions addressed by the project are:<br>
<br>
(1) Given a functional bottom-up tree transducer, is it decidable
whether or not its translation can be realized by a deterministic
top-down tree transducer?<br>
<br>
(2) Given an attributed tree transducer, is it decidable whether
or not it is equivalent to a deterministic top-down tree
transducer?<br>
<br>
These questions are difficult and open research problems. We are
looking for a post-doctoral researcher with an excellent track
record in automata theory or formal language theory and with the
will and enthusiasm to crack these hard problems.<br>
<br>
We specifically support the employment of women and encourage
qualified female researchers to apply. Disabled applicants with
equal qualification will be favored for the positions.<br>
<br>
For questions, and for applications (consisting of a cover letter
stating the name of a referee who is willing to write a letter of
recommendation,<br>
your CV, your motivation to work in this area, your PhD thesis)
please contact<br>
<br>
Universitaet Bremen<br>
Fachbereich Mathematik/Informatik<br>
Prof. Dr. Sebastian Maneth<br>
Bibliothekstrasse 1<br>
28359 Bremen<br>
GERMANY<br>
<br>
or in electronic form (one PDF file) to <a class="moz-txt-link-abbreviated" href="mailto:maneth@uni-bremen.de">maneth@uni-bremen.de</a><br>
<br>
</div>
</body>
</html>