Senior Research Scientist, AI-Enabled Secure Systems
Core
Lead research on using AI to design, analyze, implement, and verify secure computer systems across hardware, firmware, OS, and compilers.
Role type
Senior Research Scientist (AI-Enabled Secure Systems)
Builds
AI-enabled techniques for security requirements, threat modeling, architecture exploration, secure code/hardware generation, and proof construction.
Domain
Computer Security + AI/ML + Formal Methods
Deliverable
production ML models
Required skills
Formal methods, program analysis, programming languages, software/hardware security, computer architecture, compilers, AI for code, automated reasoning/synthesis
Preferred skills
Leading ambiguous multi-disciplinary research projects, technical mentorship
Technologies
C, C++, Python, hardware description languages, theorem provers, analysis frameworks, AI/ML tooling
Responsibilities
Define high-impact research agenda; develop models/agents/tools for security tasks; combine AI with static/dynamic analysis and formal verification; build end-to-end prototypes; collaborate across teams, publish research, and mentor researchers.
Seniority
Senior, hands-on IC with research leadership
