> Markdown version of [/jobs/ext/2955450-phd-resource-analysis-for-secure-systems](https://www.wearedevelopers.com/jobs/ext/2955450-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 17, 2026
- **Apply:** https://www.buscojobs.com.es/phd-resource-analysis-for-secure-systems-en-pozuelo-de-alarcon-ID-371586784

## About the Role

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)
- [Security Challenges of Breaking A Monolith](https://www.wearedevelopers.com/videos/362-security-challenges-of-breaking-a-monolith)
- [Measuring Project Health in Open Source](https://www.wearedevelopers.com/videos/300-measuring-project-health-in-open-source)
- [Real-world Threat Modeling](https://www.wearedevelopers.com/videos/936-real-world-threat-modeling)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [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)
- [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)
- [Top-Paying Tech Jobs (with Salaries)](https://www.wearedevelopers.com/magazine/372-top-paying-tech-jobs-with-salaries)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)