Senior Security Research Architect: Formal Verification Lead

NVIDIA Corporation; United Kingdom; Vor Ort; GBP 70.000 - 100.000; Vollzeit

Zusammenfassung

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.

Qualifikationen

• 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.

Aufgaben

• 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.

Kenntnisse

Formal verification methods

Programming in Python

Debugging fundamentals

Communication skills

Teamwork

Ausbildung

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

Tools

C/C++

Jobbeschreibung

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.