Phd: Resource Analysis For Secure Systems

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.#J-*****-Ljbffr

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. #J-*****-Ljbffr