Logic List Mailing Archive

Postdoctoral position in algorithmic game theory, Liverpool (England), Deadline: 21 Mar 2021

We have an opening for a three year postdoc position available from May 1st
2021 in the area of Algorithmic Game Theory and Verification.

The position is funded by the EPSRC project "The Cost of Winning Strategies"
which, in short, aims to find classifications and effective finite
representations of strategies in quantitative games. We will carry out research
on games on infinite arenas, with mixed or parametrised objectives, transducers
and strategy logics, stochastic games/MDPs, and the complexity and
practicalities of solving MeanPayoff Games.

There is flexibility regarding the actual work topics as well as (some)
regarding the start date.

You should have, or be about to obtain, a PhD in Computer Science, Mathematics,
or a closely related field together with an excellent track record of
international publications in automata, game theory or tool development.

Contact Patrick Totzke (totzke@liverpool.ac.uk) for informal queries.
The application deadline is **March 21st**, apologies for the late posting here!
For full details and to apply online, please find the links below.

P



LIV-AC-UK: 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=025718

PROJECT: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V025848/1

https://cgi.csc.liv.ac.uk/~patrick/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam