Software Engineer, Static Analysis

About SandboxAQ

SandboxAQ is a high-growth company delivering AI solutions that address some of the world's greatest challenges. The company’s Large Quantitative Models (LQMs) power advances in life sciences, financial services, navigation, cybersecurity, and other sectors.

We are a global team that is tech-focused and includes experts in AI, chemistry, cybersecurity, physics, mathematics, medicine, engineering, and other specialties. The company emerged from Alphabet Inc. as an independent, growth capital-backed company in 2022, funded by leading investors and supported by a braintrust of industry leaders.

At SandboxAQ, we’ve cultivated an environment that encourages creativity, collaboration, and impact. By investing deeply in our people, we’re building a thriving, global workforce poised to tackle the world's epic challenges. Join us to advance your career in pursuit of an inspiring mission, in a community of like-minded people who value entrepreneurialism, ownership, and transformative impact.

The Opportunity

You will be part of a diverse team consisting of ML experts, cryptographers, mathematicians, and physicists. We are not another security vendor chasing patch cycles—we want to make an impact, and we want to do it fast. This multidisciplinary group plays a key role in the efficient and effective enablement of the cutting-edge technologies being developed at SandboxAQ.

The SandboxAQ Cybersecurity R&D team is looking for a Software Engineer, Static Analysis to join our team. This role is central to our efforts to design and build the core engines that power our asset discovery and code intelligence platforms.

You will go beyond syntax trees to build systems that can parse, reason about, and extract meaning from massive enterprise codebases across multiple languages. We are looking for someone with the curiosity of a researcher, the rigor of an engineer, and the creativity of a hacker to advance the quality and accuracy of our program analysis and data-driven feedback systems.

Key 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.

Essential Skills & Experience

• 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.

Highly Desired Skills & Experience

• 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.

Why Join Us?

We offer a comprehensive and competitive benefits package designed to support your health, financial well-being, and life outside of work.

• Compensation: Competitive base salary, performance-based incentives or bonuses (where applicable), and equity participation.
• Benefits: Comprehensive medical, dental, and vision coverage for employees and dependents with generous employer premium contributions, retirement savings with company matching, paid parental leave, and inclusive family-building benefits.
• Work-Life Balance: Flexible paid time off, company-wide seasonal breaks, and support for flexible work arrangements that enable sustainable performance.
• Career Development: Opportunities for continuous learning and growth through on-the-job development, cross-functional collaboration, and access to internal learning and development programs.

SandboxAQ Welcomes All

We are committed to fostering a culture of belonging and respect, where diverse perspectives are actively sought and valued. Our multidisciplinary environment provides ample opportunity for continuous growth - working alongside humble, empowered, and ambitious colleagues ready to tackle epic challenges.

Key skills/competency

• Static Analysis
• Program Analysis
• Code Intelligence
• Parsers
• Control Flow
• Data Flow
• Type Inference
• AI Inventory
• Cryptographic Inventory
• Cybersecurity R&D