# Senior System Software Engineer -  Halos Core and Robotics Platform

Hiring organization: [NVIDIA](https://career.thegoodapps.co/organizations/nvidia)

Canonical page: https://career.thegoodapps.co/jobs/f0065961-fa16-4c71-98b6-1739e5825c72

Listed on NVIDIA's own careers site. Applications go to them directly.

- Seniority: Senior
- Location: Santa Clara, CA
- Salary: 184000 – 287500 USD per year

## Summary

NVIDIA is seeking a Senior System Software Engineer to develop safety-critical software for their Halos platform, which powers autonomous vehicles and robotics. This role combines embedded systems, real-time operating systems, virtualization, and formal methods to build mixed-criticality software stacks on edge AI platforms.

_Our summary, not NVIDIA's wording._

## Skills named

Ada, Python, SPARK, Virtualization

## Required

- Bachelor's or Master's degree in Computer Science or equivalent experience
- 8+ years of system software architecture and development for real-time embedded systems
- Strong understanding of computer architecture and operating system fundamentals
- Experience designing complex system solutions including virtualized configurations
- Strong Python, C, and/or Ada/SPARK programming and debugging skills
- Practical experience with AI-assisted development tools
- Hands-on experience with debugging tools and performance analysis
- Self-motivated team player with analytical and interpersonal skills

## Nice to have

- In-depth knowledge of QNX and RT Linux
- Understanding of ARM architecture and low-level ARM v8 software development
- Hands-on Ada/SPARK programming experience including formal verification
- TLA+ formal verification modeling experience
- Background developing software compliant with ISO 26262 and ISO 21434 standards

Apply on NVIDIA's site: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-System-Software-Engineer----Halos-Core-and-Robotics-Platform_JR2021313