Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research Associate position at the University ...


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

From: Tobias Nipkow <nipkow@in.tum.de>
From: Jim Woodcock <jim@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.

https://www22.i-grasp.com/fe/tpl_YorkUni01.asp?newms=jj&id=46061

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


Last updated: Apr 26 2024 at 16:20 UTC