[DMANET] Postdoc in Verification and Game Theory at the University of Liverpool

(apologies for the cross-posting!)

Dear colleagues,

Hi all,

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. All details
here:

<https://my.corehr.com/pls/ulivrecruit/erq_jobspec_version_4.display_form?p_company=1&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=091433>

Thanks and best wishes,
P
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************