[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

formal verification

model checking

symbolic execution

Python

ARM assembly

C++

architectural modeling

protocol verification

network security

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