Sr. Hypervisor/Linux Kernel Developer - Software Platform
Core
Designing and optimizing a microkernel-based hypervisor and operating system for real-time, safety-critical autonomous driving vehicles.
Role type
Senior IC hypervisor and Linux kernel developer
Builds
SkyOS-H hypervisor and core system software for NIO's intelligent electric vehicles
Domain
Automotive embedded systems, virtualization, and low-level OS development
Deliverable
production ML models | product features | infrastructure
Required skills
C, ARM assembly, Linux kernel development, Arm V8 architecture (GIC, SMMU, VHE), embedded security (TrustZone, OP-TEE), Git, Python
Preferred skills
Microkernel OS design, driver subsystems, cache/memory subsystem optimization
Technologies
Arm V8, TrustZone, OP-TEE, SMMU, Linux kernel
Responsibilities
Develop microkernel-based OS and hypervisor for autonomous driving; Optimize OS for real-time performance and functional safety; Collaborate on design and implementation; Mentor team members
Seniority
Senior, hands-on IC
