Researcher - Real-Time Embedded OS

Huawei Canada has an immediate permanent opening for a 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 such as the compute required for AI/ML. This lab aims to innovate operating system designs for mixed-criticality environments that exceed traditional methods. The focus of this lab is to develop next-generation OS platform support to enable high performance, maximum concurrency and challenging resource management with ML/AI agents or services. Our goal is to ensure enhanced performance and reliability in increasingly complex environments that embedded devices at the edge presents.

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.