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