AI Research Engineer
Core
Conduct original research at the intersection of AI and automated code reasoning to advance automated reasoning and AI-driven code analysis.
Role type
Senior IC AI Research Engineer (automated reasoning & code analysis)
Builds
Novel AI techniques, prototypes, and research findings for automated code reasoning and code generation
Domain
Cybersecurity + Applied AI (Automated Reasoning, Code Analysis)
Deliverable
production ML models | research
Required skills
Automated reasoning, static/dynamic analysis, formal verification, automated testing, fuzzing, AI/ML for code reasoning, code generation, research publication
Preferred skills
Cybersecurity domain knowledge, Cloud Infrastructure as Code (IaC)
Technologies
Terraform, Pulumi, CDK
Responsibilities
Conduct original research on static/dynamic analysis and formal verification; Invent and apply novel AI techniques to code reasoning challenges; Design and execute automated testing and fuzzing strategies; Publish research findings at top-tier conferences; Collaborate with engineering teams to translate research into the core AI platform
Seniority
Senior, hands-on IC
