运筹Offer是运筹OR帷幄社区旗下的求职资讯平台，聚焦运筹学、大数据、AI等领域，内容涵盖企业招聘、实习、内推和职场经历分享。
About the position
We live in the days of ubiquitous computing: we are surrounded by reactive (computer) systems that continuously interact with their environment through user input, sensors, etc. Their correctness is often critical, either for safety reasons (e.g., ABS for cars) or due to constraints of mass production (e.g., smartphones). Unfortunately, their development is difficult and prone to errors. Formal verification and synthesis have proved to be success stories of computer science, aiming at the automated construction of provably-safe system controllers. Many techniques take roots in the game-theoretic framework, modeling the interaction between the system and its environment as a competitive game.
One crucial change over the last decade is the evolution from Boolean to quantitative specifications, giving birth to models describing performance of systems. Recent research focuses on taking into account the interplay between different quantitative (or qualitative) aspects and the resulting trade-offs. Such trade-offs may occur between different resources (e.g., decreasing response time requires additional computing power and energy consumption) but also between different behavioral models (e.g., average-case vs. worst-case performance). Those interactions are at the core of practical scenarios and require developers to decide how to balance the different aspects. My research group is at the forefront of research on many-sided synthesis, which supports such multi-objective reasoning.
The goal of ControlleRS is to challenge the key concept of strategy, currently based on automata-like finite-state machines acting as blueprints for implementable controllers. I aim to broaden the theoretical understanding and the practical usefulness of this abstract concept through the systematic study of alternative strategy models over the complete span from theoretical power to proper applicability. This endeavor promises fundamental advances toward truly implementable many-sided synthesis.
Postdoctoral positions are available. Here is a non-exhaustive list of possible topics:
multi-criteria approaches in formal methods,
machine learning and AI,
synthesis in stochastic systems,
tool development,
industrial applications.
How to apply
http://math.umons.ac.be/staff/Randour.Mickael/controllers.html
如何发布招聘？
如果你也想发布公司招聘岗位，请扫描以下二维码或者添加微信号：or_offer 联系我们的工作人员，添加请修改备注为：公司+姓名+招聘！
微信公众号后台回复
实习：获取实习岗位投递方式
校招：获取校招岗位投递方式
社招：获取社招岗位投递方式
学界招聘：获取学界岗位投递方式
职场会客厅：获取直播链接和往期直播视频完整版
加群：获取加入【IT算法求职内推群】方式