> Markdown version of [/jobs/ext/3107465-research-programmer-abstract-interpretation-verification](https://www.wearedevelopers.com/jobs/ext/3107465-research-programmer-abstract-interpretation-verification). 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).

---

# Research Programmer, Abstract Interpretation & Verification

- **Company:** IMDEA Software Institute
- **Location:** Madrid, Spain
- **Contract:** Permanent contract
- **Skills:** Computer Engineering, Constraint Logic Programming, Program Analysis, Information Technology
- **Published:** September 27, 2026
- **Apply:** https://www.buscojobs.com.es/research-programmer-abstract-interpretation-verification-en-pozuelo-de-alarcon-ID-372549778

## About the Role

Candidates should hold a Bachelor, Master's, or PhD in Computer Science, Computer Engineering, or Mathematics, with interest in program analysis, abstract interpretation, logic programming, and related areas.
#J-*****-Ljbffr

## Description

IMDEA Software Institute in Madrid invites applications for a Research Programmer position focused on improving the usability, maturity, and competitiveness of the Ciao abstract interpretation-based tools and related systems such as CiaoPP and s(CASP).Candidates should hold a Bachelor, Master's, or PhD in Computer Science, Computer Engineering, or Mathematics, with interest in program analysis, abstract interpretation, logic programming, and related areas.#J-*****-Ljbffr


## Related Videos

- [Measuring Project Health in Open Source](https://www.wearedevelopers.com/videos/300-measuring-project-health-in-open-source)
- [Swapping a Data Warehouse at Runtime: Zero-Downtime Migration Without Changing a Single Client](https://www.wearedevelopers.com/videos/100311-swapping-a-data-warehouse-at-runtime-zero-downtime-migration-without-changing-a-single-client)
- [Enabling intelligent logistics automation: home-grown Industrial IoT platform at Austrian Post](https://www.wearedevelopers.com/videos/2018-enabling-intelligent-logistics-automation-home-grown-industrial-iot-platform-at-austrian-post)
- [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)
- [May I interest you in ... R?](https://www.wearedevelopers.com/videos/445-may-i-interest-you-in-r)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)

## Related Articles

- [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 Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [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)
- [What Jobs Can You Get with a Software Engineering Degree?](https://www.wearedevelopers.com/magazine/398-what-jobs-can-you-get-with-a-software-engineering-degree)