Logic List Mailing Archive

Research Assistant position in applications of automated theorem proving to economics, Birmingham (U.K.), Deadline: 30 Nov 2011

Research Fellow position, University of Birmingham, UK
http://tinyurl.com/5tnv4u5

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