Software Engineer, DevOps

Location: Zürich

** Privacy Information
** We and our partners are using tracking technologies to process personal data in order to improve your experience. You may always exercise your consumer right to opt-out. For detailed information about personal information we collect and third parties having access to it, please select ‘More Information’ or refer to our privacy policy.

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.

Our mission is to empower every developer to innovate securely in the AI era — boosting productivity while reducing business risk. We’re not your average security company - we build Snyk on One Team, Care Deeply, Customer Centric, and Forward Thinking.

It’s how we stay driven, supportive, and always one step ahead as AI reshapes our world.
**** Software Engineer - Code Analysis******(Zurich, Switzerland)
**** 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.
**** Our mission is to empower every developer to innovate securely in the AI era — boosting productivity while reducing business risk. We’re not your average security company - we build Snyk on One Team, Care Deeply, Customer Centric, and Forward Thinking.
**** It’s how we stay driven, supportive, and always one step ahead as AI reshapes our world.
****** Our Opportunity:
****** 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.
****** You’ll spend your time:****
* ** 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.
****** You should apply if you:****
* ** 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).
****** We’d especially love to hear from you if you:****
* ** 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…