Research Associate or Research Fellow in Security - Manchester, United Kingdom - The University of Manchester

The University of Manchester
The University of Manchester
Verified Company
Manchester, United Kingdom

4 weeks ago

Tom O´Connor

Posted by:

Tom O´Connor

beBee Recruiter
Description

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.


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).


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.


Enquiries about the vacancy, shortlisting and interviews:

Name:
Lucas Cordeiro


General enquiries:


Technical support:

**Please see the link below for the Further Particulars document which contains the person specification criteria.
More jobs from The University of Manchester
See all jobs of The University of Manchester