<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] Postdoc Positions in Formal Methods / AI for
Controller Synthesis at UMONS, Belgium</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Mon, 12 Jun 2023 20:20:47 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Mickael Randour <a class="moz-txt-link-rfc2396E" href="mailto:mickael.randour@gmail.com"><mickael.randour@gmail.com></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>
[Apologies if you receive multiple copies.]<br>
<br>
Dear colleagues,<br>
<br>
Several postdoctoral positions are available at UMONS, Belgium.
The<br>
candidates will join the F.R.S.-FNRS project ControlleRS -
Controllers in<br>
Many-sided Reactive Synthesis: a Strategic Perspective, led by
Mickael<br>
Randour <<a class="moz-txt-link-freetext" href="http://math.umons.ac.be/staff/Randour.Mickael/">http://math.umons.ac.be/staff/Randour.Mickael/</a>
Information about<br>
the project is available here<br>
<a class="moz-txt-link-rfc2396E" href="http://math.umons.ac.be/staff/Randour.Mickael/controllers.html"><http://math.umons.ac.be/staff/Randour.Mickael/controllers.html></a><br>
Candidates should hold a PhD thesis (or expect to defend it soon)
and have<br>
a strong background in at least one of the following fields:
formal<br>
methods, game theory, theoretical computer science, AI/machine
learning,<br>
control theory. Experience with practical applications and
interaction with<br>
industry is also welcome (but not mandatory).<br>
<br>
UMONS is an excellent research university situated in the city of
Mons, a<br>
lively (and historic) student town in the south of Brussels.
Living in<br>
Brussels and working in UMONS is also possible (45 minutes train
ride). The<br>
research group in UMONS maintains a large number of national and<br>
international collaborations.<br>
<br>
Monthly salary will be around 3,000 € after taxes, depending on
the<br>
candidate experience and seniority. Candidates will also be
covered by the<br>
Belgian health insurance system. Starting dates and postdoc
durations are<br>
flexible. Ideally, postdocs should start between September 2023
and<br>
December 2024.<br>
<br>
Interested candidates should contact Mickael Randour (<br>
<a class="moz-txt-link-abbreviated" href="mailto:mickael.randour@umons.ac.be">mickael.randour@umons.ac.be</a>) and include their CV and track
record. Up to<br>
two reference letters may be added. Full consideration will be
given to all<br>
applications received before July 14, 2023.<br>
<br>
Please do not hesitate to contact me for any inquiry,<br>
Best regards,<br>
<br>
Mickael Randour (<a class="moz-txt-link-abbreviated" href="mailto:mickael.randour@umons.ac.be">mickael.randour@umons.ac.be</a>, F.R.S.-FNRS &
UMONS)<br>
<br>
</div>
</body>
</html>