Senior Security Research Architect
NVIDIA(3 months ago)
About this role
A Senior Security Researcher in NVIDIA's architecture group focused on advancing cybersecurity for high-performance networking products such as network cards, switches, and DPUs. The role centers on applying formal verification methods and working across hardware, software, research, and product teams to improve the security of networking systems. The position involves engagement with customers and partners to identify and address security threats.
Required Skills
- Formal Verification
- Model Writing
- Model Checking
- Symbolic Execution
- Python
- ARM Assembly
- C++
- Architectural Modeling
- Protocol Design
- Debugging
+5 more
Qualifications
- BSc, MS, or PhD in Electrical Engineering, Computer Science, or Computer Engineering
About NVIDIA
nvidia.comNVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
View more jobs at NVIDIA →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at NVIDIA
Similar Jobs
Distinguished Formal Verification
Astera Labs(12 hours ago)
Firmware Verification Engineer (m/f/d)
NXP Semiconductors(2 months ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)
FVCTO - Formal Verification Engineer
Intel(1 month ago)
FVCTO - Formal Verification Engineer
Intel(5 days ago)
2026 - Research Intern, San Francisco
Alumni Network Job Board(27 days ago)