hero
51
companies
1,302
Jobs

Senior Software Engineer (Program Analysis)

Snyk

Snyk

Software Engineering
London, UK · Zürich, Switzerland
Posted on Monday, May 13, 2024

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 Senior 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:

  • improving the analysis of many (12+, and you will add more) programming languages (modifying parsers, improving precision of the abstraction, optimizing the performance, etc.)
  • introducing/optimizing intermediate representations of the analysis that allow it to scale to the largest code repositories while being field, flow, and context sensitive
  • collaborate on applications of ML to scale the security analysis (optional)

You’ll Spend Your Time:

  • developing algorithms/abstraction/representations that analyze millions of lines of code in seconds
  • using or contributing to a state-of-the-art Datalog solver, 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:

  • program analysis/compiler experience and developed large systems using C++
  • interested in algorithms and data structures; developing, profiling, and optimizing a highly-parallel, highly-reliable, complex software system
  • prioritise collaboration, pair programming, and code review
  • work sustainably, quickly, and iteratively
  • love working in a fast-paced start-up environment that respects its engineers and customers
  • want to contribute to a new generation of explainable machine learning tools

We’d be Lucky if You:

  • have completed research in parsers/compilers/program analysis
  • have passion for programming languages; the theory but equally importantly how are they used in practise and how they differ (syntactically and semantically)
  • have completed research on machine learning for code

#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