[agents] 3 x 5 Year Research Positions in Game Theory/Complexity/Logic/Verification

[Wooldridge, Michael]

** PRELIMINARY ANNOUNCEMENT**
** THREE x FIVE YEAR RESEARCH POSITIONS **
** GAME THEORY, COMPLEXITY, LOGIC, VERIFICATION **
** with Professor Michael Wooldridge, University of Liverpool **

The purpose of this email is to give advance notice of three research
positions, each tenable for a 5 year period, attached to a newly
funded European Research Council Advanced Grant obtained by Prof
Michael Wooldridge, University of Liverpool. The project is entitled
"Reasoning about Computational Economies" (RACE), and will carry out
work at the intersection of game theory, complexity, logic, and
verification. The overall aim of the project is to develop the theory
and tools required to understand how computer programs behave in the
presence of self-interested behaviour. Prof Wooldridge will be
employed full-time on the project; the three associated research posts
are expected to be in the following areas:

POST 1 - will be in the area of game theory/complexity
POST 2 - will be in the area of game theory/logic
POST 3 - will be in the area of game theory/model checking.

IF YOU ARE INTERESTED IN ONE OF THESE POSITIONS, PLEASE GET IN TOUCH
WITH PROF WOOLDRIDGE VIA EMAIL (mjw at liv.ac.uk), BUT NOTE THAT THIS IS
*NOT* AN ADVERT - THE POSTS WILL BE ADVERTISED SOON, AND APPLICANTS
MUST FOLLOW THE FORMAL APPLICATION PROCEDURE THAT WILL BE
ANNOUNCED. THE PURPOSE OF THIS MAIL IS SIMPLY TO OBTAIN EXPRESSIONS OF
INTEREST.