Senior System Software Engineer - Halos Core and Robotics Platform
On-siteBengaluru, Karnataka, India or Pune, Maharashtra, India
Job Summary
Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments. Design and develop BSP, boot, driver, device-management, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms. Design and develop I/O Virtualization solutions for mixed-criticality systems while ensuring compliance with ISO 26262 and ISO 21434 standards. Bring up and optimize next-generation NVIDIA platforms, utilizing formal methods and GenAI tools to accelerate debugging and workflow automation. Handle complex issues involving components partitioned across the large software stack and mentor junior engineers.
Required Qualifications
- Bachelors/Masters or equivalent experience in Computer Science
- 8+ 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
- In-depth knowledge of embedded systems and real time operating systems, like QNX and RT Linux
- 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)
- Background in software development in compliance to ISO 26262 standard
Desired Qualifications
- Use Formal Methods to architect and develop high integrity software
- 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
- Handle complex issues requiring interactions between components partitioned across the large software stack
- Mentor junior engineers
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.