Software Engineer, Cloud Engineer - Software, DevOps

Snyk is the leader in secure AI software development, helping millions of developers develop fast and stay secure as AI transforms how software is built. Our AI‑native Developer Security Platform integrates seamlessly into development and security workflows, making it easy to find, fix, and prevent vulnerabilities – from code and dependencies to containers and cloud.

We’re looking for a collaborative Software Engineer to drive the evolution of the backend engine powering Snyk Code, our market‑leading Static Application Security Testing (SAST) product. This engine sits at the rare intersection of advanced program analysis, AI, and massive‑scale data processing, analyzing billions of source files daily across 15+ languages. You will play a key role in ensuring secure code for millions of developers by building a system that is fast and accurate.

• Architecting high‑performance algorithms and representations to analyze millions of lines of code in seconds.
• Advancing program analysis methods to extract sophisticated graph‑based representations from diverse source languages.
• 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.
• Participating in architectural discussions and elevating code quality through peer reviews and collaborative technical planning.

• Have professional experience building high‑performance systems in C++ and are comfortable in a Linux environment.
• Are a mid‑level professional with 3+ years of experience who can independently own features from concept to production.
• Are driven by complexity—you enjoy profiling and optimizing highly‑parallel, highly‑reliable software systems.
• Value sustainable engineering practices, seeing documentation and automated testing as key to long‑term impact.
• Are comfortable with a hybrid working environment, collaborating onsite at least 3 days weekly in our Zurich office (adjacent to Zurich HB station).

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

We care deeply about the warm, inclusive environment we’ve created and we value diversity – we welcome applications from those typically underrepresented in tech. If you like the sound of this role but are not totally sure whether you’re the right person, do apply anyway!

Snyk is committed to creating an inclusive and engaging environment where our employees can thrive as we rally behind our common mission to make the digital world a safer place. From Snyk employee resource groups, to global benefits that help our employees prioritize their health, wellness, financial security, and a work/life blend, we aim to support our employees along their entire journeys here at Snyk.

• Prioritize health, wellness, financial security, and life balance with programs tailored to your location and role.
• Flexible working hours, work‑from‑home allowances, in‑office perks, and time off for learning and self‑development.
• Generous vacation and wellness time off, country‑specific holidays, and 100% paid parental leave for all caregivers.
• Health benefits, employee assistance plans, and annual wellness allowance.
• Country‑specific life insurance, disability benefits, and retirement/pension programs, plus mobile phone and education allowances.