and should we offer you the position, the remote option will be at the hiring
manager’s discretion. Please note, you must not have any working restrictions
in the country where this job is located. Check out our Flexwork policy for
more information
Location: Israel, Switzerland, UK
We’re looking for an experienced and collaborative 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 analyser based on logical reasoning and machine learning
You’ll Spend Your Time
* developing algorithms that analyse 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
You Should Apply If You
* have significant experience in algorithms and data structures, in industry or academia (M.Sc/Ph.D)
* want to work on a new generation of explainable machine learning tools
* have program analysis experience or developed large systems using C/C++
* love working in a fast-paced start-up environment that respects its engineers and customers
* prioritise collaboration, pair programming, and code review
* work sustainably, quickly, and iteratively
We’d especially love to hear from you if you:
* have completed research on machine learning for code
* understand the importance of testing and code quality
Interested?
Please apply below! We care deeply about the warm, inclusive environment we’ve
created and we value diversity – we welcome applications from those typically
underrepresented in tech. If you like the sound of this role, but are not
totally sure whether you’re the right person, do apply anyway 🙂
About Snyk
Snyk is the leader in developer security. We empower the world's developers to
build secure applications and equip security teams to meet the demands of the
digital world. Our developer-first approach ensures organizations can secure
all of the critical components of their applications from code to cloud,
leading to increased developer productivity, revenue growth, customer
satisfaction, cost savings and an overall improved security posture.
Snyk's Developer Security Platform automatically integrates with a developer's
workflow and is purpose-built for security teams to collaborate with their
development teams. Snyk is used by 1,200 customers worldwide today, including
industry leaders such as Asurion, Google, Intuit, MongoDB, New Relic, Revolut
and Salesforce.
Snyk is recognized on the Forbes Cloud 100 2021, the 2021 CNBC Disruptor 50
and was named a Visionary in the 2021 Gartner Magic Quadrant for AST.
