Postdoc Position in Game Theory & Verification, Liverpool (UK)

We are looking for a postdoc interested in games on graphs, automata/logics, and generally game theory, to join the verification group at the University of Liverpool. The post is for two years and is to be filled as soon as possible (there is some flexibility). The application deadline is 2025-03-30.