We are now advertising a three-year postdoctoral research associate position on the CyPhyAssure project, to assist in the creation of our mechanised assurance case platform. Applications are welcomed from Computer Science PhDs with knowledge of theorem proving using Isabelle/HOL, hybrid systems, formal methods, and robotics. For more information, please see the official job page at the University of York.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599