> Markdown version of [/jobs/ext/3087494-research-programmer-in-abstract-interpretation-systems](https://www.wearedevelopers.com/jobs/ext/3087494-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:** Compilers, Computer Engineering, Constraint Logic Programming, Systems Theories, Program Analysis, Prolog, Formal Methods, Software Coding, Programming Languages
- **Published:** September 26, 2026
- **Apply:** https://www.buscojobs.com.es/research-programmer-in-abstract-interpretation-systems-en-madrid-ID-372838000

## 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 verification Abstract interpretation (Constraint) logic programming Compilers Logic and formal methods Testing Solid programming skills will be highly valued.
The position requiresgood teamwork and communication skills, including excellent spoken andwritten English.
Working at IMDEA Software

## 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 verification Abstract interpretation (Constraint) logic programming Compilers Logic and formal methods Testing Solid 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

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Just-in-time Compilation in JVM](https://www.wearedevelopers.com/videos/240-just-in-time-compilation-in-jvm)
- [Leveraging Large Language Models for Legacy Code Translation: Challenges and Solutions](https://www.wearedevelopers.com/videos/1157-leveraging-large-language-models-for-legacy-code-translation-challenges-and-solutions)
- [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)
- [Building a Compiler with C#](https://www.wearedevelopers.com/videos/116-building-a-compiler-with-c)
- [Making Sense of Programming Languages](https://www.wearedevelopers.com/videos/692-making-sense-of-programming-languages)

## Related Articles

- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [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)
- [10 Highest Paying Programming Languages 2025](https://www.wearedevelopers.com/magazine/150-10-highest-paying-programming-languages-2025)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)