WASP-funded postdoc position in the Group for Safe and Trustworthy Autonomous Reasoning (STARlab) at Chalmers University of Technology, led by Hazem Torfah, WASP Assistant Professor.
About the position
The group is looking for candidates interested in conducting independent research in the area of formal analysis of autonomous cyber-physical systems (ACPS). ACPS have great potential to improve our ways of life, increasing mobility, cutting costs, and saving lives. Considering the complexity of the environments these systems operate in, ACPS increasingly rely on learning-enabled components to perform a variety of challenging decision-making tasks. The use of such components is projected to grow but with it also the concern of using ACPS in safety-critical applications. This raises the question of how we need to adapt the development process to build safe and reliable learning-enabled ACPS.
The candidate will work on developing a new generation of design and verification techniques, rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, compositional correct-by-design methods, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty.