Location: | Manchester |
---|---|
Salary: | £36,024-£44,263 (Associate) or £45,585 to £56,021 (Fellow) per annum depending on relevant experience |
Hours: | Full Time |
Contract Type: | Fixed-Term/Contract |
Placed On: | 24th May 2024 |
---|---|
Closes: | 6th June 2024 |
Job Ref: | SAE-025764 |
Background
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).
www.cs.manchester.ac.uk/research/expertise/systems-and-software-security
www.cs.manchester.ac.uk/research/expertise/advanced-processor-technologies
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:
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 People.Recruitment@manchester.ac.uk. Any CVs submitted by a recruitment agency will be considered a gift.
Enquiries about the vacancy, shortlisting and interviews:
Name: Lucas Cordeiro
Email: lucas.cordeiro@manchester.ac.uk
General enquiries:
Email: People.recruitment@manchester.ac.uk
Technical support: jobseekersupport.jobtrain.co.uk/support/home
This vacancy will close for applications at midnight on the closing date.
Type / Role:
Subject Area(s):
Location(s):