<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] A two-year postdoc position on Games for
Synthesis in Bordeaux</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Fri, 9 Jul 2021 16:26:53 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Nathanael Fijalkow <a class="moz-txt-link-rfc2396E" href="mailto:nathanael.fijalkow@labri.fr"><nathanael.fijalkow@labri.fr></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>
I am advertising a postdoc position to work in Bordeaux, France,
on the<br>
"Games for Synthesis" project (G4S).<br>
<br>
What is the science about: G4S is a 3-year project to work on the
theory<br>
and practice of both controller synthesis and program synthesis,
using<br>
games and reinforcement learning. Feel free to ask me for details!<br>
<br>
The non-scientific part. The position is for two years and can
start as<br>
early as October 2021 (flexible). The salary is roughly 2100€ per
month<br>
after tax (includes health insurance), which is comfortable to
live in<br>
Bordeaux, a beautiful city close to the ocean and the Pyrenees
Mountains<br>
(also, have you heard of the wine?). There are no teaching duties
included,<br>
but there are many interesting teaching opportunities.<br>
<br>
Please contact me if you have any questions
(<a class="moz-txt-link-abbreviated" href="mailto:firstname.lastname@labri.fr">firstname.lastname@labri.fr</a>),<br>
and forward this announcement to whoever may be interested.<br>
<br>
</div>
</body>
</html>