Wednesday, February 21, 2018

[DMANET] Postdoc Positions in Formal Methods / Game Theory / Machine Learning for Controller Synthesis at UMONS, Belgium

Dear colleagues,

Two one-year postdoctoral positions are available at UMONS, Belgium. The
candidates will join the FNRS project ManySynth - Many-sided Synthesis of
Reactive Systems: Foundations, Algorithms, and Tools, 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/manysynth.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, machine learning,
control theory. Experience with practical applications and interaction with
industry is also welcome (but not mandatory).

UMONS is an excellent research university (#2 in Belgium according to QS
Ranking w.r.t. publications/faculty) 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.

Monthly salary will be around 2,400 € after taxes, depending on the
candidate experience and seniority. Candidates will also be covered by the
Belgian health insurance system. The starting date may be set according to
the candidates' wishes, but must be before December 31, 2018.

Interested candidates should contact Mickael Randour (
mickael.randour@gmail.com) 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 March 31, 2018.

Please do not hesitate to contact me for any inquiry,
Best regards,

Mickael Randour (mickael.randour@gmail.com, 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/
*
**********************************************************