Position: Automated program analysis expert (Scala)
Company: Samsung R&D Institute Ukraine
Experience required: 2y
English level: intermediate

Additionally, you will get the opportunity to participate in research activities and strategic prototyping for future Samsung products.

Responsibilities:
learn, refactor, add new source code for in-house Java/ABAP SAST tool written in Scala
Research state-of-the-art static analysis methods, update detection rulesets and reporting functionality
Make regular delivery to end customers, provide maintenance services

Requirements:
Java, 2 years at least (be ready to study Scala)
source code analysis techniques (taint analysis, abstract interpretation)
or: source code testing tools development experience
or: greybox fuzzing (AFL oth.), whitebox fuzzing (symbolic/concolic execution oth.)
at least Bachelor degree, good English

Will be a plus:
Clang, LLVM IR, QEMU development
Java, Python, ABAP (reading with language reference is enough)
Binary reversing

We offer:
Competitive salary, its annual review and different bonuses
Fully official employment 100% complying Ukrainian labor code
28 days of paid annual vacation
Paid days off on Ukrainian official holidays
Paid maternity / paternity, sick leaves
International business trips
Opportunity to become an inventor of international patents with paid bonuses
Financial support for publishing research results and attending top tech conferences
Medical & life insurance for employees and their children
Convenient office location (Business Center ‘101 Tower’)
Lunches’ compensation included to the salary
Discounts for Samsung’s products and partners’ services
English courses
Educational and self-developmental opportunities in software creation, applied domains, soft skills & leadership