Information about the project

The Department of Computer Science and Engineering is strongly international, with approximately 270 employees from over 30 countries. The department is a shared department between the University of Gothenburg and Chalmers University of Technology. The position is placed in the Formal Methods unit, which is internationally recognized for its high-profile research track record and extensive network of collaborators.

The successful candidate will work on the project “Combining Path-finding Algorithms in Temporal Reactive Synthesis” financed by WASP (Wallenberg AI, Autonomous Systems and Software Program). Reactive synthesis – automatic production of programs from high-level descriptions of their desired behavior – is emerging as a viable tool for the development of robots and reactive software. In high level, this is like telling a robot what you would like it to do and automatically planning how to do it. The project will improve the capabilities of reactive synthesis techniques through improving algorithms for the analysis of state-spaces through the combination of path finding and strategy finding. This will include both theoretical and practical contributions. More concretely, the work will include the study of temporal logic, automata, and two player games. Temporal logic is used for describing in a high level the required behavior of a program, automata are used as an algorithmic tool for manipulation of logic formulae, and two-player games enable to consider strategies and programs. We will study these formalisms, analyze their properties, devise algorithms to manipulate and translate between them, as well as implement tools that will show the applicability of the developed techniques.

View all positions
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website,
Save settings
Cookies settings