Job Description

Full time, 35 hours per week

12 months (fixed end date of 30/09/2024)

1 position available

Applications are invited for a Research Assistant in Security for AI, working in the School of Informatics, University of Edinburgh. This post is part of the AISEC project, a UKRI funded research project on Security for Artificial Intelligence at the Universities of Heriot-Watt, Edinburgh and Strathclyde.

The Opportunity:

The AISEC project aims to design and implement a methodology and development environment for \xe2\x80\x9cpolicy-to-property\xe2\x80\x9d verification of complex AI systems which are secure and explainable by construction. The project is using lightweight verification methods to help document, implement and refine policies for complex deep learning and rules-based systems. The project is examining two key AI application areas: autonomous vehicles and natural language interfaces and it includes collaboration with legal researchers and industrial partners in each application area. The security strand of the project is investigating ways of specifying suitable security policies and their interaction with safety.

For more information about the wider AISEC project, please visit the web page:

Knowledge, skills and experience

• A first degree and a PhD degree (or near completion) in Computer Science, Mathematics or Engineering.
• Research or practical experience in cyber security, covering technical and/or socio-technical aspects. For example, knowledge of foundational logical and mathematical methods for security verification, access control policies, formal threat modelling, systems security; information systems security, risk modelling.
• Excellent programming skills.
• Ability to communicate complex information clearly, orally and in writing.
• Experience publishing and presenting research work at PhD level or beyond.

The following criteria are not yes/no factors, but questions of degree. Recruitment will aim at selecting those candidates with the best possible performance in all these criteria.

• Background and publication record in at least one of the other areas of the project: programming language theory, practical verification and automated theorem provers, complex AI systems, machine learning.

\xc2\xa337,099 to \xc2\xa344,263. Grade 7

Jobs.ac.uk