Nvidia Senior Systems Software Engineer – RTOS Hypervisor 

United States, Texas 

388921364

What you’ll be doing:

• Architect and develop advanced RTOS and hypervisor capabilitiesto support next-generation use cases through dynamic CPU and memory partitioning.

• Design and implement scalable core OS mechanisms—including scheduling, memory management, and inter-partition communication—to enable flexible, high-performance system behavior.

• Apply formal methods (e.g., TLA+)to specify and verify dynamic aspects of the architecture, ensuring correctness, safety, and predictable behavior under reconfiguration.

• Design and implement core virtualization featuresthat leverage hardware-assisted virtualization onNVIDIA Tegra SoCs based on ARM architecture, optimizing performance and efficiency.
  

What we need to see:

• BS or MS in Computer Science, Computer Engineering, Electrical Engineering, or a related engineering field, or equivalent experience.

• 8+ years in embedded software development, with extensive experience inRTOS and hypervisor development for high-assurance systems.

• Proficiency inC and C++.

• Deep understanding ofARMv8 / ARM 64-bit architecture, includinghypervisor extensions,weak memory model (DSB, DMB, ISB), and low-level system programming.

• Solid understanding ofoperating system concepts, includingvirtual memory, page tables, caches, and synchronization primitives.

• Strong skills indesigning scalable, high-performance embedded softwareand developingcore RTOS and virtualization featuresfor mixed-criticality systems