Researcher - Real-Time Embedded OS

Huawei Canada has an immediate permanent opening for a Real-Time Embedded OS Researcher.

About the team:

The Intelligent Real-Time Operating System Lab focuses on OS architecture, concurrency challenges, and optimal resource management for diverse use cases. This lab aims to innovate operating system designs for mixed-criticality environments that exceed traditional methods. The focus of this lab is to develop a next-generation operating system platform suitable for deployment across various domains, including cars, smartphones, and ICT/IoT devices, ensuring enhanced performance and reliability in increasingly complex environments.

About the job:

• Collect, analyze, and distill the latest research on OS concepts such as scheduling, synchronization, distributed service/state mgmt., IPC, and isolation techniques.
• Lead and collaborate on research and implementation of advanced OS technologies, including but not limited to: IPC/Communication optimization, QoS control and partitioning/isolation, resource allocation and control. As well as, distributed error recovery/failover and safety.
• Explore optimization opportunities for communication, boot and recovery execution speed based on the latest research progress.

About the ideal candidate:

• PhD degree in Computer Science, Operating Systems, Applied Mathematics, or related technical fields.
• Knowledge in Operating Systems architecture and design, CPU architecture and Computer Systems theory.
• Experience in theoretical and empirical research Opearting Systems.
• Proficient in programming languages for system software such as, C/C++, Assembly and Rust.
• Ability to apply, evaluate, and modify subsystems of existing Operating systems such as, Linux, FreeBSD, OpenBSD, FreeRTOS etc.
• Interpersonal skills, cross-group, and cross-culture collaboration.
• 2+ years of work/internship experience in a university, industry, or government lab(s), in a role with primary emphasis on computer Operating Systems research is an asset.
• Publications at top Operating Systems conferences such as SOSP, SIGOPS, IEEE or Linux Kernel summits are assets.