Research Associate/Fellow in Formal Methods for Resilient Autonomy (University of York Department of Computer Science)