Snyk is hiring a
Software Engineer

Summary

The job is for a software engineer at Snyk to build the next generation of static code analysis using dataflow analysis, machine learning optimization, and datalog solvers. The role involves developing algorithms, maintaining distributed systems, and collaborating with other teams to deliver an almost real-time code analysis user experience.

Requirements

• 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

Responsibilities

• Developing algorithms/abstractions/representations that analyze millions of lines of code in seconds
• Using or contributing to state-of-the-art Datalog solvers, the 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

Preferred Qualifications

• 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

Benefits

• 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