AI-Enabled Secure Systems Research Lead - Equity

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 seeks a Senior Research Scientist to lead AI-enabled secure system design across hardware, firmware, operating systems, runtimes, compilers, libraries, and applications. You will develop models, tools, and proofs to express security requirements and explore designs while collaborating with research, product, and engineering teams.

You will publish original research, mentor researchers and interns, and translate advances into practical developer and design capabilities, shaping

Qualifications

• A Ph.D. in Computer Science, Computer Engineering, Electrical Engineering, or a related field, or equivalent research experience.
• 6+ years of relevant experience with a track record of publications, open-source work, patents, technology transfer, or collaborations.
• Deep expertise in formal methods, program analysis, programming languages, software or hardware security, computer architecture, compilers, AI for code, or automated reasoning and synthesis.
• Experience defining and leading ambiguous, multi-disciplinary research projects and providing technical mentorship.
• Strong implementation and experimental skills in C, C++, Python, hardware description languages, theorem provers, analysis frameworks, or relevant AI/ML tooling.
• Excellent written and verbal communication skills and the ability to connect foundational research with real engineering and product needs.

Responsibilities

• Define a high-impact research agenda and lead projects in AI-enabled secure system design, implementation, analysis, and verification.
• Develop models, agents, and tools for security requirements and specification, threat modeling, architecture exploration, secure code and hardware generation, program analysis, synthesis, and proof construction.
• Combine AI techniques with static and dynamic analysis, formal verification, symbolic reasoning, testing, and domain-specific security knowledge to produce reliable and machine-checkable results.
• Build end-to-end prototypes and evaluate them on realistic hardware and software systems, measuring security, correctness, scalability, performance, and human productivity.
• Collaborate across hardware, software, AI, research, and product teams; publish original research; mentor researchers and interns; and translate advances into practical developer and design capabilities.

Skills

C/C++

Python

Formal methods

Program analysis

AI/ML tooling

Education

PhD in Computer Science / Computer Engineering / Electrical Engineering or related field

Tools

Theorem provers

Analysis frameworks

Hardware description languages

Job description

NVIDIA Corporation seeks a Senior Research Scientist to lead AI-enabled secure system design across hardware, firmware, operating systems, runtimes, compilers, libraries, and applications. You will develop models, tools, and proofs to express security requirements and explore designs while collaborating with research, product, and engineering teams.

You will publish original research, mentor researchers and interns, and translate advances into practical developer and design capabilities, shaping