Descripción de la vacante
IMDEA Software Institute
Spain, Pozuelo de Alarcón
Research Programmer in Abstract Interpretation Systems en Pozuelo de Alarcón, España is listed on Jobeax. Browse 80,000+ vacancies available.
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:
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, https://jobeax.com/link/sdBLaKRoBig03Tq7 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).
Vacantes similares
Have the right to work in Spain
... application email. - Reference: 2026/43 - Application deadline: 2026/09/22 - Application email: jobs.research@dipc.org Job description Research Collaborator - AI in twisted systems (Open) Post-doctoral position Position category: Research Collaborator Reference: 2026/43 Duration: Temporary contract Application deadline: 2026/09/22 ...
Spain
NTT DATA is seeking a seasoned CICS Mainframe Systems Programmer to ensure stability, availability, and performance of CICS services in a IBM Mainframe environment. You will lead incident resolution, collaborate with development and support teams, and design solutions to enhance service continuity. The role requires hands-on ...
Spain, Madrid
K-LAGAN
PLC Programmer – Logistics Automation. Overview: We are looking for a PLC Programmer to join a multinational leader in warehouse automation , located in Barcelona . What We’re Looking For: - Proven experience programming PLC systems (Siemens TIA Portal or Shneider). - Motivation to work in a technical environment with high-level ...
Spain, Barcelona
Quest Global
... Global, you will benefit from: - Individual development plan and mentoring programs: company-funded technical training and certifications. Access to different learning platforms with more than 7,000 courses and language training based on the needs of the position. - A day off for your birthday, plus 23 working days of annual ...
Spain, Pincia
Michael Page España
€42,000 - €48,000 a year
About the role We are looking for a Frontend Programmer specialized in Javascript for a permanent position in Madrid. You will be responsible for developing and optimizing user interfaces in the Technology and Telecommunications sector. - Important software company in full international growth. - Great opportunities for ...
Spain, Madrid
Michael Page España
€45,000 - €52,000 a year
... are looking for a Senior Java Programmer for a position in the Technology and Telecommunications sector. This role requires experience in advanced Java programming and the development of technological solutions. - Permanent contract - Role: Java developer, Spring Boot, microservices What you'll do - Develop and maintain ...
Spain, Madrid
Hybrid
... digital formats. What you'll do - Design and adapt assets for print, OOH, retail, digital display, and social media - Create and update HTML-based materials, including banners, emails, and landing page components. - Prepare accurate final artwork files following brand guidelines and technical specifications. - Collaborate ...
Spain
Have the right to work in Spain
... automated marketing. - Experience with content engineering, prompt logic, or information architecture for machine interpretation of consumer data. - Track record scaling data processes across complex, multi-platform, multi-vendor environments. - Familiarity with enterprise data, MarTech, and media ecosystems, including CDP, CRM, ...
Spain
Full-time hours
... colleagues Experience: - At least 3 years relevant experience in the area of pharmaceutical research and development or related field preferably in centralized Monitoring, data management, and/or biostatistics - 2-3 years SAS experience including macro language - Knowledge/ experience working on Cluepoints - Ability to work in ...
Spain
iddoneo
€26k EUR - €33k EUR
... de tolerancias Instrumentos de medición TORNOS CENTROS DE MECANIZADO Sector Fabric. prod. metálicos, hierro, acero Descripción Empresa fabricante de maquinaria industrial busca incorporar un/a Tornero/a Fresador/a CNC para formar parte de su equipo de producción. La persona seleccionada se integrará en un entorno industrial ...
Spain, El Astillero
Krell Consulting & Training, S.L.
Senior Programmer Murex | Teletrabajo Ubicación: Madrid (teletrabajo con presencialidad puntual cuando lo requiera el cliente) ¿Tienes experiencia desarrollando sobre Murex y buscas un proyecto estable de larga duración dentro del sector financiero? En Krell Consulting estamos buscando un/a Senior Programmer Murex para ...
Spain, Madrid
Have the right to work in Spain
... the transition towards more circular production systems. Based in Asturias and working within a global network, we collaborate with industrial operations, research centers and external partners to create the next generation of sustainable technologies for mining and steel. Your role We are looking to strengthen the team ...
Spain
Cactus Communications
3k
... work each month - Develop an understanding of the finer points of editing and gain access to articles and tips on our learning and discussion platform - Get an inside view of research carried out worldwide About CACTUS Established in 2002, Cactus Communications is a leading technology company that specializes in expert services ...
Spain, Zaragosa
Fully remote
... and shipping iterative improvements - Experience designing for acquisition, growth, or conversion-focused contexts with measurable impact - Good qualitative research skills, including session recording analysis, heatmap interpretation, user interviews, and usability testing, with the ability to translate observations into ...
Spain
CEPSA
... Provide support and training to users of the optimization tools. - Develop advanced analysis tools and visualization dashboards. - Coordinate with multidisciplinary teams and with the Linear Programming software provider. Who are we looking for - Academic degree in Mathematics, Engineering (chemical, industrial, computer ...
Spain, Madrid
Internship contract
... Managers and Designers in identifying business and product opportunities and validating hypotheses through research. - Collaborate with cross-functional teams, including Product Managers, Designers, Developers, and client teams , bringing research insights into the product development process. - Help create research reports, ...
Spain
€45,000 - €50,000 a year
... functions as well as day-to-day operational activities related to quality and food safety in the plant. - Experience in: - Management of food quality and safety systems - Certification and customer audits - Document management and technical specifications - Management of non-conformities and incidents - Interpretation of food ...
Spain
Rakuten Kobo Inc.
Rakuten TV is seeking a Content Programmer to join the Content License Management & Storefront team in Barcelona. The role focuses on curating titles, defining content strategy for storefronts, and coordinating with distributors to ensure license availability. Based in Barcelona with a hybrid model, the position emphasizes ...
Spain, Bellprat
... applied to clinical documentation. - Computer vision and medical image interpretation. - Data science and advanced analytics in health. - Bioinformatics. - Clinical decision support systems. - Ethics, regulation, and governance of Artificial Intelligence in health. - Management and exploitation of clinical data. - Interoperability ...
Spain, Valencia