Dear colleagues,
Several postdoctoral positions are available at UMONS, Belgium. The
candidates 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
candidate experience and seniority. Candidates will also be covered by the
Belgian health insurance system. Starting dates and postdoc durations are
flexible. Ideally, postdocs should start between September 2023 and
December 2024.
Interested candidates should contact Mickael Randour (
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 July 14, 2023.
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
