Senior Security Research Architect

NVIDIA

Multiple Locations
Formal verification methods
Security and communication protocols
Networking systems security
Research formal verification methods to prove the safety of security and communication protocols

Job Summary

  • 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.
  • Work with customers and partners to identify and address security issues and threats.

Matching Summary

Research formal verification methods to prove the safety of security and communication protocols.

Skills & Requirements

Must-have

  • formal verification methods
  • security and communication protocols
  • networking systems security
  • architectural modeling and validation
  • Python, ARM assembly, and C/C++ programming

Nice-to-have

  • high-bandwidth networking protocols
  • PCIe devices and switches
  • system security and confidential computing
  • TLA+ experience
  • passion for teamwork

Key Requirements

  • BSc, MS, or PhD or equivalent experience
  • 5+ years of proven experience
  • Background in formal verification methods
  • Programming and debugging fundamentals

Work Rights

Not specified

Tailored Resume

Cover Letter