Senior Security Research Architect

Overview

• NVIDIA is a leader in accelerated computing, driving innovation across industries with groundbreaking technologies in AI, graphics, and high-performance computing.
• Our networking products, including InfiniBand and Ethernet solutions, power some of the world’s largest data centers, enabling unparalleled scalability and efficiency for AI and scientific workloads.
• In the realm of security, NVIDIA has a long history of providing secure solutions for AI products and securing the AI pipeline.
• We are 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.
• What you'll be doing: 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.
• What we need to see: 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.
• Ways to stand out from the crowd: 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+ Join us at NVIDIA to push the boundaries of cybersecurity research! NVIDIA is widely considered to be one of high technology's most desirable employers.
• Our inventions have revolutionized parallel computing and our GPUs are being used in many of the largest high-performance computing projects around the world.
• We have some of the most forward-thinking and experienced people in the world working for us.
• Our goal is to create an environment where we can do our life's best work.
• If you're creative, autonomous, and highly motivated, we want to hear from you!.