[TYPES/announce] PhD position (or internship) - Provable Hardware-Software Security @ EURECOM

[Lesly-Ann Daniel]

Hi all,

I'm recruiting a *PhD student *to work on security at the 
hardware-software boundary. I'm also considering *master-level interns* 
who are motivated to pursue a PhD.

I'm looking for curious and motivated students who want to explore 
*verification or testing at the hardware-software interface* to defend 
against microarchitectural attacks (like Spectre).

Candidate should hold a master degree (or close to completion) and have 
a strong background in either *security*,*computer architecture*, 
or*formal methods*.

The 3-year PhD position is fully funder 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 befits (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 
(https://urldefense.com/v3/__https://www.s3.eurecom.fr/__;!!IBzWLUs!R25VkMbg7pxcAedrxpm9HMubUz9mjhmc3NPVD8DtE29gaisYYcplV-IisFZ-_uSLI1px5ZKqnwaZCNu5eDMxP_SQ0tVIZVvpayMkJ1Uj_LVf$ ), which has extensive expertise in low-level 
security, including binary analysis, fuzzing, security of embedded 
systems...

If you’re interested, don’t hesitate to get in touch. Please also help 
spread the word!

Best regards,
Lesly-Ann Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250922/273ce9c1/attachment.htm>