Software Engineer

Snyk Snyk · Enterprise · Zurich, Switzerland

Software Engineer to drive the evolution of the backend engine powering Snyk Code, a SAST product. This engine sits at the intersection of advanced program analysis, AI, and massive-scale data processing, analyzing billions of source files daily across 15+ languages. The role involves architecting high-performance algorithms, advancing program analysis methods, and optimizing distributed systems for reliability, low latency, and accuracy.

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. Participating in architectural discussions and elevating code quality through peer reviews and collaborative technical planning.

Skills

Required

  • C++
  • Linux environment
  • 3+ years of experience
  • profiling and optimization
  • distributed systems

Nice to have

  • Program Analysis
  • Compilers
  • Formal Methods
  • MSc, PhD or relevant professional experience
  • programming languages theory and practice
  • security and vulnerability-detection
  • Datalog
  • Graph Databases
  • logic programming

What the JD emphasized

  • professional experience building high-performance systems in C++
  • independent ownership of features from concept to production
  • profiling and optimizing highly-parallel, highly-reliable software systems
  • background in Program Analysis, Compilers or Formal Methods

Other signals

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