<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 opportunities in UMONS, Belgium</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 16 Dec 2021 10:01:48 +0100</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>
Dear colleagues,<br>
<br>
The UMONS Formal Methods Group would like to advertise postdoc<br>
opportunities at UMONS <<a class="moz-txt-link-freetext" href="https://web.umons.ac.be/en/">https://web.umons.ac.be/en/</a> Mons,
Belgium.<br>
<br>
1. The C2W <<a class="moz-txt-link-freetext" href="https://cometowallonia.eu/">https://cometowallonia.eu/</a> European postdoctoral
programme<br>
(Marie Skłodowska Curie COFUND action) offers 30 two-year
postdoctoral<br>
positions.<br>
2. The F.R.S.-FNRS offers flexible three-year postdoctoral grants<br>
<a class="moz-txt-link-rfc2396E" href="https://www.frs-fnrs.be/en/financements/chercheur-postdoc#cr"><https://www.frs-fnrs.be/en/financements/chercheur-postdoc#cr></a><br>
We are looking for candidates interested in any of the following
fields or<br>
multidisciplinary research stemming from them: formal methods,
game theory,<br>
theoretical computer science, AI, machine learning, control
theory.<br>
Experience with practical applications and interaction with
industry is<br>
also welcome (but not mandatory).<br>
<br>
Should you be interested in applying for these positions, feel
free to<br>
contact any of our group leaders: Thomas Brihaye<br>
<<a class="moz-txt-link-freetext" href="http://math.umons.ac.be/maef/fr/tbrihaye.html">http://math.umons.ac.be/maef/fr/tbrihaye.html</a> Véronique
Bruyère<br>
<<a class="moz-txt-link-freetext" href="http://informatique.umons.ac.be/staff/Bruyere.Veronique/">http://informatique.umons.ac.be/staff/Bruyere.Veronique/</a> or
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> the
sooner the<br>
better.<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 takes part in the Belgian Federated Center
for<br>
Verification that gathers all teams in the field in Belgium. It
also<br>
maintains a large number of international collaborations.<br>
<br>
Please do not hesitate to contact me for any inquiry,<br>
Best regards,<br>
<br>
Mickael Randour (F.R.S.-FNRS & UMONS)<br>
<br>
</div>
</body>
</html>