Open Positions

🔍 I’m looking for curious and motivated students to join me for a PhD on security at the hardware-software boundary! I’m also looking for master-level interns who are enthusiastic about exploring research and considering a PhD.

Topics

I’m generally interested in building defenses with strong mathematical foundations for securing the hardware-software interface. My research spans several areas: formal methods, security, and computer (micro)-architecture.

I am primarily looking for candidates who have an interest in formal methods (e.g., functional programming, semantics, type systems, program verification, symbolic execution, etc.). I am also open to applications from people with a very strong security or computer architecture background on less formal topics like hardware testing. I’m closely following offensive security research but not really doing that myself so I will not be able to guide you on this path.

Examples of possible topics:

• Formal binary analysis for microarchitectural security (e.g., Binsec),
• Programming language for hardware-software co-designs,
• Testing and formal verification for hardware.

Pre-requisite

Candidates should have:

• A master degree (or close to completion)
• Strong background in either security, computer architecture, or formal methods
• English proficiency (please write to me in English)

Curiosity and motivation are very important for a PhD, so if you don’t tick all the boxes but you are really excited about the opportunity and really want to give it your best shot, try to bring that accross in your motivation letter!

Position

I’m hiring on a 3-year PhD position that is fully funded by the REV project (vulnerability research and exploitation) of the Cybersecurity PEPR. Benefits of the position are:

• Amazing location between the sea and the mountain
• Competitive French academic salary & company benefits (meal vouchers, health insurance, …)
• Very international environment (no need to speak French!)
• Supportive environment and low teaching load

The PhD will take place at EURECOM in the s3 group, which has extensive expertise in low-level security, including binary analysis, fuzzing, security of embedded systems…

I’m supporting more diversity in computer science so I’m particularly welcoming applications from under-represented groups and under-represented countries!

How to apply

First, make sure you have read carefully all the above. Then, email me at lesly-ann.daniel@eurecom.fr with the following documents:

• Motivation letter, explaining why you think you are a good fit for the position. For instance, try to make a connection between your past experience and my work; show your motivation by giving specific examples; or if you have read paper related to my research, mention that.
• CV and grade transcripts (in French or English).
• Name of one person who can recommend you (best), or a recommendation letter from a professor, which clearly states that you are a good candidate do research.

Put [PhD Application] in the object so that I know you read this until the end!