Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job opening ForMaRE


view this post on Zulip Email Gateway (Aug 19 2022 at 12:01):

From: Manfred Kerber <mnfrd.krbr@gmail.com>
Dear Friends,

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@cs.bham.ac.uk) or
Colin Rowat (c.rowat@bham.ac.uk).

Please forward to anybody who may be interested,

Many thanks,
Manfred


Last updated: Mar 29 2024 at 12:28 UTC