Research Associate or Research Fellow in Security Verification of Composable Hardware

Updated: about 2 months ago
Location: Manchester, ENGLAND
Job Type: FullTime
Deadline: 06 Jun 2024


The SECCOM project will investigate the art of architectural possibility, a model for security reasoning, and an approach to dynamic verification of computer systems constructed utilizing composable fabrics such as PCIe and Compute Express Link (CXL). This multifaceted project is, therefore, looking to hire one or two research associates/fellows to work with the PI/CoIs on this exciting new area of research.

We are, therefore, looking for postdocs to work on the specification and/or (runtime) verification of the security properties emerging from the use of composable hardware platforms. The SECCOM project unencumbers the opportunities of composable systems, and it comprises activities and tasks through which the security and, therefore, resilience of a composed platform can be reasoned and verified.

Prof. John Goodacre and Dr Lucas Cordeiro will host the successful candidate for this position within the SECCOM (Securing Composable Hardware Platforms) project, a UKRI/EPSRC-managed project funded by the MoD/Dstl. Therefore, offers for the position will be conditional on passing an identity check with Dstl.

Overall Purpose of the Job

Working in collaboration on the project, this role’s focus will be within the Advanced Processor Technology (APT) and/or Systems and Software Security (S3) Group in the Department of Computer Science, The University of Manchester, UK. The APT and S3 group develops state-of-the-art algorithms, methods, and protocols to address security and privacy in networked and distributed system environments, as well as tools to build verifiable, trustworthy software systems. The S3 expertise covers many topics, including digital trust, security, and privacy. APT and S3 have produced award-winning software for verification and testing tools, including MAMBO (A low overhead dynamic binary modification tool for ARM), ESBMC (Efficient SMT-based Bounded Model Checker), and JBMC (Java Bounded Model Checker).

The ideal candidate would have a PhD degree in Computer Science or related areas and a proven record of publications in Hardware Security, Formal Verification, Software Engineering and/or Security venues such as CAV, TACAS, NFM, RV, ICSE, ASE, ESEC/FSE, ISSTA, DAC, DATE, IEEE S&P (Oakland), USENIX Security, CSS, NDSS, EuroS&P etc.

What you will get in return:

  • Fantastic market leading Pension scheme
  • Excellent employee health and wellbeing services including an Employee Assistance Programme
  • Exceptional starting annual leave entitlement, plus bank holidays
  • Additional paid closure over the Christmas period
  • Local and national discounts at a range of major retailers

As an equal opportunities employer we welcome applicants from all sections of the community regardless of age, sex, gender (or gender identity), ethnicity, disability, sexual orientation and transgender status.  All appointments are made on merit.

Our University is positive about flexible working – you can find out more here

Hybrid working arrangements may be considered.

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.

Any recruitment enquiries from recruitment agencies should be directed to [email protected] . Any CVs submitted by a recruitment agency will be considered a gift.

Enquiries about the vacancy, shortlisting and interviews:

Name: Lucas Cordeiro

Email: [email protected]

General enquiries:

Email: [email protected]

Technical support:

This vacancy will close for applications at midnight on the closing date.

Similar Positions