Dear colleagues,
A postdoctoral position is available at UMONS, Belgium. The candidate will
join the F.R.S.-FNRS project ControlleRS - Controllers in Many-sided
Reactive Synthesis: a Strategic Perspective, led by Mickael Randour
<http://math.umons.ac.be/staff/Randour.Mickael/>. Information about the
project is available here
<http://math.umons.ac.be/staff/Randour.Mickael/controllers.html>.
Candidates should hold a PhD thesis (or expect to defend it soon) and have
a strong background in at least one of the following fields: 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).
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 maintains a large number of national and
international collaborations.
Monthly salary will be around 3,000 € after taxes, depending on the
candidates' experience and seniority. Candidates will also be covered by
the Belgian health insurance system. Starting date and postdoc duration are
flexible.
Interested candidates should contact Mickael Randour ASAP (
mickael.randour@umons.ac.be) and include their CV and track record. Up to
two reference letters may be added. Full consideration will be given to all
applications received before June 10, 2024.
Please do not hesitate to contact me for any inquiry,
Best regards,
Mickael Randour (mickael.randour@umons.ac.be, 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
