SandboxAQ
Static Analysis Engineer
SandboxAQ
$142k - $199k
Remote, United States, Canada, Europe
Python
JavaScript
Java

Static Analysis Engineer

Overview

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.

Job Description

The SandboxAQ Cybersecurity R&D team is looking for a Software Engineer specialized in Static Analysis to help us design and build the core engines that power our asset discovery and code intelligence platforms. A successful candidate will be able to create parsers from scratch, write rules to discover inventory and issues, and put it all into production. You’ll go beyond syntax trees and build systems that can parse, reason about, and extract meaning from massive enterprise codebases across multiple languages. This role is centered on advancing the quality and accuracy of our program analysis, corresponding rules, and data-driven feedback systems that power our engine. Exposure to the domains of AI or cybersecurity is a plus. We’re looking for somebody with the curiosity of a researcher, the rigor of an engineer, and the creativity of a hacker. You will be part of a diverse team consisting of ML experts, cryptographers, mathematicians, and physicists, where they will play a key role in efficient and effective enablement of the cutting-edge technologies being developed at SandboxAQ. We’re not another security vendor chasing patch cycles - we want to make an impact, and we want to do it fast.

Responsibilities

  • - Architect and implement scalable static analysis frameworks (parsers, control & data flow, type inference)
  • - Develop novel techniques to extract AI and/or cryptographic inventory and issues from code
  • - Build custom parsers, analyzers, and rule engines for languages like Python, JavaScript, Java, C++, Go, and more
  • - Partner with our AI and security experts to design interpretable, explainable results from static analysis outputs
  • - Work with engineering and product teams to integrate your findings into real-world systems

Required Skills

  • - Msc or PhD in Computer Science or a related field
  • - Deep expertise in static or semantic code analysis, compilers, or program analysis
  • - Experience with common parser frameworks or parser generators like TreeSitter, Menhir, Yacc or similar
  • - Proficiency in one or more core languages (Python, Go, Kotlin, Java, Rust, TypeScript)
  • - Successful track record of designing and owning features end to end
  • - Experience in the AI domain, whether through projects, coursework, or curiosity
  • - Experience in the cybersecurity domain
  • - Experience contributing to open source projects

Benefits

  • - Eligible for annual discretionary bonuses and equity
  • - Multidisciplinary environment provides ample opportunity for continuous growth
  • - Working alongside humble, empowered, and ambitious colleagues ready to tackle epic challenges

About the company

SandboxAQ builds AI and quantum technology solutions designed to tackle complex problems. By combining expertise across disciplines, the company develops Large Quantitative Models and AI-powered sensing tools. Its work focuses on applying advanced computational methods to real-world use cases, with key industries including finance, healthcare, and telecommunications.


All Job Openings at SandboxAQ