Basic

Software Engineer (Program Analysis)

Zürich, Zurich, Switzerland Company: TN Switzerland Client / Employer: Snyk
Posted: 18.05.2026
Closing date: 02.07.2026
Job reference: 064748a8ddf8da5173aff6e94f53d17e

Job information

Location
Zürich, Zurich, Switzerland
Company
TN Switzerland
Client / Employer
Snyk
Job reference
064748a8ddf8da5173aff6e94f53d17e
Listing type
Basic
EU work permit required
No
Posted
18.05.2026
Closing date
02.07.2026

Job description

Every day, the world gets more digital thanks to tens of millions of developers building the future faster than ever. But with exponential growth comes exponential risk, as outnumbered security teams struggle to secure mountains of code. This is where Snyk (pronounced “sneak”) comes in. Snyk is a developer security platform that makes it easy for development teams to find, prioritize, and fix security vulnerabilities in code, dependencies, containers, and cloud infrastructure — and do it all right from the start. Snyk is on a mission to make the world a more secure place by empowering developers to develop fast and stay secure.

Joining Snyk means embracing our core values: One Team, Care Deeply, Customer Centric, and Forward Thinking. As a member of our team, you’ll have the opportunity to thrive in a dynamic environment where fostering collaboration, leading with empathy, driving business impact, and inspiring trust are at the heart of everything we do.

Our Opportunity

We’re looking for an experienced and collaborative software engineer to build the next generation of static code analysis based on a combination of highly-scalable dataflow analysis, a database of the latest security vulnerabilities, and machine learning optimization trained on big code. What we call Snyk’s DeepCode Engine: the most advanced platform for security code analysis.

The team will be focused on solving challenges including:

  • maintaining and improving multiple specialized state of the art datalog engines
  • keeping the DeepCode engine scalable while new features are added, allowing it to run on hundreds of thousands open source projects (Big Code)
  • collaborating with other teams to deliver an almost real time code analysis user experience
  • You’ll Spend Your Time:

  • developing algorithms/abstractions/representations that analyze millions of lines of code in seconds
  • using or contributing to state-of-the-art Datalog solvers, our unique approach to interfile analysis, or the engine that detects thousands of vulnerabilities concurrently
  • maintaining distributed systems that use these algorithms to build SaaS applications, delivering the results to users quickly, reliably, and with ever improving accuracy
  • What You’ll Need:

  • Have developed large systems using C++
  • Are interested in algorithms and data structures; developing, profiling, and optimizing a highly-parallel, highly-reliable, complex software system
  • Prioritize collaboration, and code review
  • Work sustainably, quickly, and iteratively
  • Love working on innovative state-of-the-art projects in an environment that respects its engineers and customers
  • We’d be Lucky if You:

  • have program analysis/compiler experience
  • have passion for programming languages; the theory but equally importantly how are they used in practise and how they differ (syntactically and semantically)
  • have worked with datalog or graph database implementations
  • #LI-JW1

    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!

    About Snyk

    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.

    Benefits & Programs

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

    ABAP adapt to changes in technological development plans AJAX Ajax Framework analyse software specifications Ansible Apache Maven Apache Tomcat APL ASP.NET Assembly (computer programming) blockchain openness blockchain platforms C COBOL CoffeeScript collect customer feedback on applications Common Lisp computer programming create flowchart diagram cyber attack counter-measures data visualisation software debug software defence standard procedures define technical requirements design user interface develop automated migration methods develop creative ideas develop software prototype do cloud refactoring Drupal Eclipse (integrated development environment software) engineering principles engineering processes Erlang Git Groovy Haskell IBM WebSphere ICT debugging tools ICT security legislation identify customer requirements integrate system components integrated development environment software Internet of Things interpret technical requirements Java (computer programming) JavaScript JavaScript Framework Jenkins (tools for software configuration management) KDevelop Laravel Lisp manage engineering project Matlab Microsoft Visual C++ migrate existing data ML (computer programming) MySQL NoSQL object-oriented modelling Objective-C OpenEdge Advanced Business Language Oracle Application Development Framework Pascal (computer programming) perform scientific research Perl PHP Project Management Prolog (computer programming) Puppet (tools for software configuration management) Python (computer programming) R Ruby (computer programming) Salt (tools for software configuration management) SAP R3 SAS language Scala Scratch (computer programming) screen reader Smalltalk (computer programming) smart contract software anomalies software frameworks Spark SQL STAF Swift (computer programming) technical drawings tools for software configuration management Trading Software TypeScript use an application-specific interface use automatic programming use concurrent programming use functional programming use logic programming use object-oriented programming use query languages use software design patterns use software libraries use technical drawing software utilise computer-aided software engineering tools utilise machine learning VBScript Visual Basic Web Services WordPress World Wide Web Consortium standards Xcode

    Similar jobs

    Suggested jobs

    Eurojobs Support Assistant