Job Overview
Our team is looking for a Program Analysis Security Specialist with experience in binary analysis, static analyzers or compilers. As a key member of the Binary Analysis research team, you will collaborate with other engineers to develop and support an in-house program analysis security testing tool for binaries.
Responsibilities
You will work closely with our team to further develop the tool, focusing on improving binary lifting, representation, and algorithms, as well as expanding coverage and rules. You will also be responsible for contributing to the design, implementation, integration, and testing of analysis support in the tool.
Additionally, you will have opportunities to suggest improvements to the architecture and build enhancements within the existing software framework.
Required Skills
* Bachelor's or Master's Degree in Computer Science, Software Engineering or related disciplines
* Demonstrable experience in program analysis, compilers, or reverse engineering (including related subjects)
* 2+ years of programming experience
* Excellent programming skills in C, C++ and/or Python (Haskell and Rust are a plus)
* Ability to work as part of a team as well as independently
* Strong analytical skills combined with good communication skills and fluent English
Desirable Qualifications
* Reverse Engineering Experience with Ghidra, IDA and Binary Ninja
* Understanding of iOS and Android
* Experience with LLVM (or other IRs)
* Understanding and appreciation of software application security
* Experience working with geographically distributed teams
Benefits
* Flexible work from home arrangement
* Collaborative and diverse team environment
* Access to resources of a large global operation
About Us
We are a world-class team of high-caliber security software developers who thrive on new challenges. We value people who can use their program analysis and data analytics skills to further develop and enhance our tools, as well as support new reverse engineering features or vulnerability types.