Senior Security Research Architect, Senior Security Research Architect

NVIDIA; Santa Clara (CA); On-site; GBP 70,000 - 100,000; Full time

Job summary

A leading technology firm in the United Kingdom is seeking a Senior Security Research Architect to advance cybersecurity in networking products. The ideal candidate will have a strong background in formal verification methods and solid programming skills. This role involves collaborating across teams to address security challenges and implementing architecture solutions to enhance the security of high-performance networking systems. The company fosters a creative and autonomous work environment.

Qualifications

• 5+ years of proven experience in the field.
• Solid programming skills and a deep understanding of secure system building.
• Proven track record of leading features across teams.

Responsibilities

• Research formal verification methods for security protocols.
• Collaborate across teams to improve security of networking products.
• Identify and address security issues with customers and partners.

Skills

Formal verification methods

Programming in Python

Debugging fundamentals

Communication skills

Teamwork

Education

BSc, MS, or PhD in Electrical Engineering, Computer Science, or Computer Engineering

Tools

C/C++

Job description

Join to apply for the Senior Security Research Architect role at NVIDIA.

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!

Seniority Level

• Mid‑Senior level

Employment Type

• Full-time

Job Function

• Computer Hardware Manufacturing, Software Development, and Computers and Electronics Manufacturing