Logic List Mailing Archive

Postdoctoral position: Logic for Automated Mechanism Design, Liverpool (U.K.)

The UNIVERSITY of LIVERPOOL -- DEPARTMENT of COMPUTER SCIENCE
POSTDOCTORAL RESEARCHER: LOGIC for AUTOMATED MECHANISM DESIGN

Applications are invited for a post-doctoral research position in the use of 
logic for the specification and verification of economic mechanisms such as 
social choice procedures. The project will investigate the logical foundations, 
complexity, and applications of these technqiues, and will for example study 
the use of model checking for verifying economic mechanisms. The project will 
be undertaken within the Agent ART group under the supervision of Professor 
Mike Wooldridge and Professor Wiebe van der Hoek, in collaboration with Dr 
Christian List (London School of Economics).

This is an opportunity to carry out research on a topic at the intersection of 
computer science, logic, and game theory, in a highly research active and 
rapidly expanding group. The post is funded by EPSRC for 3 years.

Informal enquiries may be sent to:

         Prof Michael Wooldridge mailto:mjw@csc.liv.ac.uk
         Prof Wiebe van der Hoek mailto:wiebe@csc.liv.ac.uk

... but please note applications MUST be submitted through the university's 
formal application procedure; see below.

** Quote Ref: B/005
** Closing date for applications: 1 June 2007
** Salary to GB pounds 27,465 pa

For full details, or to request an application pack, visit

     http://www.liv.ac.uk/university/jobs.html

or e-mail

    mailto:jobs@liv.ac.uk

or tel 0151 794 2210 (24 hr answerphone).

** Please quote Ref: B/005 in all enquiries **

---------------------------------------------------------------
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
_______________________________________________