Dynamic Binary Analysis, Symbolic and Concolic Execution, Hybrid Fuzzing, Cybersecurity
Date
Reference
Engineer/PostDoc Position M/F (Ref: SN/AF/Fuzz/102025)
More info
SN_AF_Fuzz_052025_US_V3.pdf127.58 KB
The primary technical goal of this position is to participate in the maturation of EURECOM's research academic hybrid fuzzing tools. The core technology stack includes SymQEMU, SymCC, and LibAFL/LibAFL-QEMU. These tools facilitate hybrid fuzzing using concolic execution for incremental coverage and discovery of new program paths and vulnerabilities.
