Two one-year postdoctoral positions are available at UMONS, Belgium. Candidates should 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).

Website: http://math.umons.ac.be/staff/Randour.Mickael/manysynth.html
Email: mickael.randour@gmail.com