Description
We have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and help us develop innovative, secure, and high-performance automotive systems.
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!
Join us in creating the future of automotive technology and be part of a team that is revolutionizing the industry.
As a Senior System Software Engineer, you will be responsible for:
Architecting, designing and developing safety (ISO26262) and security (ISO21434) compliant system software for NVIDIA DRIVE platform for autonomous vehicles
Architecting, designing and developing Real Time System Software features for NVIDIA Tegra SOC
Designing & developing I/O Virtualization solutions for NVIDIA Tegra SOC
Development & bring-up activities for next-generation Tegra SOC
Working with the ASIC teams to enhance SW performance and virtualization support in the SOC
Extensively using Formal Methods to architect and develop high integrity software
Designing debugging solutions and tooling to improve developer experience on DRIVE platform
Learning to harness maximum and consistent system software performance and developing workflows and tools to measure performance
Requirements:
Bachelor's/Master's or equivalent experience in Computer Science
5+ 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
A dedicated, team and results-oriented, self-motivated contributor with excellent analytical and interpersonal skills
Preferred qualifications:
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)
Background in software development in compliance to ISO 26262 standard following Software Development Life Cycle (SDLC) practices
You will also be eligible for equity and benefits.