Senior Security Research Architect: Formal Verification Lead

NVIDIA; United Kingdom; 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

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.