Logic List Mailing Archive
Postdoctoral position (3 years) in Automated Mechanism Design, Liverpool (England)
Research Position -- LOGIC for AUTOMATED MECHANISM DESIGN
Department of Computer Science -- University of Liverpool
This is a preliminary announcement of 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.
The successful candidate will have, or expect to shortly obtain, a
higher degree in an area relevant to the project, and will typically
have demonstrated their expertise by means of publications.
Further information may be obtained from the grant holders:
Michael Wooldridge mailto:mjw@csc.liv.ac.uk
Wiebe van der Hoek mailto:wiebe@csc.liv.ac.uk
Please note: this is a PRELIMINARY announcement; the formal
application procedure will be announced soon, and potential candidates
MUST follow this procedure to apply for the position. Contact the
grant holders (see above) for details.
---------------------------------------------------------------
Prof. Wiebe van der Hoek http://www.csc.liv.ac.uk/~wiebe/
Department of Computer Science tel (+44 151) 79 47480/54292
University of Liverpool fax (+44 151) 79 54235
Liverpool L69 3BX, United Kingdom wiebe@csc.liv.ac.uk