IMDEA Software Institute in Madrid invites applications for a Research Programmer position focused on improving the usability, maturity, and competitiveness of the Ciao abstract interpretation–based tools and related systems such as CiaoPP and s(CASP). Candidates should hold a Bachelor, Master’s, or PhD in Computer Science, Computer Engineering, or Mathematics, with interest in program analysis, abstract interpretation, logic programming, and related areas. #J-18808-Ljbffr

Se busca incorporar una persona para el acompañamiento de la ruta escolar de tarde en el Colegio Orvalle, en la zona de Pozuelo y Las Rozas. Se trata de una sustitución de larga duración, con horario parcial de aproximadamente una hora y media al día. La ruta comienza a las 16:20 h y el salario es de 10,50 € brutos por hora, abonándose todo el tiempo desde el fichaje hasta la finalización del recorrido. Las funciones principales son supervisar y acompañar al alumnado durante el trayecto, velando por su seguridad y el correcto desarrollo del itinerario vespertino. El recorrido incluye paradas en puntos como la Avda. Victoria, Norias, Príncipe de Asturias, Avda. España, Guadarrama, Roza Martín y otras zonas del área. Se requiere experiencia previa trabajando con niños y disponer del certificado negativo de delitos sexuales. La jornada es a tiempo parcial y el contrato es temporal por sustitución.

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

ToBeIT busca un perfil de Observabilidad/Monitorización para diseñar, desplegar y mantener soluciones en entornos híbridos y distribuidos. Modalidad híbrida con un día presencial al mes en Madrid. Se prioriza Dynatrace como herramienta principal de observabilidad (APM, Infraestructura, Logs y R

Paradigma Digital busca un Agile Coach para impulsar la excelencia operativa en equipos de desarrollo, definiendo prácticas Agile y Lean, y optimizando procesos de forma transversal, con Jira, GitHub, SonarQube, Power Automate y Power BI para mejorar calidad, automatización y visibilidad del ciclo