Track This Job
Add this job to your tracking list to:
- Monitor application status and updates
- Change status (Applied, Interview, Offer, etc.)
- Add personal notes and comments
- Set reminders for follow-ups
- Track your entire application journey
Save This Job
Add this job to your saved collection to:
- Access easily from your saved jobs dashboard
- Review job details later without searching again
- Compare with other saved opportunities
- Keep a collection of interesting positions
- Receive notifications about saved jobs before they expire
AI-Powered Job Summary
Get a concise overview of key job requirements, responsibilities, and qualifications in seconds.
Pro Tip: Use this feature to quickly decide if a job matches your skills before reading the full description.
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.
- 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.
- 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+
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!
JR2007555
Key Skills
Ranked by relevanceReady to apply?
Join NVIDIA and take your career to the next level!
Application takes less than 5 minutes

