> Markdown version of [/jobs/ext/3016290-phd-resource-analysis-for-secure-systems](https://www.wearedevelopers.com/jobs/ext/3016290-phd-resource-analysis-for-secure-systems). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Phd: Resource Analysis For Secure Systems

- **Company:** IMDEA Software Institute
- **Location:** Madrid, Spain
- **Contract:** Permanent contract
- **Skills:** Computer Engineering, Dynamic Program Analysis, Program Analysis, Trusted Systems, Information Technology, Formal Methods
- **Published:** September 20, 2026
- **Apply:** https://www.buscojobs.com.es/phd-resource-analysis-for-secure-systems-en-madrid-ID-371989512

## About the Role

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

## Description

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


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers)
- [Measuring Project Health in Open Source](https://www.wearedevelopers.com/videos/300-measuring-project-health-in-open-source)
- [Security Challenges of Breaking A Monolith](https://www.wearedevelopers.com/videos/362-security-challenges-of-breaking-a-monolith)
- [Real-world Threat Modeling](https://www.wearedevelopers.com/videos/936-real-world-threat-modeling)
- [Climate vs. Weather: How Do We Sustainably Make Software More Secure?](https://www.wearedevelopers.com/videos/357-climate-vs-weather-how-do-we-sustainably-make-software-more-secure)

## Related Articles

- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Dev Digest 134 - Where pixels sing?](https://www.wearedevelopers.com/magazine/477-dev-digest-134-where-pixels-sing)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Now is the time for industrialized software development](https://www.wearedevelopers.com/magazine/601-now-is-the-time-for-industrialized-software-development)