Senior Software Engineer - Analysis

ForAllSecure is seeking exceptional candidates for their Analysis Engineering team to work on and enhance the analysis engine behind Mayhem, their core product responsible for discovering bugs and security vulnerabilities. Mayhem has found vulnerabilities in open source projects, components in aircraft and automotive systems, and well-known embedded devices.

As a Senior Software Engineer in the Analysis team, you will:

• Work on cutting-edge technology to find vulnerabilities and shorten the cycle of identifying and fixing software flaws
• Collaborate with teammates both local and remote
• Develop new features, fix interesting bugs, write tests, and review code
• Collaborate with support engineers and customers to improve software security and quality
• Build expertise in specific components of the Mayhem ecosystem

The ideal candidate should have:

• Strong computer science fundamentals with a relevant degree
• Experience with systems-level programming in Linux
• Proficiency in Rust, Python, and/or C/C++ development
• Knowledge of compiler concepts, binary execution formats, and operating system concepts
• Background in vulnerability research or reverse engineering (preferred)
• Experience with program analysis technologies like fuzzing and symbolic execution (preferred)
• Familiarity with modern exploitation techniques and containerization technology (preferred)

ForAllSecure offers a dynamic work environment with a focus on innovation and impact. Their product, Mayhem, has won the DARPA Cyber Grand Challenge and is used by major companies like Roblox, Cloudflare, and Motional. The company is backed by NEA and KDI, having recently raised Series B funding.

Join ForAllSecure to be part of a team creating novel technologies that will shape the future of software security!