Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield. The goal is to perform research in one of the following areas: 1. Formal modelling and verification of security properties for digital twins. This involves the design and development of theoretical mathematical models and the use of proof assistants, automated theorem provers, model checkers or related tools to formalize and verify properties of these models. 2. Fine-grained access control system for mission-critical digital twins. This involves the design and development of an advanced access control policy and the usage of security models and public key cryptography (such as CCA) to build proofs of concept in enhancing the security of digital twins. Closing date for applications: 23 Sept. 2021 Starting date: 7 Oct. 2021 or later Duration: 30 months Salary: £32,344 Applications can be made by going to this page https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9... and clicking on the "Apply" link. The "About the job" link contains more details about the position. I am happy to answer any informal inquiries. Best wishes, Andrei