Design and implementation of secure operating systems, including kernel, runtime, and system services. Work with multi-functional teams to bring up, test, debug, and verify software for new platforms and products. Contribute to security requirements and features for future hardware. Currently pursuing Bachelor's or Master’s degree in computer science or related fields. Background in operation systems development. This may include areas such as the kernel, low-level runtime, system services, driver frameworks, and component models. Understanding of system construction principles in the context of a microkernel-based environment. Understanding of computer architecture - how CPUs, memory, caches, and interrupts behave in response to code running at the instruction level. Proficiency in languages commonly used in systems, such as C. Habitual practice of good software engineering principles, such as using type systems, identification and prevention of undefined behaviour, property-based testing, and formal verification. Keen eye for security flaws such as buffer overruns. Strong communication and collaboration skills, working within an established team and with people across different teams.