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
Barcelona Supercomputing Center
... 378_26_CS_AHPC_RE2 Job title Research Engineer in runtime systems for HPC (RE2) Context And Mission The Accelerators and Communications for HPC team leads cutting-edge research and development around accelerators/coprocessors in HPC. We are involved in low-level networking and MPI research, collaborating directly with leading vendors ...
Spain, Barcelona
Barcelona Supercomputing Center
€42,000 a year
... For more information, please follow this link. Reference Research Engineer - Agentic systems in AI for Science - AI4S (RE2) About BSC The Barcelona Supercomputing Center - Centro Nacional de Supercomputación (BSC-CNS) is the leading supercomputing center in Spain. It houses MareNostrum, one of the most powerful supercomputers ...
Spain, Barcelona
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
Barcelona Institute of Science and Technology (BIST)
25456.1 €/año
... 2026 Call targets outstanding postgraduate students worldwide to support their participation in a training and research programme in chemistry, ultimately leading to a Doctoral Thesis. The Doctoral Thesis will be linked to a research project funded by the Ministerio de Ciencia e Innovación, la Agencia Estatal de Investigación, ...
Spain, Tarragona
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
Airbus Spain
€10,500 a year
... the internknowledge about Fundamentals, Generalization and Experimentation of Aircraft's Systems, for 90 ECTS credits, including an industry-oriented Master´s Final Project. For this Master, Airbus is looking for Master students in Aeronautical/Aerospace, Industrial, Telecommunication, and Computer Engineering. The selection ...
Spain, Getafe
... offering hands on experience in an international and dynamic environment. Under the supervision of your assigned tutor and the team, the Research and Systems Intern – Data Analytics will receive ongoing training and actively participate in developing analytical tools, automation solutions, and performance reporting to ...
Spain, Barcelona
ALTIA
About the role At ALTIA we are continuing to grow and we are looking for a Mainframe Programmer to join our team. This is a stable, long-term project with a leading financial institution we have worked with for a long time. What we're looking for Required experience: - Mainframe programming in COBOL. - Banking environments ...
Spain, Madrid
... MIL-STD . - Participate in customer meetings , including presenting technical proposals, discussing requirements, and resolving technical issues. - Collaborate on integration, verification, and testing activities for electro-optical and laser systems. What you'll get Stability and Future 🏢✨ Long-term projects at a leading ...
Spain, Madrid
Barcelona Supercomputing Center
... supercomputers in Europe, was a founding and hosting member of the former European HPC infrastructure PRACE (Partnership for Advanced Computing in Europe), and is now hosting entity for EuroHPC JU, the Joint Undertaking that leads large-scale investments and HPC provision in Europe. The mission of BSC is to research, develop and manage ...
Spain, Barcelona
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
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
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
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
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
€52,000 - €55,000 a year
... you'll get Salary: 52,000/55,000 Minimum requirements Experience as a Functional Analyst in financial systems or transactional BackOffice. Experience in designing financial modules. Knowledge of accounting principles (e.g., GAAP, SOC 1 Type II). Experience in GL and Subledger. Experience in reconciliation, billing, settlement, ...
Spain, Alcobendas
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