Software Engineer, Solvers and APIs

We’re looking for a software engineer with an algorithmic background to build the next generation of Datalog solvers. This solver is the core part of Snyk’s DeepCode Engine: the most advanced platform for semantic code analysis over BigCode.

The team is focused on solving challenges including:

• creating real-time high-precision analyzer based on logical reasoning and machine learning
• utilizing ML and program analysis results over extremely large learning date sets.
• automatically creating training data sets.
• advancing the technology and research for high precision real-time program analysis

You’ll spend your time:

• developing algorithms that analyze millions of lines of code in seconds
• writing compilers that transform a huge state-of-the-art knowledge base of program facts into executable code
• creating distributed systems that use these algorithms to build SaaS applications, delivering real-time result to developers around the world

Experience Required

• have an advanced degree, with excellent grades, in the area of machine learning from a top university. Ideally with focus on using software code as semantic data and synthesis.
• have program analysis, compiler/interpreter writing experience or developed large systems using C++
• are interested and experienced in algorithms and data structures
• have full working proficiency in English (our main company language).
• have strong and recognized background in applied mathematics (for example: grades, related courses, awards or even TAs)
• love working in a fast-paced start-up environment that respects its engineers and customers
• prioritize collaboration, pair programming, and code review
• work sustainably, quickly, and iteratively

Advantageous

• have completed research or have practical experience with writing compilers, interpreters, database engines or Datalog solvers

About Snyk

Snyk’s mission is to help developers use open source code and stay secure.

The use of open source is booming, but security is a key concern (https://snyk.io/stateofossecurity/). Snyk’s unique product enables developers and enterprise security teams to continuously find & fix vulnerable dependencies without slowing down, offering seamless integration into Dev, DevOps, and DevSecOps workflows. We care deeply about the quality and usefulness of the tools we develop, always focusing on our customers and users.

We are experiencing rapid growth - and we want you to join us! By the end of Q3 2019 alone, Snyk was already adopted by over 450,000 developers, including multiple enterprise customers (such as Google, New Relic, ASOS, and others). We also raised an additional $150 Million, announced January 21st, 2020, from investors such as Stripes and Salesforce Ventures, demonstrating that they are as excited as we are by Snyk’s progress and potential.

We believe open-source software is a force for good, and we’re building Snyk to make it easier for developers who aren’t security experts to stay secure.