[isabelle] Research Fellow Position Birmingham
In the EPSRC financed project on Formal Mathematical Reasoning in Economics,
Birmingham, UK, there is a job opening for a Research Fellow for 9 months.
Applications close: 25 Sep 2013
For details, see https://tinyurl.com/pssmfoq
Informal enquiries: Manfred Kerber (m.kerber at cs.bham.ac.uk) or
Colin Rowat (c.rowat at bham.ac.uk).
This archive was generated by a fusion of
Pipermail (Mailman edition) and