Static Analysis Engineer

SandboxAQ

Job Summary

SandboxAQ is seeking a Static Analysis Engineer for its Cybersecurity R&D team. This role involves designing and building core engines for asset discovery and code intelligence platforms. The engineer will create parsers, write rules to identify inventory and issues, and deploy these systems to analyze large enterprise codebases across multiple languages. The position focuses on enhancing program analysis quality, accuracy, and data-driven feedback systems, working with AI and security experts to deliver interpretable results.

Must Have

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

Good to Have

  • Experience in the AI domain
  • Experience in the cybersecurity domain
  • Experience contributing to open source projects

Perks & Benefits

  • Investment in employees' personal and professional growth
  • Inclusive culture with zero tolerance for discrimination
  • Reasonable accommodations for individuals with disabilities

Job Description

Static Analysis Engineer

Location

United States, Canada, Europe

Employment Type

Full time

Location Type

Remote

Department

Cybersecurity

Compensation

  • $142K – $199K

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.

About the Role

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.

Core 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 Qualifications

  • 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

Desirable Qualifications

  • Experience in the AI domain, whether through projects, coursework, or curiosity
  • Experience in the cybersecurity domain
  • Experience contributing to open source projects

The US base salary range for this full-time position is expected to be $xk - $xk per year. Our salary ranges are determined by role and level. Within the range, individual pay is determined by factors including job-related skills, experience, and relevant education or training. This role may be eligible for annual discretionary bonuses and equity.

SandboxAQ Welcomes All

We are committed to creating an inclusive culture where we have zero tolerance for discrimination. We invest in our employees' personal and professional growth. Once you work with us, you can’t go back to normalcy because great breakthroughs come from great teams and we are the best in AI and quantum technology.

Equal Employment Opportunity: All qualified applicants will receive consideration regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, or Veteran status.

Accommodations: We provide reasonable accommodations for individuals with disabilities in job application procedures for open roles. If you need such an accommodation, please let a member of our Recruiting team know.

Read: Guidance for candidates on using AI Tools in interviews

Compensation Range: $142K - $199K

Apply for this Job

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

10 Skills Required For This Role

Cpp Data Structures Unity Game Texts Rust Kotlin Python Typescript Javascript Java