Full-stack Engineer

• Architect and develop advanced RTOS and hypervisor capabilities to 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 features that leverage hardware-assisted virtualization on NVIDIA Tegra SoCs based on ARM architecture, optimizing performance and efficiency.

Senior Systems Software Engineer – RTOS, Hypervisor

Senior Software Engineer

Tech Lead

AVP – Software Engineering

AVP – Software Engineering

Senior Developer – Software Engineering