Job Offers

I frequently have Master and PhD fundings, and therefore accept applications from excellent students for PhD program (3 years entirely funded) and research Master internships. Do not hesitate to contact me if you are interested in my research topics.

Security-Oriented Differential Analysis of Binary Updates

Internship

Description:

The objective of this internship is to analyze the differences between the binary versions of a program to identify potentially dangerous changes.

Duration: 6 months

Location: LIP6, Sorbonne Université, Paris

Contact: Yann Thierry-Mieg, Dylan Marinho (by email first)

Past offers

Cybersecurity of Real-Time Systems

PhD

Automatic Extraction of TTP from a Program's Binary Code

PhD

Synthesis of Parameters for the Analysis of Opacity Properties

Internship

Open-Source Toolchain for C Program Verification

Internship