Research Assistant position in applications of automated theorem proving to economics, Birmingham (U.K.)

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 they 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 project starts early 2012 (1 January the earliest) and runs for 30-36 months. The job ad can be found at: http://tinyurl.com/5tnv4u5 (closing date 30 November 2011). For more information, contact M.Kerber at cs.bham.ac.uk or c.rowat at bham.ac.uk.