[Remote] Senior Security Research Architect at NVIDIA

United Kingdom

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years), Expert & Leadership (9+ years)Experience Level

Full TimeJob Type

UnknownVisa

Technology, Networking, AI, High-Performance ComputingIndustries

Requirements

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++
Enjoys 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

Responsibilities

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

Skills

Key technologies and capabilities for this role

formal verificationmodel checkingsymbolic executionPythonARM assemblyC++architectural modelingprotocol verificationnetwork security

Questions & Answers

Common questions about this position

What education and experience are required for the Senior Security Research Architect role?

Candidates need a BSc, MS, or PhD in Electrical Engineering, Computer Science, or Computer Engineering, or equivalent experience, plus 5+ years of proven experience.

What key technical skills are needed for this position?

Background in formal verification methods such as model writing, bounded and unbounded model checking, and symbolic execution is required, along with programming and debugging fundamentals in Python, ARM assembly, and C/C++.

What is the salary or compensation for this role?

This information is not specified in the job description.

Is this a remote position, or is there a location requirement?

This information is not specified in the job description.

What makes a candidate stand out for this role at NVIDIA?

Stand out with background in high-bandwidth networking protocols like RDMA, experience in PCIe devices and switches, system security including Linux features and confidential computing, or experience in TLA+.

What is the company culture like at NVIDIA for this team?

NVIDIA fosters an environment for life's best work with diverse teams, emphasizing excellent communication, passion for teamwork, creativity, autonomy, and high motivation.

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free