Applications are invited for a research programmer position at the IMDEA Software Institute, Madrid, Spain.

The selected candidate will work under the supervision of Manuel Hermenegildo, Pedro López, and José Francisco Morales,

The main objective is to perform a number of research support tasks focused on improving the usability, maturity, and competitiveness of the Ciao abstract interpretation-based tools, and the related systems being developed and maintained at the Institute. The aim is both to improve our research infrastructure and to increase the impact of these tools. The systems involved include a) the CiaoPP analyzer/verifier as well as the Ciao Prolog language and libraries, and b) 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 In Computer Science, Computer Engineering, Or Mathematics, With Interest And 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 requires good teamwork and communication skills, including excellent spoken and written English.



Working at IMDEA Software The IMDEA Software Institute is ranked among the best European research institutes in the areas of Programming Languages and Verification. Located in Madrid, within the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting-edge research in an truly inspiring working environment.

The Institute provides internationally competitive salaries, access to an excellent public health care system, unemployment benefits, retirement benefits, and support for research related travel. The working language at the Institute is English. Knowledge of Spanish is not required.

Dates The duration of the position is renewable for three years. The starting period can be immediately after the position is resolved, although there is flexibility for individual circumstances.

Deadline for applications is September 30th, 2026. Review of applications will begin immediately and continue until the positions are filled.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-09-programmer-absint .

The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment).

For inquiries about the position, please contact: Manuel Hermenegildo (), Pedro López (), or José Fracisco Morales ().

📌 Research Programmer in Abstract Interpretation Systems (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón