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

Se busca monitor para baloncesto y natación en Pozuelo de Alarcón, concretamente en el polideportivo El Torreón.

Impulsar la excelencia operativa de los equipos de desarrollo, actuando como referente metodológico para definir, evolucionar e implantar prácticas Agile y Lean. Trabajarás de forma transversal con equipos técnicos y de negocio para optimizar procesos, fomentar la mejora continua y asegurar una entrega de valor eficiente, apoyándote en herramientas como Jira, GitHub, SonarQube, Power Automate o Power BI para aumentar la calidad, la automatización y la visibilidad del ciclo de desarrollo. Buscamos un/a Agile Coach con experiencia en proyectos de desarrollo de software y una clara orientación a la mejora continua, capaz de impulsar metodologías, optimizar procesos y acompañar a los equipos en la adopción de buenas prácticas Agile. Nos gustaría contar con una persona que reúna los siguientes requisitos: • Experiencia previa como Agile Coach, Project Manager o Agile Delivery Lead (ADL) en proyectos de desarrollo de software., • Perfil muy metódico, organizado, autónomo y proactivo, con capacidad para liderar iniciativas de mejora de procesos., • Sólidos conocimientos de metodologías Agile y Lean, aplicadas a entornos tecnológicos., • Experiencia administrando Jira (configuración de proyectos, workflows, automatizaciones y dashboards)., • Conocimiento del ciclo de vida del desarrollo de software (SDLC) y de herramientas como GitHub, SonarQube, Xray o soluciones similares de gestión de pruebas y calidad., • Experiencia automatizando procesos mediante Jira Automation, Power Automate o herramientas equivalentes., • Capacidad para crear cuadros de mando sencillos en Power BI y realizar seguimiento de métricas., • Excelentes habilidades de comunicación e interlocución con equipos técnicos, negocio y stakeholders., • Capacidad para identificar oportunidades de mejora, impulsar el cambio y fomentar una cultura de mejora continua., • Liderazgo e influencia., • Mejora continua y mentalidad Lean., • Organización y capacidad de planificación., • Pensamiento analítico y orientación a datos., • Comunicación y gestión de stakeholders., • Facilitación de equipos y gestión del cambio., • Autonomía, proactividad y capacidad de decisión., • Orientación a resultados y entrega de valor. Libertad con responsabilidad Confiamos en las personas para organizar su trabajo de forma flexible, favoreciendo el equilibrio entre la vida personal y profesional sin perder de vista los objetivos y el impacto de nuestro trabajo. Tendrás la posibilidad de trabajar en un modelo de trabajo remoto o híbrido. Una comunidad de referencia Formarás parte de una comunidad ágil y tecnológica activa, donde compartir conocimiento, aprender de otros expertos y contribuir al desarrollo de las mejores prácticas del sector. Acompañamiento desde el primer día Contarás con el apoyo de un Buddy que te ayudará en tu integración, resolverá tus dudas y facilitará que te sientas parte de Paradigma desde el inicio. Excelencia técnica como seña de identidad Nos apasiona la tecnología y apostamos por el desarrollo continuo de nuestras capacidades. El conocimiento, la calidad y la mejora constante forman parte de nuestra cultura. También apostamos por el aprendizaje continúo y tendrás acceso a un plan anual de formación, certificaciones oficiales y espacios de aprendizaje diseñados para impulsar tu desarrollo profesional. Beneficios Además de un entorno de trabajo cercano y colaborativo, ofrecemos seguro médico 100% subvencionado, retribución flexible a través de Edenred, 25 días de vacaciones anuales y otros beneficios orientados al bienestar de las personas. #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

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