NVIDIA is looking to develop innovative, secure, and high-performance automotive systems for autonomous vehicles, leveraging formal methods to enhance software quality and automate workflows.
Requirements
- 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
- Hands-on experience with performance analysis and system analyzer tools
- Hands-on background with debugging tools
- Good understanding of ARM architecture and low level software development for ARM v8 based SOCs
Responsibilities
- Architect, design and develop safety (ISO26262) and security (ISO21434) compliant system software for NVIDIA DRIVE platform for autonomous vehicles
- Architect, design and develop Real Time System Software features for NVIDIA Tegra SOC
- Design & develop I/O Virtualization solutions for NVIDIA Tegra SOC
- Development & bring-up activities for next-generation Tegra SOC
- Work with the ASIC teams to enhance SW performance and virtualization support in the SOC
- Extensively use Formal Methods to architect and develop high integrity software
- Design debugging solutions and tooling to improve developer experience on DRIVE platform
Other
- Bachelors/Masters or equivalent experience in Computer Science
- A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills
- 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 following Software Development Life Cycle (SDLC) practices
