The UMONS Formal Methods Group would like to advertise postdoc
opportunities at UMONS <https://web.umons.ac.be/en/>, Mons, Belgium.
1. The C2W <https://cometowallonia.eu/> European postdoctoral programme
(Marie Skłodowska Curie COFUND action) offers 30 two-year postdoctoral
positions.
2. The F.R.S.-FNRS offers flexible three-year postdoctoral grants
<https://www.frs-fnrs.be/en/financements/chercheur-postdoc#cr>.
We are looking for candidates interested in any of the following fields or
multidisciplinary research stemming from them: formal methods, game theory,
theoretical computer science, AI, machine learning, control theory.
Experience with practical applications and interaction with industry is
also welcome (but not mandatory).
Should you be interested in applying for these positions, feel free to
contact any of our group leaders: Thomas Brihaye
<http://math.umons.ac.be/maef/fr/tbrihaye.html>, Véronique Bruyère
<http://informatique.umons.ac.be/staff/Bruyere.Veronique/>, or Mickael
Randour <http://math.umons.ac.be/staff/Randour.Mickael/>, the sooner the
better.
UMONS is an excellent research university situated in the city of Mons, a
lively (and historic) student town in the south of Brussels. Living in
Brussels and working in UMONS is also possible (45 minutes train ride). The
research group in UMONS takes part in the Belgian Federated Center for
Verification that gathers all teams in the field in Belgium. It also
maintains a large number of international collaborations.
Please do not hesitate to contact me for any inquiry,
Best regards,
Mickael Randour (F.R.S.-FNRS & UMONS)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
