Software Engineer, Static Analysis

SandboxAQ is a high-growth company delivering AI solutions that address some of the world's greatest challenges. The Software Engineer, Static Analysis will design and build core engines for asset discovery and code intelligence platforms, focusing on scalable static analysis frameworks and collaborating with multidisciplinary teams.

Responsibilities:

• Architect and implement scalable static analysis frameworks, including parsers, control and data flow, and type inference
• Develop novel techniques to extract AI and/or cryptographic inventory and issues directly from code
• Build custom parsers and rule engines for a variety of languages such as Python, JavaScript, Java, C++, and Go
• Partner with AI and security experts to design interpretable and explainable results from static analysis outputs
• Collaborate with engineering and product teams to integrate your findings and analysis engines into real-world systems

Requirements:

• Program Analysis Expertise: 2+ years of experience with static or semantic code analysis, compilers, or general program analysis
• Parser Frameworks: Experience with common parser generators or frameworks such as Tree-sitter, Menhir, or Yacc
• Technical Proficiency: Strong skills in one or more core languages, including Python, Go, Kotlin, Java, Rust, or TypeScript
• Proven Track Record: Successful experience designing and owning complex technical features from end to end
• Advanced Degree: MSc or PhD in Computer Science or a related technical field
• Domain Knowledge: Experience in the AI or cybersecurity domains through projects or professional work
• Community Engagement: Experience contributing to or maintaining open-source projects
• Production Skills: Ability to create parsers from scratch and successfully deploy them into production environments