Job title
Senior Research Officer, School of Computer Science and Electronic Engineering
Job reference
REQ07034
Application closing date
21/02/2023
Location
Colchester
Salary
£35,333 - £42,155 per annum
Employment type
Fixed-term, Full-time
Job category/type
Research
Attachments
REQ07034/Jobpack.pdf
Job description
The University of Essex has a new research post in the Embedded and Intelligent Systems Research Group (https:// eis.essex.ac.uk), School of Computer Science and Electronic Engineering.
The Senior Research Officer will support the Embedded and Intelligent Systems Laboratory's work on embedded intelligent systems
(https: // www. essex.ac.uk/departments/computer-science-and-electronic- engineering/research/robotics-and-embedded-systems/embedded-and-intelligent- systems-laboratory) in the School of Computer Science and Electronic Engineering, as part of the recently awarded Morello-HAT: Morello High-Level API and Tooling Project funded by the Engineering and Physical Sciences Research Council (EPSRC) and the UKRI Digital Security by Design programme.
The specific focus of the post is to aid in the production of the deliverables associated with the Morello-HAT Project in conjunction with our partners University of Glasgow and University of Oxford. The project will perform fundamental research and development on the Morello / CHERI Digital Security by Design platforms. The project intends to create a common API that can be used by compiler developer as well as programmers of higher-level languages, to allow them to leverage Morello's HW capabilities to improve memory security and type safety, spatial as well as temporal, of their language and programs. The Essex team will focus on develop secure debug infrastructure as well as machine learning based validation of the high-level API. Primarily, the research work will include designing novel data collection mechanism and machine learning detection models for validation of the high-level API.
In addition, you are also expecting to work with other team members to enhance the traditionally exposed debug infrastructure by creating an ICMetrics secured software API on top of the CHERI software stack for debug and authentication.
We seek highly motivated, enthusiastic, and professional candidates who have excellent knowledge of computer architecture, embedded systems, machine learning, and/or compiler. Specifically, within this project, we will investigate novel computer architecture, debug infrastructure and software toolchains for next generation embedded processors.
A relevant doctoral level degree in Computer Science, Electronic Engineering, Computer Engineering or a related discipline or equivalent professional experience or practice (or be close to completion of PhD) and an MSc is required. A substantial record of publications in relevant international journals and conferences is essential.
This is a full-time, fixed-term post until the 31 December 2024.
Please see the attached job pack, which contains a full job description and person specification which outlines the full duties, skills, qualifications and experience needed for this role plus more information relating to the post. We recommend you read this information carefully before making an application. Applications should be made on-line, but if you would like advice or help in making an application, or need information in a different format, please contact [email protected]
More information: Working at the University