Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 or .

Please note that this newsitem has been archived, and may contain outdated information or links.