Postdoctoral position (3 years) in Automated Mechanism Design, Liverpool (UK)

Applications are invited for a 3-year research position at the Department of Computer Science, University of Liverpool, in the area of Logic for Automated Mechanism Design and Analysis (LAMDA). The post will be available from 1 October 2007.

The post is funded by an EPSRC project held by Prof Michael Wooldridge and Prof Wiebe van der Hoek, while Dr Christian List from LSE is an associated advisor. The project involves investigating the use of logic in the specification and verification of economic mechanisms, and in particular, social choice mechanisms such as voting procedures. Specifically, we aim to develop formalisms for specifying and modelling social choice mechanisms, and investigate the use and complexity of model checking techniques for mechanism verification. This is an exciting opportunity to work in an area at the intersection of computer science, social choice theory/game theory, and logic.

Informal enquiries may be sent to the grant holders, Michael Wooldridge (mjw at csc.liv.ac.uk) and Wiebe van der Hoek (wiebe at csc.liv.ac.uk), but please note applications MUST be submitted through the university's For full details, or to request an application pack, visit http://www.liv.ac.uk/university/jobs.html (Quote Ref: B/005). Closing date for applications: 1 June 2007.