Senior Security Research Architect

Description

NVIDIA is seeking a senior security researcher to join our architecture group who is passionate about advancing cybersecurity in networking products. This is an opportunity to work on groundbreaking projects to secure high-performance networking systems.

Responsibilities

• Research formal verification methods to prove the safety of security and communication protocols.
• Collaborate across the networking organization to use formal methods for improving the security of network cards, switches, and DPUs, working with hardware, software, research, and product teams.
• Research, design, develop, and implement architecture solutions for integrating formal verification for security features into networking products.
• Architectural modeling and validation, following standards bodies.
• Work with customers and partners to identify and address security issues and threats.

Qualifications

• BSc, MS, or PhD in Electrical Engineering, Computer Science, or Computer Engineering, or equivalent experience.
• 5+ years of proven experience.
• Background in formal verification methods, in at least one of the following: model writing, bounded and unbounded model checking, and symbolic execution.
• Programming and debugging fundamentals across languages such as Python, ARM assembly, and C/C++.
• The ideal candidate will enjoy working in a diverse team, with excellent communication skills and a genuine passion for teamwork.
• Proven track record of leading features across teams.
• Solid programming skills and a deep understanding of secure system building.

Bonus Points

• Background in high-bandwidth networking protocols such as RDMA.
• Experience in PCIe devices and switches.
• Background in system security, including Linux security features and confidential computing.
• Experience in TLA+