Our Opportunity

We’re looking for an experienced and collaborative Senior software engineer to build the next generation of code analysis based on a combination of machine learning and logical reasoning. What we call Snyk’s DeepCode Engine: the most advanced platform for semantic code analysis over BigCode. 

The team will be focused on solving challenges including:

• automatic learning of API specifications and using them to discover new security vulnerabilities
• creating real-time high-precision analyzer based on logical reasoning and machine learning

You’ll Spend Your Time:

• developing algorithms that analyze millions of lines of code in seconds
• using or contributing to a state-of-the-art Datalog solver
• creating distributed systems that use these algorithms to build SaaS applications, delivering the results to users fast
  
• prioritising collaboration, pair programming, and code review

What You’ll Need:

• Program analysis experience or developed large systems using C++
• interest in algorithms and data structures
• Passion to work on a new generation of explainable machine learning tools
• To love working in a fast-paced start-up environment that respects its engineers and customers
• work sustainably, quickly, and iteratively

We’d be Lucky if You: 

• have completed research on machine learning for code

#LI-JW1
#LI-Remote