Senior Research Scientist, AI-Enabled Secure Systems

What you'll do

• Set research direction and lead projects in AI-enabled secure system design and verification.
• Develop and evaluate models, agents, tools, and end-to-end prototypes for security specification, analysis, secure generation, and proof checking.
• Collaborate across research and engineering teams, publish research, mentor researchers and interns, and translate advances into practical capabilities.

What they ask for

• Ph.D. in Computer Science, Computer Engineering, Electrical Engineering, or a related field, or equivalent research experience.
• Established research record 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 leading multidisciplinary research projects and providing technical mentorship; strong implementation, experimental, and communication skills.

Pay

224,000 USD - 356,500 USD base salary (Level 5); 272,000 USD - 431,250 USD base salary (Level 6)

Tools

C, C++, Python, hardware description languages, theorem provers, analysis frameworks, AI/ML tooling

AI focus

Use generative AI and agents with program analysis, formal methods, synthesis, and related techniques to specify security requirements, explore designs, identify flaws, generate secure implementations, and construct or check proofs.