12 sep
|
IMDEA Software Institute
|
Pozuelo de Alarcón
12 sep
IMDEA Software Institute
Pozuelo de Alarcón
The IMDEA Software Institute in Madrid, Spain, invites applications for a PhD student position in Resource Analysis for Security. The research topic will be defined with the supervisor within static/dynamic analysis and verification of non-functional properties such as execution time and energy use.
Applicants should hold a Bachelor or Master’s degree in Computer Science, Computer Engineering or Mathematics, with interest in program analysis, formal methods, or security.
📌 PhD: Resource Analysis for Secure Systems (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón