Binary Analysis Research Engineer
Description For Binary Analysis Research Engineer
Galois is seeking a Binary Analysis Research Engineer to join their team focused on advancing program analysis research. The role combines cutting-edge research with practical application in security-critical systems. As part of a collaborative, employee-owned company, you'll work on designing and developing advanced technologies for safety- and security-critical systems. The position requires expertise in binary analysis, reverse engineering, and formal verification techniques. You'll be working in small teams, interacting directly with clients, and contributing to high-assurance systems development. The role offers a comprehensive benefits package including ESOP, generous PTO, and parental leave. The company emphasizes trust, innovation, and work-life balance, providing opportunities for professional growth and personal development. This position requires working from one of Galois' office locations and the ability to obtain a security clearance. The company's mission focuses on assuring trust in critical systems through formal analysis techniques and mathematical verification.
Responsibilities For Binary Analysis Research Engineer
- Requirements gathering and client engagement
- Architecture and design of software systems
- Implementation and product development
- Formal verification using mechanical reasoning tools
- Testing and validation
- Technology research and development
- Technical infrastructure development
- Developing tools and library code
Requirements For Binary Analysis Research Engineer
- Bachelor's degree in computer science or equivalent (MS or PhD preferred)
- Hands-on experience developing software and implementing formal verification techniques
- Familiarity with binary analysis and reverse engineering techniques
- Experience with tools like Ghidra, IDA Pro, Binary Ninja, and fuzzers
- Experience developing program analysis capabilities in Haskell
- Proficiency in C/C++ and knowledge of assembly language
- Must be able to obtain and retain a security clearance
- Strong written, verbal, and presentation skills
- Self-managed with ability to meet deadlines and quality goals
Benefits For Binary Analysis Research Engineer
- Employee Stock Ownership Plan (ESOP)
- 401(k) retirement plan with 5% employer match and immediate vesting
- Fully paid medical insurance plans and dental and vision reimbursement plan
- Health Savings Account (HSA) with generous employer contributions
- Mental health and wellbeing support through employee assistance program
- 5 weeks of paid time off and 9 days of paid company holidays
- 16 weeks of fully paid parental leave
- 1 week of fully paid Blue Sky innovation time
Jobs Related To Galois Binary Analysis Research Engineer
