Researcher - Real-Time Embedded OS

Our team has an immediate permanent opening for a Real-Time Embedded OS Researcher.

Responsibilities:

• 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.

What you’ll bring to the team:

• 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.