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 - Synthesis of Parameters for the Analysis of Opacity Properties
Description:
This internship will focus on applying formal verification methods to security issues. The student will work on the decidability of problems as well as on the implementation of algorithms for the synthesis of parameters guaranteeing opacity properties in parametric timed systems.
Duration: to discuss
Location: LIP6, Sorbonne Université, Paris
Contact: 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: March 2026
Contact: Jean-Yves Marion, Dylan Marinho (by email first)