> Markdown version of [/jobs/ext/1388629-senior-system-software-engineer-halos-core-and-robotics-platform](https://www.wearedevelopers.com/jobs/ext/1388629-senior-system-software-engineer-halos-core-and-robotics-platform). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Senior System Software Engineer - Halos Core and Robotics Platform

- **Company:** NVIDIA Ltd.
- **Location:** Santa Clara, CA, United States
- **Experience:** Expert
- **Salary:** $184,000.0 - $356,500.0
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, ARM Architecture, Computer Programming, Software Debugging, Formal Verification, Real-Time Operating Systems, RTLinux, Software Engineering, System Software, Virtualization Technology, Apache Spark, Information Technology, Formal Methods
- **Published:** July 22, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=de3b03d3d418821c

## About the Role

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!, * 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, * 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.



## Related Videos

- [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Developing an AI.SDK](https://www.wearedevelopers.com/videos/198-developing-an-ai-sdk)
- [Let's Get Aggregated: Custom UDAFs in Spark  ](https://www.wearedevelopers.com/videos/1649-let-s-get-aggregated-custom-udafs-in-spark)
- [Building a hypercar from scratch](https://www.wearedevelopers.com/videos/607-building-a-hypercar-from-scratch)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology)
- [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Top 6 Hackathons for Developers in 2023](https://www.wearedevelopers.com/magazine/263-top-6-hackathons-for-developers-in-2023)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [MLOps And AI Driven Development](https://www.wearedevelopers.com/magazine/82-mlops-and-ai-driven-development)