Senior Security Research Architect: Networking Verification

NVIDIA; Cambridge; On-site; GBP 70,000 - 90,000; Full time

Job summary

A leading technology firm in the United Kingdom is seeking a Senior Security Researcher to enhance cybersecurity in networking products. The ideal candidate will have over 5 years of experience in cybersecurity and a strong background in formal verification methods. Responsibilities include researching security protocols and collaborating with various teams to implement robust security solutions. This role offers an opportunity to work on groundbreaking projects in a dynamic environment.

Qualifications

• 5+ years of proven experience in cybersecurity.
• Strong experience with model writing and debugging across multiple languages.
• Proven track record of leading features across teams.

Responsibilities

• Research formal verification methods for security protocols.
• Collaborate with various teams to secure networking products.
• Develop architecture solutions integrating security features.

Skills

Formal verification methods

Programming (Python, C/C++)

Team collaboration

Security systems knowledge

Education

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

Job description

A leading technology firm in the United Kingdom is seeking a Senior Security Researcher to enhance cybersecurity in networking products. The ideal candidate will have over 5 years of experience in cybersecurity and a strong background in formal verification methods. Responsibilities include researching security protocols and collaborating with various teams to implement robust security solutions. This role offers an opportunity to work on groundbreaking projects in a dynamic environment.