Senior Software Engineer - Analysis

View full description

Requirements:

• Demonstrated passion for innovative tools for bug detection and code quality.
• Strong computer science fundamentals (degree in related discipline).
• Experience in systems-level programming, particularly in Linux.
• Proficiency in Rust, Python, and/or C/C++.
• Knowledge of compiler concepts like types, code generation, and control flow.
• Understanding of binary execution formats, assembly, linkers, and loaders.
• Familiarity with operating system concepts, including memory management and I/O.
• Background in vulnerability research or reverse engineering (preferred).
• Prior experience with technologies in program analysis (fuzzing, symbolic execution) is preferred.
• Familiarity with modern exploitation techniques and mitigations is preferred.
• Experience with run-time analysis tools like Valgrind or LLVM sanitizers is preferred.
• Knowledge of OCaml, Haskell, or functional programming languages is preferred.
• Familiarity with containerization technology (Docker/OCI) is preferred.

Responsibilities:

• Work on cutting-edge technology to identify software vulnerabilities.
• Collaborate locally and remotely with team members via various communication methods.
• Develop new features, fix bugs, write tests, and review code.
• Collaborate with support engineers and customers to enhance software security.
• Build expertise in specific components of the Mayhem ecosystem.