Lead AI-Driven Secure Systems Research Scientist

NVIDIA Corporation; Santa Clara (CA); On-site; USD 224,000 - 431,000; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA Corporation in Santa Clara, CA is seeking a Senior Research Scientist to lead AI-enabled research on secure computer systems spanning hardware, firmware, OS, runtimes, compilers, and software.

The role focuses on designing verifiable security from the outset, developing AI-driven methods for requirements, threat modeling, and proof construction, and translating advances into practical capabilities with cross-disciplinary teams.

Qualifications

• PhD or equivalent in related field with 6+ years research experience.
• Proven track record through publications, patents, or collaborations.
• Deep expertise in formal methods, program analysis, or AI for code.
• Experience leading multi-disciplinary research projects and mentoring.

Responsibilities

• Define a high-impact research agenda and lead AI-enabled secure system design projects.
• Develop models, agents, and tools for security requirements and threat modeling.
• Combine AI with analysis and formal verification to produce reliable results.
• Build end-to-end prototypes and evaluate on realistic hardware/software systems.
• Collaborate across hardware, software, AI, research, and product teams; publish research.

Skills

AI for code

Formal methods

Program analysis

Software security

Computer architecture

Compilers

C/C++

Python

Automated reasoning

Mentorship

Education

PhD or equivalent

Job description

NVIDIA Corporation in Santa Clara, CA is seeking a Senior Research Scientist to lead AI-enabled research on secure computer systems spanning hardware, firmware, OS, runtimes, compilers, and software.

The role focuses on designing verifiable security from the outset, developing AI-driven methods for requirements, threat modeling, and proof construction, and translating advances into practical capabilities with cross-disciplinary teams.