Research Internship

University Of Manchester

Manchester, United Kingdom
Not specified; pension scheme included; health + w...
On-site
Systems software background
Embedded systems knowledge
C programming skills
The successful candidate will contribute to developing MicrOS, an OS enabling resource-efficient compartmentalisation for embedded devices lacking MMUs

Job Summary

  • The successful candidate will contribute to developing MicrOS, an OS enabling resource-efficient compartmentalisation for embedded devices lacking MMUs.
  • This role focuses on mitigating security threats like supply chain attacks and data leaks in critical infrastructure and IoT devices through software isolation.
  • Candidates will study memory allocation behaviors of embedded applications to derive guidelines that minimize CPU and memory overhead while maintaining security.

Matching Summary

The successful candidate will contribute to developing MicrOS, an OS enabling resource-efficient compartmentalisation for embedded devices lacking MMUs.

Salary

Not specified; Pension scheme included; Health and wellbeing services provided

Skills & Requirements

Must-have

  • Systems software background
  • Embedded systems knowledge
  • C programming skills
  • RISC-V architecture familiarity
  • CHERI hardware extensions

Nice-to-have

  • Interest in security threats
  • Supply chain attack mitigation
  • Memory allocation optimization
  • Monolithic software breakdown
  • Strong analytical mindset

Key Requirements

  • Undergraduate student in Computer Science or Engineering
  • Background in systems software or security
  • Right to work in the UK required

Work Rights

Must have right to work in the UK

Tailored Resume

Cover Letter