We (Colin Rowat - economics - and Manfred Kerber - computer science) are looking for an RA 
(research assistant) with strong background in theorem proving, logic, mathematical knowledge 
representation, and/or economics for a project to apply automated theorem proving techniques 
to economics. In the project we want to bridge between computer science and economics, reach 
out to the two communities and explore in a wide range of ways (by applying Isabelle, Theorema,
sTeX, Leo inter alia) how formal and semi-formal methods can be applied to particular problems 
in the field of economics.

The job ad can be found at: http://tinyurl.com/5tnv4u5 (closing date 30 November 2011).

The project starts early 2012 (1 January the earliest) and runs for 30-36 months.

The EPSRC research grant details are at: 
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/J007498/1

Three papers that exemplify the work we are going to automate and extend:

http://dx.doi.org/10.1007/978-3-642-22673-1_5
http://dx.doi.org/10.1007/s00182-010-0247-5
http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1429326

Further information can be obtained from us at M.Kerber@cs.bham.ac.uk and c.rowat@bham.ac.uk

Manfred Kerber

+---------------------------------------------------------------+
| Manfred Kerber                 URL:    www.cs.bham.ac.uk/~mmk | 
| School of Computer Science     e-mail: M.Kerber@cs.bham.ac.uk |
| The University of Birmingham   Tel.:   (+44)-121-414-4787     |
| Birmingham, B15 2TT, England   Fax.:   (+44)-121-414-4281     | 
+---------------------------------------------------------------+