13 sep
|
IMDEA Software Institute
|
Madrid
13 sep
IMDEA Software Institute
Madrid
The IMDEA Software Institute in Madrid, Spain, invites applications for a PhD student position in Resource Analysis for Security.
¿Es usted el candidato adecuado para esta ocasión? Asegúrese de leer la descripción completa a continuación.
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, xcskxlj Computer Engineering or Mathematics, with interest in program analysis, formal methods, or security.
#J-18808-Ljbffr
📌 PhD: Resource Analysis for Secure Systems (Madrid)
🏢 IMDEA Software Institute
📍 Madrid