Senior System Software Engineer - Halos Core And Robotics Platform
Tech Stack
Tag name is followed by "@" symbol and proficiency level value.
About proficiency levels:
- 1-2 — basic awareness. Minimal hands-on experience, and a rudimentary understanding of the technology's purpose;
- 3-6 — daily use. Comfortable and regular usage, capable of handling common tasks and challenges related to the technology;
- 7-9 — you are an expert, you can teach others, you know all the pitfalls and tricks;
- 10 — exceptional knowledge, comprehensive understanding, and adeptness in all aspects of the technology, including advanced problem-solving. Think twice before claiming or demanding such level.
AI @ 4
Compliance
Debugging @ 4
GenAI
Linux @ 4
Performance Analysis @ 4
Robotics
Security @ 7
Software Development @ 7
Spark @ 7
- 1-2 — basic awareness. Minimal hands-on experience, and a rudimentary understanding of the technology's purpose;
- 3-6 — daily use. Comfortable and regular usage, capable of handling common tasks and challenges related to the technology;
- 7-9 — you are an expert, you can teach others, you know all the pitfalls and tricks;
- 10 — exceptional knowledge, comprehensive understanding, and adeptness in all aspects of the technology, including advanced problem-solving. Think twice before claiming or demanding such level.
Details
We are looking for an experienced Senior System Software Engineer to help build NVIDIA Halos. Halos is our full-stack safety platform for physical AI: autonomous vehicles, humanoids, industrial robots, and intelligent machines that sense, decide, and act in the real world. This role sits at the intersection of embedded systems, rich operating systems, safety, security, virtualization, and accelerated computing! If you have a good understanding of System Software development on Real Time OS (RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods, we want to hear from you!
We are a leading artificial intelligence computing company and are paving the way with innovations in gaming, visualization, supercomputing, and autonomous vehicle and robotics safety platforms. NVIDIA gives automakers, tier-1 suppliers, automotive research institutions, and startups the power and flexibility to develop and deploy breakthrough artificial intelligence systems for autonomous vehicles. Our unified computing architecture makes it possible to train deep neural networks in the data center on the NVIDIA DGX™, and then seamlessly run them on NVIDIA's Halos platform inside the vehicle.
Leading vehicle manufacturers, tier 1 suppliers, mapping and simulation companies, software and sensor providers, and startups around the world are developing on the NVIDIA Halos platform to deliver the best solutions for the new world of mobility. As a System Software Engineer, you will get an opportunity to work on high-performance NVIDIA edge AI platforms running complex mixed-criticality software stacks across QNX, Linux, hypervisors, safety partitions, accelerators, and real-time AI workloads, and work alongside industry experts in diverse teams and projects.
What you’ll be doing:
- Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments.
- Design and develop BSP and I/O Virtualization solutions, boot, driver, diagnostics, and platform software for mixed-criticality systems on NVIDIA SoCs and edge AI platforms.
- Develop safe and secure software aligned with ISO 26262 and ISO 21434 standards by maximising the use of Formal Methods.
- Bring up and optimize next-generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, and platform teams.
- Use GenAI and AI-assisted engineering tools to accelerate debugging, test development, code review, documentation, requirements analysis, and workflow automation.
- Design debugging, tracing, logging, and performance-analysis solutions that improve developer experience.
What we need to see:
- Bachelors/Masters or equivalent experience in Computer Science
- 8+ years of experience in System Software architecture, developing solutions for complex system problems, and development for real-time embedded systems
- Strong understanding of computer architecture and operating system fundamentals.
- Strong C and/or Ada/SPARK programming and debugging skills
- Practical experience using AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation.
- Hands-on experience with debugging tools, performance analysis and system analyzer tools
- A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills
Ways to stand out from the crowd:
- In-depth knowledge of embedded systems and real time operating systems, like QNX and RT Linux skills
- Good understanding of ARM architecture and low level software development for ARM v8 based SOCs
- Prior hands-on experience in Ada/SPARK programming (including specification and formal verification) and TLA+ formal verification modeling
- Background in software development in compliance with ISO 26262 and ISO 21434 standards.
Salary
Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 184,000 USD - 287,500 USD for Level 4, and 224,000 USD - 356,500 USD for Level 5.