PhD position in formal verification of spatial multi-agent systems, University of Göteborg [SE]

This position is supported by a prestigious Swedish Research Council grant focused on automatic synthesis of programs for spatial Multi-Agent Systems. The research centers on developing foundational theories and practical techniques for the formal verification of autonomous systems, including controller synthesis, planning, and model checking.

Competitive candidates are expected to have a background, and experience of working with one (or more) of the following:

• Formal methods (e.g., concurrency, automata, or temporal/spatial logics, etc) or discrete control (e.g., planning, supervisory control, or controller synthesis, etc.)
• Verification tools such as Model Checkers, Synthesis Engines, etc.
• Prior experience in combining reinforcement learning with reactive synthesis and/or control is a plus.