[Job-offers-cs] Postdoc Position in Formal Methods / AI for Controller Synthesis at UMONS, Belgium

[Pekka Orponen]

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 at 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 at umons.ac.be, F.R.S.-FNRS & UMONS)