IMDEA Software

IMDEA initiative

Home > Open Positions > Internship in Declarative Programming

Internship in Declarative Programming

The IMDEA Software Institute (Madrid, Spain) invites applications for an intern (student) position. The successful candidate will work in collaboration with Juan José Moreno, senior researcher.

The main task with be related with research activities on Declarative Programming (semantics, implementation, checking properties, etc.). The candidate will also cooperate with the research team involver on the Impact of AI for Public Policies project (CPP2023-010455). The project explores technologies, resources, infrastructures and surveys for improving the adequate presence and exploitation of Big Data and Artificial Intelligence in Spanish Public Administration, in cooperation with a multidisciplinary team of private companies, universities and research centers.

The development of project activities will be fully compatible with student commitments (exams, practices, lectures, etc.) and also can benefit them. This is a part-time position for helping candidate education and initiation on research activities and will finish when the degree is obtained and could not be suitable for those that want to start a research career at the institute.

Who should apply?

Candidate profile is a final year student of a degree in computer science or similar with knowledge and skills comprising:

  1. Knowledge in declarative languages (logic and functional)
  2. Theoretical aspects of programming.
  3. Software Engineering fundamentals.
  4. Good oral and written communication.
  5. Spoken and written English.

Working at IMDEA Software

The positions are based in Madrid, Spain, where the IMDEA Software Institute is situated. Salaries are internationally competitive. The working language at the institute is English.

Dates

The starting date is as soon as the selection process is completed.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-11-intern-decprog. Deadline for applications is November 26th, 2026. Review of applications will begin immediately.

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

Want to know more?

For enquiries about the position, please contact: Juan José Moreno at .