# Senior Research Scientist

**Company**: NVIDIA
**Experience**: senior
**Job type**: full-time
**Salary**: 224,000 USD - 356,500 USD for Level 5, and 272,000 USD - 431,250 USD for Level 6
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/US-MA-Westford/Senior-Research-Scientist--AI-Enabled-Secure-Systems_JR2028202?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_f29b4f1e-ec1

## Description

We are looking for a Senior Research Scientist to lead research on using AI to design, analyze, implement, and verify secure computer systems.

The work spans hardware architectures, firmware, operating systems, runtimes, compilers, libraries, and applications, combining advances in generative AI and agents with program analysis, formal methods, synthesis, computer architecture, and software engineering.

The goal is to make security a property that can be designed and verified from the outset rather than added after deployment.

You will create AI-enabled techniques that help researchers and engineers express security requirements, explore designs, identify flaws, generate secure implementations, construct or check proofs, and produce trustworthy hardware and software artifacts at practical 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; and translate advances into practical developer and design capabilities.

**Requirements**

- 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 one or more relevant areas such as 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.

The base salary range is 224,000 USD - 356,500 USD for Level 5, and 272,000 USD - 431,250 USD for Level 6.

You will also be eligible for equity and benefits.

## Skills

### Required
- AI
- secure computer systems
- hardware architectures
- firmware
- operating systems
- compilers
- libraries
- applications
- formal methods
- program analysis
- synthesis
- computer architecture
- software engineering
- C
- C++
- Python
- hardware description languages
- theorem provers
- analysis frameworks
- AI/ML tooling

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/US-MA-Westford/Senior-Research-Scientist--AI-Enabled-Secure-Systems_JR2028202?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)