[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
