Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research Fellow Position Birmingham

view this post on Zulip Email Gateway (Aug 19 2022 at 11:45):

From: Manfred Kerber <mnfrd.krbr@gmail.com>
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).

Last updated: Apr 20 2024 at 01:05 UTC