The Coq mailing list

["Vigano, Luca" <luca.vigano AT kcl.ac.uk>]

================================================================

PostDoc (Research Associate) in 

Formal and Automated Security Analysis of Extended Reality Systems
at King's College London

Vacancy terms: Full time, fixed term contract for up to 33 months
Salary: £40,386 to £44,931 per annum, including London Weighting Allowance

Deadline: 13 November 2022

Start: as soon as possible

Application link: https://jobs.kcl.ac.uk/gb/en/job/056268/Post-doctoral-Researcher

================================================================

Within the Horizon Europe Framework Programme project “SERMAS: Socially-acceptable Extended Reality Systems and Models”, we have an opening for a postdoctoral researcher in "Formal and Automated Security Analysis of Extended Reality Systems”.

You will join a team at King’s College London comprising Prof. Luca Viganò (Department of Informatics), Dr. Oya Celiktutan and another postdoctoral researcher (both at the Department of Engineering) to be hired shortly. 

This is an exciting opportunity to join our team and participate in a new area of research, and in the process collaborate with our SERMAS partners in Italy, Germany, Ireland and Switzerland.

The SERMAS project will develop innovative, formal and systematic methodologies and technologies to model, develop, analyze, test and user-study socially- acceptable XR systems. This will be achieved by pursuing the following four main objectives: (1) Follow an inter-disciplinary, multi-sectorial, case- study-driven, scientific and technological methodology to implement the SERMAS Toolkit, a set of methods and tools that will greatly simplify the design, development, deployment, and management of socially-acceptable XR systems. (2) Apply the Toolkit to industrial case studies drawn from real-world application scenarios, thus paving the way to transferring project results to industrial practice. This will be possible through the active participation in the consortium of the developers of mass-use industrial XR applications. (3) Enable innovators to leverage the Toolkit to improve social acceptance and cut down the time-to-market of their XR systems, thereby enhancing the competitiveness of the vendors. (4) Produce the wider SERMAS Methodology to position the use of the Toolkit and enlarge its outreach.
 
To provide all stakeholders of Extended Reality systems with the different levels of certified assurance that they require, the SERMAS Toolkit will rely on the development and application of formal methods and tools for compositional security assessment. Formal methods will also us to formalise and integrate explanations in the different phases of system development, from design to execution. It will be necessary to identify reasonable trade-offs that will allow to adapt explanations so that they can be verified and accepted by the different stakeholders, while at the same time guaranteeing the validity and formality of the explanations.

This post will be offered on a fixed-term contract for up to 33 months, starting as soon as possible

This is a full-time post - 100% full time equivalent