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. As a Senior Software Engineer in Analysis, you will join a talented, ambitious engineering team creating novel technologies and products that impact software security.
Key Responsibilities:
- Work on cutting-edge technology to find vulnerabilities and shorten the cycle of identifying and fixing software flaws
- Collaborate with local and remote teammates through various communication channels
- Develop new features, fix 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
Requirements:
- Strong computer science fundamentals with a Bachelor's, Master's, or PhD in computer science or related discipline
- Experience with systems-level programming in Linux
- Proficiency in Rust, Python, and/or C/C++ development
- Knowledge of compiler concepts, binary execution formats, assembly, and operating system concepts
- Passion for building innovative tools for finding bugs and improving code quality and security
Preferred Qualifications:
- Background in vulnerability research or reverse engineering
- Experience with program analysis technologies like fuzzing and symbolic execution
- Familiarity with modern exploitation techniques and mitigations
- Experience with run-time analysis tools
- Knowledge of functional programming languages
- Familiarity with containerization technology
ForAllSecure offers a dynamic work environment with a focus on innovation and impact in the field of software security. Join a team that values hunger for success, respect for all, accountability, and a growth mindset.