Job Offers
I frequently have Master and PhD fundings, and therefore accept applications from excellent students for PhD programme (3 years entirely funded) and research Master internships. Do not hesitate to contact me if you are interested in my research topics.
Research Internship - Open-Source Toolchain for C Program Verification
Description:
This internship will focus on extending a tool for verifying C programs by working on the program modeling steps. One of the objectives of this internship is to add a data cache modeling within the tool.
Duration: 6 months
Location: LIP6, Sorbonne Université, Paris
Contact: Emmanuelle Encrenaz & Dylan Marinho (by email first)
PhD Funding - Automatic Extraction of TTP from a Program's Binary Code
Description:
This PhD topic falls within the general theme of combating malware, and more specifically in the field of analyzing obfuscated program binary codes with a direct, but potential, application to the detection of suspicious behavior. The objective of this thesis is to extract the tactics, techniques, and procedures (TTP) from the binary code of a malicious program.
Duration: 3 years
Location: LORIA, Nancy, France
Application deadline: September 2026
Contact: Jean-Yves Marion, Dylan Marinho (by email first)