> Markdown version of [/jobs/ext/1293634-senior-system-software-architect-halos-core-and-robotics-platform](https://www.wearedevelopers.com/jobs/ext/1293634-senior-system-software-architect-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 Architect - Halos Core and Robotics Platform

- **Company:** NVIDIA Ltd.
- **Location:** Las Cruces, NM, United States
- **Experience:** Expert
- **Salary:** $100,000.0 - $130,000.0
- **Contract:** Permanent contract
- **Skills:** ARM Architecture, Computer Programming, Software Debugging, Failure Mode Effects Analysis, Formal Verification, Real-Time Operating Systems, RTLinux, Software Engineering, System Programming, System Software, Apache Spark, Information Technology
- **Published:** July 16, 2026
- **Apply:** https://www.jofdav.com/jobs/58855164-senior-system-software-architect-halos-core-and-robotics-platform

## About the Role

* Bachelors/Masters or equivalent experience in Computer Science
 * 12+ years of experience in System Software architecture and development for real time embedded systems
 * Strong understanding of computer architecture and operating system fundamentals
 * Experience in designing and developing solutions for complex system problems.
 * 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
 * Experience performing architectural safety analysis (FMEA/DFA) and security analysis (Threat modeling)
 * Experience taking features from inception to product following Software Development Life Cycle (SDLC) practices



## Related Videos

- [Unleashing the Full Potential of the Arm Architecture – Write Once, Deploy Anywhere](https://www.wearedevelopers.com/videos/940-unleashing-the-full-potential-of-the-arm-architecture-write-once-deploy-anywhere)
- [Flexibility is Key: Unlocking the Advantages of Versatile Software Solutions for Strategic Innovatio](https://www.wearedevelopers.com/videos/1943-flexibility-is-key-unlocking-the-advantages-of-versatile-software-solutions-for-strategic-innovatio)
- [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data)
- [Architecture Communication Canvas](https://www.wearedevelopers.com/videos/674-architecture-communication-canvas)
- [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)

## 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 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)