[isabelle] Research Fellow Position Birmingham

In the EPSRC financed project on Formal Mathematical Reasoning in Economics,
ForMaRE, http://www.cs.bham.ac.uk/research/projects/formare/,
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 MHonArc.