|Salary:||£35,333 to £42,155 per annum|
|Placed On:||24th January 2023|
|Closes:||21st February 2023|
The University of Essex has a new research post in the Embedded and Intelligent Systems Research Group (http://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 use the 'Apply' button to read further information about this role including the full job description and person specification which outlines the full duties, skills, qualifications and experience needed for this role. You will also find details of how to make your application here.
Our website http://www.essex.ac.uk contains more information about the University of Essex. If you have a disability and would like information in a different format, please email firstname.lastname@example.org.
Type / Role: