Senior Software Engineer, Memory-Safe Languages
NVIDIA
We are looking for a Software Engineer
NVIDIA Networking Security team is looking for an outstanding software engineer with strong expertise in embedded systems and programming in memory-safe languages to drive the integration of memory-safe languages into firmware stack. In this role, you will help define and complete our next-generation firmware development methodologies. You’ll be responsible for introducing memory-safe practices, shaping language-integration standards, and improving the reliability and safety of our firmware products.
What you'll be doing:
- Drive the adoption of memory-safe development practices across firmware teams.
- Lead the definition and implementation of a mixed-language SDLC for firmware that incorporates memory safe-languages alongside C.
- Assist architecture and R&D teams in designing firmware components suitable for implementation in memory safe languages.
- Perform security reviews of existing C modules and propose migration or refactoring strategies.
- Provide guidance on interoperability and integration with C, including toolchains, build systems, and runtime considerations.
- Mentor teams and developers, promoting guidelines for safe, maintainable, and verifiable embedded firmware development.
- Serve as a technical focal point across multiple development groups, including hands-on contributions to code development.
What we need to see:
- Academic degree in computer science, electrical engineering, or an associated technical area, or equivalent professional experience.
- 5+ years of experience in embedded software development.
- Strong experience in constrained or real-time environments.
- Hands-on experience with memory-safe languages (Ada/SPARK, Rust, or similar).
- Understanding of firmware architecture, safety-critical development, or systems requiring high reliability.
- Ability to drive significant methodological and architectural changes across larger teams.
- Ability to work independently and collaboratively in a dynamic environment.
- Excellent communication and technical leadership skills.
Ways to stand out from the crowd:
- Practical experience with Ada/SPARK in production systems.
- Practical experience with formal verification of complex software systems.
- M.Sc. or PhD in computer science, electrical engineering, or related fields.
- Background in firmware architecture or leading R&D efforts.
- Experience with formal verification, static analysis, or high-assurance systems.
With highly competitive salaries and a comprehensive benefits package, NVIDIA is widely considered to be one of the technology world's most desirable employers. We have some of the most forward-thinking and hardworking people on the planet working for us and, due to unprecedented growth, our special engineering teams are growing fast. If you're a creative and autonomous engineer with a genuine passion for technology, we want to hear from you.
NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.