Lead research on AI-enabled secure system design, implementation, analysis, and verification across hardware and software. Develop models, agents, and tools for security requirements, threat modeling, secure code and hardware generation, program analysis, synthesis, and proof construction. Build and evaluate prototypes, publish research, collaborate with engineering and product teams, and mentor researchers and interns.
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. NVIDIA is a leader in accelerated computing and AI systems. This role offers the opportunity to set research direction, influence future platforms, and translate foundational advances into practical capabilities in collaboration with research, product, and engineering teams.
What you'll be doing:
- 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.
What we need to see:
- 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.
We are looking for a creative, collaborative, and self-directed researcher who wants to use AI to change how secure computer systems are conceived, built, and verified.
Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. 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.
This posting is for an existing vacancy.
NVIDIA uses AI tools in its recruiting processes.
NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.Similar Jobs
Artificial Intelligence • Fintech • Insurance • Marketing Tech • Software • Analytics
Lead Reinsurance Accountant responsible for preparing complex captive and reinsurance financial reports, general ledger entries, reconciliations, accounting research, trend analysis, and process improvements. The role reviews report accuracy, resolves discrepancies, supports internal and external partners, and communicates financial issues to senior management. Candidates need a bachelor’s degree in Accounting or Finance, at least five years of accounting or finance experience, strong accounting knowledge, attention to detail, adaptability, and effective communication skills.
Information Technology • Security • Software • Cybersecurity • App development • Data Privacy
Conduct fundamental research on on-device LLM efficiency and optimization. Develop proposals, survey academic literature, formulate hypotheses, and run experiments involving quantization, fine-tuning, compression, decoding, and model architectures. Collaborate with internal teams and academic labs, transition prototypes into production, publish at leading AI conferences, and independently drive research initiatives from ideation through implementation.
Top Skills:
Adapter MethodsC++GpuJaxKnowledge DistillationKv-Cache CompressionLarge Language Models (Llms)LoraMetalMixture-Of-Experts (Moe)MlxNatural Language Processing (Nlp)Parameter-Efficient Fine-TuningPythonPyTorchQuantizationSpeculative DecodingTensorFlow
AdTech • eCommerce • Food • Marketing Tech • Retail
Manages retail media advertiser and supplier relationships throughout pre- and post-sales campaign processes. Develops media recommendations, supports sales materials and contracts, coordinates creative and asset collection, manages campaign setup and trafficking, monitors performance and pacing, communicates optimizations, oversees billing, and finalizes campaign reports. The role also maintains CRM accuracy, manages timelines, and collaborates with analytics, finance, campaign management, and other cross-functional teams.
Top Skills:
Ad Server PlatformsCrm ToolsGoogle Suite
What you need to know about the Charlotte Tech Scene
Ranked among the hottest tech cities in 2024 by CompTIA, Charlotte is quickly cementing its place as a major U.S. tech hub. Home to more than 90,000 tech workers, the city’s ecosystem is primed for continued growth, fueled by billions in annual funding from heavyweights like Microsoft and RevTech Labs, which has created thousands of fintech jobs and made the city a go-to for tech pros looking for their next big opportunity.
Key Facts About Charlotte Tech
- Number of Tech Workers: 90,859; 6.5% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Lowe’s, Bank of America, TIAA, Microsoft, Honeywell
- Key Industries: Fintech, artificial intelligence, cybersecurity, cloud computing, e-commerce
- Funding Landscape: $3.1 billion in venture capital funding in 2024 (CED)
- Notable Investors: Microsoft, Google, Falfurrias Management Partners, RevTech Labs Foundation
- Research Centers and Universities: University of North Carolina at Charlotte, Northeastern University, North Carolina Research Campus
