Email Gateway (Aug 18 2022 at 18:39): Email Gateway (Aug 18 2022 at 18:39):From: Manfred Kerber <M.Kerber@cs.bham.ac.uk>
Job offer:
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 2011 (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 |
+---------------------------------------------------------------+
Last updated: Apr 20 2024 at 04:19 UTC