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

---

# Research Programmer In Abstract Interpretation Systems

- **Company:** IMDEA Software Institute
- **Location:** Madrid, Spain
- **Contract:** Temporary contract
- **Skills:** Computer Programming, Computer Engineering, Systems Theories, Program Analysis, Prolog, Programming Languages
- **Published:** September 27, 2026
- **Apply:** https://www.buscojobs.com.es/research-programmer-in-abstract-interpretation-systems-en-pozuelo-de-alarcon-ID-372588086

## About the Role

Candidates should have earned a Bachelor, Master's, or PhD degree inComputer Science, Computer Engineering, or Mathematics, with interestand expertise in at least some of the following areas:Program analysis and verificationAbstract interpretation(Constraint) logic programmingCompilersLogic and formal methodsTestingSolid programming skills will be highly valued.
The position requiresgood teamwork and communication skills, including excellent spoken andwritten English.Working at IMDEA SoftwareThe IMDEA Software Institute is ranked among the best European researchinstitutes in the areas of Programming Languages and Verification.

## Description

Research Programmer in Abstract Interpretation SystemsApplications are invited for a research programmer position at theIMDEA Software Institute, Madrid, Spain.The main objective is to perform a number of research support tasksfocused on improving the usability, maturity, and competitiveness ofthe Ciao abstract interpretation-based tools, and the related systemsbeing developed and maintained at the Institute.The aim is both toimprove our research infrastructure and to increase the impact ofthese tools.The systems involved includea) the CiaoPPanalyzer/verifier as well as the Ciao Prolog language and libraries,andb) other tools that are based on Ciao and CiaoPP, such as s(CASP).Who should apply?Candidates should have earned a Bachelor, Master's, or PhD degree inComputer Science, Computer Engineering, or Mathematics, with interestand expertise in at least some of the following areas:Program analysis and verificationAbstract interpretation(Constraint) logic programmingCompilersLogic and formal methodsTestingSolid programming skills will be highly valued.The position requiresgood teamwork and communication skills, including excellent spoken andwritten English.Working at IMDEA SoftwareThe IMDEA Software Institute is ranked among the best European researchinstitutes in the areas of Programming Languages and Verification.Located inMadrid, within the Montegancedo Science and Technology Park, it perfectlycombines the sunny and vibrant city of Madrid with cutting-edge research in antruly inspiring working environment.The Institute provides internationally competitive salaries, access to anexcellent public health care system, unemployment benefits, retirementbenefits, and support for research related travel.The working language at theInstitute is English.Knowledge of Spanish is not required.DatesThe duration of the position is renewable for three years.Thestarting period can be immediately after the position is resolved,although there is flexibility for individual circumstances.Deadline for applications is September 30th, ****.Review of applications will begin immediately and continue untilthe positions are filled.The recruitment process will comply with the IMDEA Software Institute'sOTM-R Policy (Open, Transparent and Merit-based Recruitment).#J-*****-Ljbffr


## Related Videos

- [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)
- [Measuring Project Health in Open Source](https://www.wearedevelopers.com/videos/300-measuring-project-health-in-open-source)
- [Strong decisions - decisive distinctions between digital and analog aspects](https://www.wearedevelopers.com/videos/1687-strong-decisions-decisive-distinctions-between-digital-and-analog-aspects)
- [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)
- [Edit Your Future: Queerverse Radical AI](https://www.wearedevelopers.com/videos/909-edit-your-future-queerverse-radical-ai)

## Related Articles

- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Top-Paying Tech Jobs (with Salaries)](https://www.wearedevelopers.com/magazine/372-top-paying-tech-jobs-with-salaries)
- [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)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [10 Highest Paying Programming Languages 2025](https://www.wearedevelopers.com/magazine/150-10-highest-paying-programming-languages-2025)