← All roles

Senior Research Scientist, AI-Enabled Secure Systems

NVIDIA· Research Staff Member
Apply on company site
US, MA, Westford, US, CA, Santa Clara$224k - $356.5kfull-timePosted 4d ago

About the role

Lead AI-enabled research to design, analyze, implement, and verify secure computer systems across hardware, firmware, OS, runtimes, compilers, libraries, and applications, combining generative AI with program analysis, formal methods, synthesis, and computer architecture to design security from the outset and produce trustworthy artifacts at scale.

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; translate advances into practical developer and design capabilities.

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 an established record of research excellence demonstrated through influential publications, open-source systems, patents, technology transfer, or substantial research 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.

Skills

Required:Ph.D. or equivalent research experienceFormal methodsProgram analysisProgramming languagesSoftware/hardware securityAI for code / AI toolingMentorship

Benefits

  • equity
  • benefits (see NVIDIA benefits page)
Last updated Oct 23, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA