Software Engineer

Snyk
Zürich, Switzerland
3 days ago

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Working hours
Regular working hours
Languages
English
Experience level
Intermediate
Compensation
CHF 208K

Job location

Zürich, Switzerland

Tech stack

Automation of Tests
C++
Compilers
Constraint Logic Programming
Linux
Graph Database
Program Analysis
Software Systems
Formal Methods
Programming Languages

Requirements

Do you have a Master's degree?, * 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.

Benefits & conditions

  • 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

About the company

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., 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., 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.

Apply for this position