The SECCOM project will investigate the art of architectural possibility, a model for security reasoning, and approach to dynamic verification of computer system constructed utilizing composable fabrics such as PCIe and Compute Express Link (CXL). This multi-faceted project is looking to hire a Research Associate or Research Fellow to work with the PI/CoIs on this exciting new area of research.
Applications are welcome for a Post-doc to work on the development for a model of security reasoning based on the theory and practice of composition frameworks through cryptographic protocols and hardware. The position is funded as part of the UKRI/EPSRC project "SECCOM: Securing composable Hardware Platforms" with funding from MoD/Dstl. Offers for the position will therefore be conditional on passing an identity check with Dstl.
You will be hosted by Bernardo Magri at the Systems and Software Security group within the Computer Science Department at The University of Manchester, located in the Northwest of England (https://www.cs.manchester.ac.uk/research/expertise/systems-and-software-security/).
You will ideally have a PhD degree in Computer Science or related areas, and a proven record of publications in cryptography and/or security venues such as Crypto, Eurocrypt, Asiacrypt, TCC, PKC, CCS, S&P, USENIX, ACNS, ESORICS, etc. Experience with cryptographic protocol composition frameworks (such as the UC framework) is a plus, but not required.
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 CV’s submitted by a recruitment agency will be considered a gift.
Enquiries about the vacancy, shortlisting and interviews:
Name: Dr Bernardo Magri
This vacancy will close for applications at midnight on the closing date.
Please see the link below for the Further Particulars document which contains the person specification criteria.