Postdoc in Formal Methods / Game Theory / Machine Learning for Controller Synthesis at UMONS, Belgium (apply by March 31, 2018)

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

Postdoc in Formal Methods / Game Theory / Machine Learning for Controller Synthesis at UMONS, Belgium (apply by March 31, 2018)

Postdoc at Department of Computer Science, University of Copenhagen (apply by March 16, 2018)

Copenhagen University is offering a Postdoctoral Fellowship in algorithms, expected to commence 1 August 2018 or as soon as possible thereafter. The length of the position is 2 years with possible extensions until end of 2021. The project focuses on algorithms theory for graph problems such as shortest paths, max flow, and minimum spanning trees in static and dynamic graphs.

Website: http://jobportal.ku.dk/alle-opslag/?show=146723
Email: koolooz@di.ku.dk

Postdoc at Department of Computer Science, University of Copenhagen (apply by March 16, 2018)