Senior Software Engineer

Snyk Snyk · Enterprise · Zurich, Switzerland

Senior Software Engineer to drive the evolution of the backend engine powering Snyk Code, a SAST product. This engine combines advanced program analysis, AI, and large-scale data processing to analyze billions of source files daily across 15+ languages, ensuring secure code for millions of developers by building a fast and accurate system.

What you'd actually do

  1. Architecting high-performance algorithms and representations to analyze millions of lines of code in seconds.
  2. Advancing program analysis methods to extract sophisticated graph-based representations from diverse source languages.
  3. Optimizing, scaling and managing the distributed systems that power our SaaS platform, ensuring high reliability, low latency and ever improving accuracy for our global users.
  4. Leading architectural discussions and elevating code quality through peer reviews and collaborative technical planning.
  5. Taking ownership around software projects and processes that impact our SAST product’s engine.

Skills

Required

  • professional experience building high-performance systems in C++
  • comfortable in a Linux environment
  • 6+ years of experience
  • proven track record of technical leadership and ownership of software systems operating at scale
  • strong communication skills
  • collaborating widely

Nice to have

  • background in Program Analysis, Compilers or Formal Methods (MSc, PhD or relevant professional experience)
  • passion for programming languages; both theory and practice, and how they differ syntactically and semantically
  • interest or experience in security and vulnerability-detection
  • experience with Datalog, Graph Databases, or logic programming

What the JD emphasized

  • high-performance systems in C++
  • technical leadership and ownership of software systems operating at scale
  • highly-parallel, highly-reliable software systems

Other signals

  • AI-native Developer Security Platform
  • analyzing billions of source files daily across 15+ languages
  • advanced program analysis, AI, and massive-scale data processing