Logic List Mailing Archive

CfA: Postdoc Position in Game Theory & Verification, University of Liverpool (UK), deadline: 30 March 2025

(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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php