[isabelle] Research Associate position at the University of York

From: Jim Woodcock <jim at cs.york.ac.uk>

Applications are invited for one post of Research Associate in the
High-Integrity Systems Engineering and Real-time Systems Research Groups
in the Department of Computer Science, University of York.  The post,
which is limited to 3 years period in the first instance, is available
from October 2011.  Please the following for further details.


The closing date for receipt of applications is midnight on Friday 26
August 2011.

James Woodcock FREng
Anniversary Professor of Software Engineering
Department of Computer Science
University of York

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.