Closing date: 08 August 2021
With its focus on real-world security through cutting-edge DSbD technology, this position is a unique opportunity to make a real impact, advance state-of-the-art in applied software verification research, and join a top-class team of collaborators. The role also offers an outstanding opportunity for career development that is equally well-suited to an academic or industrial research path or subsequent work as a software verification engineer in the industry.
Soteria is a cyber-security demonstrator for the e-commerce industrial market. UKRI funds it as part of the Industrial Strategy Challenge Fund, Digital Security by Design (DSbD) Challenge. DSbD is a substantial programme of advanced collaborative research and development, technology prototyping, and business-led demonstrators, which aims to radically update the foundation of the UK's insecure digital computing infrastructure. The cornerstone of the challenge is a technology platform prototype, called "Morello", which is more resistant to cyber threats than conventional architectures and is being developed in a research programme at Arm.
You will be a member of the Soteria team, working closely with Dr Lucas Cordeiro, Dr Giles Reger, and Dr Konstantin Korovin at Manchester. The ideal candidate will research and apply novel formal software verification theories, methodologies on components of innovative DSbD technology being developed in the project. In particular, we will extend the Efficient SMT-based bounded model checking (ESBMC) tool with a Clang C++ frontend, new operational models reflecting the Morello architecture, new analyses for the modified notion of memory safety and compartmentalisation requirements, and further extensions to improve their applicability in the industrial context. As a result, you will collaborate with researchers at the University of Manchester, designing the Soteria project's central software and hardware components. The post holder will also closely interact with the research term at THG, who will execute a technically innovative and novel evaluation strategy for the technology aimed at real-world impact.
Essential skills, knowledge and experience
Desirable skills, knowledge and experience
The School/Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The School/Department holds a Bronze Award for their good practice in relation to gender; including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a god work-life balance. We positively welcome applications from women for this post. All appointments will always be made on merit.
Call for Events is now open! We're supporting Members and Expert Fellows to lead activities that explore aspects of TIPS in the Digital Economy. We will help to organise the activity with up to £5,000 to cover the associated costs.