IMDEA Software Institute
IMDEA Software Institute is a Madrid-based non-profit research foundation that conducts fundamental and applied research in programming languages, software verification, security, and distributed systems, training PhD students and postdocs while collaborating with academic and industry partners.
- Company typePrivate
- Founded2007
- HeadquartersPozuelo De Alarcón, Spain
- Headcount101–250
- GTM typeB2B
- OfferingServices
What IMDEA Software Institute does
IMDEA Software Institute (legal entity: FUNDACIÓN IMDEA SOFTWARE) is a non-profit research foundation established in 2007 as part of the Madrid Regional Government's IMDEA (Instituto Madrileño de Estudios Avanzados) initiative. The institute is headquartered at Campus Montegancedo in Pozuelo de Alarcón, Madrid, Spain, and operates with 101-250 employees, including faculty, postdoctoral researchers, PhD students, interns, technical and administrative staff. Its research agenda centers on advanced software technologies, specifically programming languages, software verification, security, and distributed systems. Activities are academic in nature: conducting fundamental and applied research, supervising PhD students, publishing scientific papers, developing research tools and prototypes, and hosting events such as the Software Seminar Series (S3). The institute holds HRS4R (Human Resources Strategy for Researchers) certification and is certified at Medium level under Spain's Esquema Nacional de Seguridad (ENS) per Real Decreto 311/2022.
The institute does not commercialize software products or services. Its revenue mechanics are public-sector driven: a recurrent subsidy-style stream from the Madrid Regional Government, supplemented by competitive project grants and industry partnership contributions. Financial statements for 2022, 2023, and 2024 and a 2025 budget are published, but specific revenue figures are not disclosed in available source data. The customer base, framed as collaborator/funder base, consists primarily of academic institutions in the Madrid region and international partners, with industry collaborators including Microsoft Research (Joint Research Center), Telefónica (Joint Research Unit), EIT Digital, REDIMadrid, and an industrial partnership program. Leadership comprises Director Manuel Carro, Deputy Director Antonio Fernández, and General Manager María Alcaraz, with governance provided by a Board of Trustees, Scientific Advisory Board, and Scientific Council.
Recent activity signals include the FME Lucas Award (2026) to faculty authors for work on relational verification, a Best Presentation Award at PROLE 2026, and the ENS Medium certification, indicating that the institute remains operationally active and continues to produce externally recognized research output.
IMDEA Software Institute firmographics
Firmographics- Name
- IMDEA Software Institute
- Legal name
- FUNDACIÓN IMDEA SOFTWARE
- Website
- https://software.imdea.org
- Company type
- Private
- Founded year
- 2007
- Operating status
- Operating
- Headcount range
- 101–250 employees
- Short description
- IMDEA Software Institute is a Madrid-based non-profit research foundation that conducts fundamental and applied research in programming languages, software verification, security, and distributed systems, training PhD students and postdocs while collaborating with academic and industry partners.
- Ownership category
- akta.pro rank
IMDEA Software Institute industry classification
Industry- Product category
- Research Services
- NAICS
- Other Scientific and Technical Consulting Services (54169), Other Computer Related Services (541519), Computer Training (611420)
- SIC
- Services-Engineering, Accounting, Research, Management (8700), Services-Educational Services (8200), Services-Engineering Services (8711)
- akta.pro primary industry
- Engineering & Technology Institutes (Comprehensive) (EDAHAEAA)
- akta.pro secondary industry
- Institutes of Technology (IoT / Technical Universities) (EDAHAEAC)
Keywords
Where IMDEA Software Institute is headquartered
LocationHeadquarters
- HQ city
- Pozuelo De Alarcón
- HQ country
- Spain
- HQ region
- Europe
Offices1 record
Markets served
IMDEA Software Institute business model
Business model- GTM type
- B2B
- Offering type
- Services
- Cost components
- Personnel, Technology or R&D, Operations, Infrastructure, Others
Revenue model
- Public Funding: Funded by the Madrid Regional Government (Comunidad de Madrid) as part of the IMDEA initiative. Receives public funding through annual budgets and project grants. Financial statements and management reports are published for years 2022, 2023, and 2024.
Marketing channels4 records
IMDEA Software Institute product offering
Product offeringCore offering
IMDEA Software Institute is a non-profit research foundation that conducts fundamental and applied research in software technologies — including programming languages, software verification, security, and distributed systems — and trains researchers through PhD, postdoctoral, and internship programs. The institute's outputs are scientific publications, research tools, prototypes, and joint research projects with academic institutions and industry partners such as Microsoft Research and Telefónica.
Product overview
IMDEA Software Institute is a research institute focused on software engineering and programming languages research, not a product company. The institute conducts academic research, develops research tools and prototypes, publishes scientific papers, and collaborates with industry partners. Their activities include software verification, programming language research, and tool development, but they do not offer commercial software products or services.
Differentiator
Problem solved
Functional benefit
Products and services
- Software Research and PhD Training Program
- Industrial Partnership Program
- Software Seminar Series (S3)
Companies that use IMDEA Software Institute
Customer profileSegments1 record
Ideal customer profiles2 records
IMDEA Software Institute technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
IMDEA Software Institute partnerships and signals
Strategic signalPartnerships
Six partnerships are on record, tiered core and minor.
- Microsoft ResearchcoreMicrosoft Research Joint Research Center - collaborative research partnership in software-related areas
- TelefónicacoreTelefónica Joint Research Unit - collaborative research partnership in software technologies
- EIT DigitalcoreEuropean Institute of Innovation and Technology Digital partner for research and innovation activities
- Industrial PartnerscoreIndustrial partnership program with various companies for collaborative research projects
- Academic InstitutionscoreAcademic agreements with universities in the Community of Madrid and international institutions for PhD programs and research collaboration
- REDIMadridminorResearch network in software-related fields in the Madrid region
Scale indicators2 records
Recent moves6 records
Expansion highlights5 records
IMDEA Software Institute competitors and assessment
Company assessmentBroad incumbents
- Microsoft Research: Microsoft's corporate research arm and one of IMDEA Software's strategic partners; a much larger, well-funded software research organization with overlapping research areas but operating as a corporate R&D unit rather than a public institute.
- Fraunhofer Society (applied research institutes): Germany's largest applied research organization, hosting multiple institutes including those for software and systems engineering — comparable public-research mission with broader scope than IMDEA Software's specialized software focus.
- ETH Zurich (Computer Science Department): Switzerland's leading technical university, with research strengths overlapping IMDEA Software in programming languages, formal methods, and security — a much broader institution with both educational and research missions.
Direct peers
- Software Engineering Institute (Carnegie Mellon): Carnegie Mellon's federally funded research and development center focused on software engineering, cybersecurity, and verification research — a direct U.S. counterpart with comparable research areas and a public mission.
- Barcelona Supercomputing Center (BSC): Spain's flagship research center for high-performance computing and software, jointly operating under a public consortium model — the most direct national peer in Spain to IMDEA Software for advanced software systems research.
- IMDEA Networks Institute: Sister IMDEA institute in Madrid focused on networking and communication systems research, also publicly funded by the Comunidad de Madrid under the same governance and operational structure as IMDEA Software.
- Alan Turing Institute: The UK's national institute for data science and AI, operated as a public-private research consortium with a focus on foundational computing research and PhD training, sharing IMDEA Software's mission of advancing computational science through publicly funded research.
- Inria: France's national public research institute for digital science and software, conducting foundational research in programming languages, verification, security, and distributed systems — directly comparable to IMDEA Software in mission, public funding model, and research scope.
- Max Planck Institute for Informatics: Germany's leading Max Planck Institute for computer science research, with strengths in algorithms, formal methods, programming languages, and systems — paralleling IMDEA Software's verification and security research focus under a similar publicly funded institute model.
- ISTI-CNR: Italy's National Research Council institute for information science and technologies, focusing on software engineering, formal methods, and applied computing — a state-funded research institute in the same model as IMDEA Software.
Market position
Strengths4 records
Weaknesses4 records
Competitive moat4 records
Key risks5 records
Key highlights6 records
Customer concentration
IMDEA Software Institute social profiles
Digital presenceIMDEA Software Institute compliance and trust
Trust signalCompliance1 record
IMDEA Software Institute financial estimates
Financial estimateRevenue estimate
Valuation estimate
IMDEA Software Institute leadership team
Management profileNumber of profiles
Profiles3 records
IMDEA Software Institute funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
IMDEA Software Institute M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about IMDEA Software Institute
What does IMDEA Software Institute do?
IMDEA Software Institute is a non-profit research foundation that conducts fundamental and applied research in software technologies — including programming languages, software verification, security, and distributed systems — and trains researchers through PhD, postdoctoral, and internship programs. The institute's outputs are scientific publications, research tools, prototypes, and joint research projects with academic institutions and industry partners such as Microsoft Research and Telefónica.
Is IMDEA Software Institute a public or private company?
IMDEA Software Institute is a private company. It is classified as nonprofit foundation owned and is currently operating.
When was IMDEA Software Institute founded?
IMDEA Software Institute was founded in 2007. It employs 101 to 250 people.
Where is IMDEA Software Institute based?
IMDEA Software Institute is headquartered in Pozuelo De Alarcón, Spain, in the Europe region.
How does IMDEA Software Institute make money?
One revenue line is on record: public Funding.
Who are IMDEA Software Institute's main competitors?
Broad incumbents on record are Microsoft Research, Fraunhofer Society (applied research institutes) and ETH Zurich (Computer Science Department). Direct peers are Software Engineering Institute (Carnegie Mellon), Barcelona Supercomputing Center (BSC), IMDEA Networks Institute, Alan Turing Institute, Inria, Max Planck Institute for Informatics and ISTI-CNR.
Does IMDEA Software Institute have an API?
No public API is recorded for IMDEA Software Institute.
What industry is IMDEA Software Institute in?
IMDEA Software Institute's product category is Research Services. Its primary akta.pro industry code is EDAHAEAA, Engineering & Technology Institutes (Comprehensive), with a secondary code of EDAHAEAC, Institutes of Technology (IoT / Technical Universities). Its NAICS code is 54169 and its SIC code is 8700.