Senior Systems Software Engineer

Job Summary

A company is looking for a Senior Systems Software Engineer - RTOS and Hypervisor.

Key Responsibilities

• Architect and develop advanced RTOS and hypervisor capabilities for next-generation use cases
• Design and implement scalable core OS mechanisms for high-performance system behavior
• Apply formal methods to ensure correctness and predictable behavior under reconfiguration

Required Qualifications

• BS or MS in Computer Science, Computer Engineering, Electrical Engineering, or related field, or equivalent experience
• 8+ years in embedded software development, focusing on RTOS and hypervisor for high-assurance systems
• Proficiency in C and C++ programming languages
• Deep understanding of ARMv8 / ARM 64-bit architecture and low-level system programming
• Solid understanding of operating system concepts, including virtual memory and synchronization primitives