Position Details

Type Full-Time

Experience senior

Exp. Years 5+ years

Education BSc, MS, or PhD in Electrical Engineering, Computer Science, or Computer Engineering, or equivalent experience

Category Cybersecurity

About this role

NVIDIA is seeking a senior security researcher to advance cybersecurity for high-performance networking products. The role focuses on applying formal verification to security and communication protocols, and integrating those methods into networking product architecture.

Key Responsibilities

Research formal verification methods to prove safety of security and communication protocols
Collaborate across networking organization to apply formal methods to network cards, switches, and DPUs
Research, design, develop, and implement architecture solutions integrating formal verification into networking products
Architectural modeling and validation following standards bodies
Work with customers and partners to identify and address security issues and threats

Technical Overview

You will research and implement formal verification approaches (model writing, bounded/unbounded model checking, symbolic execution) for security protocols and networking components such as network cards, switches, and DPUs. Work includes architectural modeling/validation following standards bodies and leveraging secure system building practices, with an emphasis on networking protocols like RDMA and technologies like PCIe when applicable.

Ideal Candidate

The ideal candidate is a senior security researcher with 5+ years of experience applying formal verification methods to prove safety and security properties of security and communication protocols. They have strong programming and debugging fundamentals in Python, ARM assembly, and C/C++, and experience modeling and validating architectures for networking hardware such as network cards, switches, and DPUs.

Must-Have Skills

formal verification methodsmodel writingbounded and unbounded model checkingsymbolic execution5+ years of proven experienceprogramming and debugging fundamentals across languages such as PythonARM assemblyand C/C++solid programming skillsdeep understanding of secure system building

Nice-to-Have Skills

RDMAhigh-bandwidth networking protocols such as RDMAPCIe devices and switchessystem security including Linux security features and confidential computingTLA+

Tools & Platforms

PythonARM assemblyC/C++TLA+Linux

Required Skills

formal verification methodsmodel writingbounded model checkingunbounded model checkingsymbolic executionPythonARM assemblyC/C++architectural modelingvalidationsecure system buildingRDMAPCIeLinux security featuresconfidential computingTLA+network cardsswitchesDPUssecurity and communication protocols

Hard Skills

formal verification methodsmodel writingbounded model checkingunbounded model checkingsymbolic executionarchitectural modelingvalidation following standards bodiessecure system buildingprogramming and debugging fundamentalsPythonARM assemblyC/C++high-bandwidth networking protocols such as RDMARDMAPCIePCIe devicesPCIe devices and switchesPCIe switchesLinux security featuresconfidential computingTLA+security and communication protocolsnetwork cardsswitchesDPUsDPU security features

Soft Skills

excellent communication skillsgenuine passion for teamworkenjoy working in a diverse teamcollaboration across networking organizationwork with customers and partners

Industry & Role

Industry Telecom

Job Function Apply formal verification to design and validate secure architectures for high-performance networking products

Role Subtype Security Architect

Tech Domains Cybersecurity, Networking / TCP-IP, Linux

Keywords for Your Resume

Senior Security Research Architectsecurity researcherformal verification methodsmodel writingbounded model checkingunbounded model checkingsymbolic executionarchitectural modelingvalidationsecure system buildingPythonARM assemblyC/C++RDMAhigh-bandwidth networking protocolsPCIeLinux security featuresconfidential computingTLA+network cardsswitchesDPUssecurity and communication protocolsprogramming and debuggingC/C++ programming

Deal Breakers

Must have background in formal verification methods (model writing, bounded/unbounded model checking, and/or symbolic execution), Must have 5+ years of proven experience, Must demonstrate programming and debugging fundamentals in Python, ARM assembly, and C/C++, Must have at least a BSc/MS/PhD in a relevant engineering/computer science field (or equivalent experience)

Apply for this Position →

Get matched to jobs like this

Luna finds roles that fit your skills and career goals — no endless scrolling required.

Create a Free Profile