ForAllSecure

Posted 2024-10-21

📍 Americas, Europe

🔍 Software Security

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.

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.

PythonC++Rust

Posted 2024-10-21

🔧 Requirements