Research Internship

A 4 months summer intern position is open in the Advanced Processor Technologies research group of the Computer Science Department at the University of Manchester in the UK, in the domain of systems software security. A particular focus of the position is low-level kernel development in embedded systems equipped with a CPU that does not integrate a memory management unit (noMMU scenarios). The successful candidate will join a sponsored research project targeting software security on small, cost-effective embedded devices. To tackle these issues, the successful candidate will be tasked to contribute to the development of a specialised operating system called MicrOS, enabling easy and resource-efficient compartmentalisation for such embedded devices. MicrOS emulates transparently the multiprocessing abstraction without requiring an MMU, leveraging the CHERI hardware extensions available for the RISC-V architecture to support compartmentalisation in an easy to design/retrofit fashion, securely, and with low memory and processing power requirements.