Research Programmer in Abstract Interpretation Systems

Applications 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 include a) the CiaoPPanalyzer/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 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





The 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.

Dates

The 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, 2026.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-18808-Ljbffr

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