Software Engineer (C++)

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 of 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 they are used in practice and how they differ (syntactically and semantically)
• Have worked with datalog or graph database implementations

#J-18808-Ljbffr