ForAllSecure is hiring a
Senior Software Engineer

Summary

Join a talented, ambitious engineering team that is creating truly novel technologies and products that will impact the way people see themselves and the world. As an Analysis Engineer on our team, you will work on cutting-edge technology built to find vulnerabilities and shorten the cycle of identifying and fixing software flaws.

Requirements

• Demonstrates a passion for building innovative and easy-to-use tools for finding bugs, improving code quality and security, and enhancing the debugging experience
• Has strong computer science fundamentals demonstrated through a Bachelor’s, Master’s, or PhD degree in computer science or related discipline
• Has experience with systems-level programming in Linux
• Is proficient in Rust, Python, and/or C/C++ development
• Has knowledge of common compiler concepts: types, code generation, register allocation, stack frames, inlining, and control flow graphs
• Has knowledge of binary execution formats, assembly, linkers and loaders
• Has knowledge of operating system concepts (memory management, process lifecycle, I/O, etc.)

Responsibilities

• Work on cutting-edge technology built to find vulnerabilities and shorten the cycle of identifying and fixing software flaws
• Collaborate with teammates both local and remote, through pull requests, in-person conversations, Slack, etc
• Develop new features, fix interesting bugs, write tests, and review your teammates’ code
• Collaborate with support engineers and customers to improve the security and quality of software in their ecosystem
• Build expertise and responsibility for specific components of Mayhem ecosystem

Preferred Qualifications

• Has a background in vulnerability research or reverse engineering
• Has prior experience with technologies in program analysis like fuzzing and symbolic execution
• Is familiar with modern exploitation techniques and mitigations/counter-measures
• Is experienced with run-time analysis tools (such as Valgrind or LLVM sanitizers)
• Has knowledge of OCaml, Haskell or other functional programming languages
• Is familiar with containerization technology (Docker/OCI)