iiinova — where your digital self keeps evolving

IMDEA Software @software.imdea.org · 30/09/2026

🔵 Today, IMDEA Software hosted a seminar on Industrial Property and Protection of Research Results, organised as part of our HRS4R commitments. 🤝We would like to thank Manuel for his collaboration, as well as all Institute personnel who attended the session. #HRS4R #AI

000

IMDEA Software @software.imdea.org · 30/09/2026

🔵 Alessandra Gorla, Associate Research Professor at IMDEA Software, joined #SIESTA2026 as an invited speaker to discuss the challenges of analysing iOS apps compared to Android. 📰 Read the full story on our website: c.madrid/7w4w6

IMDEA Software @software.imdea.org · 29/09/2026

🔵 XXI Jornadas #REDIMadrid. 👉 Una buena oportunidad para poner en contacto a responsables de redes y sistemas, servicios digitales universitarios, grupos de investigación y proveedores tecnológicos 📅 22 de octubre 📍 IMDEA Software 🔗 c.madrid/6he2n

000

IMDEA Software @software.imdea.org · 28/09/2026

🌙 On Friday, we attended the European Researchers' Night (#ERN) event alongside the other IMDEA institutes and ERICAM, discussing how science can assist in the evacuation and prevention of natural disasters. 🔗 c.madrid/g8tqr

000

IMDEA Software @software.imdea.org · 25/09/2026

🌙 Comenzamos con la actividad “La ciencia ante los desastres naturales” en la Residencia de Estudiantes. ¿Cómo puede la ciencia ayudar a los equipos de rescate de la Comunidad de Madrid? #nightmadrid #nocheeuropeainvestigadores #ericam

000

IMDEA Software @software.imdea.org · 25/09/2026

🎓 IMDEA Software is hiring an Intern in Impact of AI for Public Policies! ⏳ Start date: As soon as possible 📍 Location: Madrid, Spain 🗓️ Application deadline: October 3rd 🔗 Apply here: c.madrid/s7w60

IMDEA Software @software.imdea.org · 25/09/2026

🎓 IMDEA Software is hiring an Intern in Safe and Verified Cyber-Physical Systems! ⏳ Duration: 6 months 📍 Location: Madrid, Spain 🗓️ Application deadline: October 15th 🔗 Apply here: c.madrid/dme2q

002

IMDEA Software @software.imdea.org · 21/09/2026

🔵 IMDEA Software is hiring a PhD Student in Coupled Reactive Synthesis Modulo Theories! Join César Sánchez and an international team of graduate students and researchers focusing on formal methods! ⏳ Duration: 4 years 📍 Location: Madrid, Spain 🗓️ Application deadline: October 1st 🔗 c.madrid/jkbq8

IMDEA Software @software.imdea.org · 21/09/2026

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Alexandru Popa (University of Bucharest) 📅 Tuesday, 22 September ⏰ 11:00 CET 🔎 Better Approximation for Edge 2-Coloring on Bipartite Graphs 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/4911012202 🔐 @s3 #imdeasoftware

000

IMDEA Software @software.imdea.org · 14/09/2026

🔵 Ven a conocer a los investigadores de IMDEA en la actividad “La Ciencia ante los desastres naturales” #ERN 👨‍🔬 Jose Aguilar estará representando a nuestro instituto, mostrando cómo el software puede ser de gran ayuda en la prevención y extinción de catástrofes. 🔗 c.madrid/3d68n

012

IMDEA Software @software.imdea.org · 09/09/2026

🎓 IMDEA Software is hiring a PhD Student in Machine Learning in Synthesis! 🔹 Who should apply: Candidates holding a Master’s degree in Computer Science (or close to completing one). 📍 Madrid, Spain 🗓️ September 30th 🔗 c.madrid/45zb2

IMDEA Software @software.imdea.org · 03/09/2026

🔵 The paper “BlockMeNot” was a runner-up for the “Distinguished Paper Award” at #USENIX2026. 👥 The research proposes a novel method to evaluate and decide whether restrictions should be applied at the URL, subdomain, or domain level, reducing both overblocking and underblocking. 📰 c.madrid/u90al

000

IMDEA Software @software.imdea.org · 03/08/2026

🎓 IMDEA Software is hiring an Intern in Fast Synthesis Modulo Simple Theories and an Intern in Best-Effort Synthesis Modulo Theories! ⏳ Duration: 6 months 📍 Location: Madrid, Spain 🗓️ Application deadline: September 10th, 2026 🔗 Apply here: c.madrid/j2s5o

IMDEA Software @software.imdea.org · 03/08/2026

🔵In June, IMDEA Software participates in the annual @sommalliance.bsky.social project management meeting in Tarragona. 👥Juan José Collazo, Project Manager, attended as the institute's representative. 📰If you want to know more, you can read the full article here: c.madrid/vrks6

IMDEA Software @software.imdea.org · 14/07/2026

🔵A delegation of more than twenty Indian companies visited the IMDEA Software 👥This is part of a schedule of visits to various innovation centers in Madrid, organised on the occasion of the official trip to Spain by the Indian Minister of Commerce and Industry, Piyush Goyal. 🔗 c.madrid/hz96i

IMDEA Software @software.imdea.org · 14/07/2026

🔵 #IMDEATalk at IMDEA Software Institute 🗣️Ehsan Kafshdar Goharshady (Institute of Science and Technology Austria) 📅 Tuesday, Jul 14 ⏰ 11:00 CET 🔎 Refuting Equivalence in Probabilistic Programs with Conditioning 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

000

IMDEA Software @software.imdea.org · 10/07/2026

🔵 #REDIMadrid participates in the #RedIRIS Technical Conferences. 👥 The team traveled to A Coruña to debate areas such as security and privacy, digital sovereignty, artificial intelligence, supercomputing, and quantum technologies. 📰 You can read the full story here: c.madrid/oc05b

000

IMDEA Software @software.imdea.org · 09/07/2026

🔵 #REDIMadrid is participating in #TNC26, held in Helsinki. 👤Alejandro Recio, network technician support at REDIMadrid, attended as a representative of the IMDEA Software Institute. 📰 You can read the full article here: c.madrid/d4l6r

IMDEA Software @software.imdea.org · 07/07/2026

🔵 IMDEA Software, silver sponsor of #AdaByron2026 💾Last week we were at the finals of AdaByron event, presenting the institute to the participants and showing them what life as a researcher is like. 🏆In addition, we presented the secondary award to the fastest team. 🔗 c.madrid/22h39

IMDEA Software @software.imdea.org · 01/07/2026

🏆 Gilles Barthe, Juan Manuel Crespo, and César Kunz win the #FMELucas Award for their paper “Relational Verification Using Product Programs”. 🗓️ Years later, their research continues to have a profound impact on modern computer science. Congratulations on this recognition! 🔗 c.madrid/rho90

000

IMDEA Software @software.imdea.org · 30/06/2026

🔵 Daniela Ferreiro wins the Best Presentation Award at PROLE 2026 🏆 The PhD researcher has been awarded for her presentation "Multi-Configurable Search Rules in Prolog and Application to Testing" at the #PROLE2026 conference, recently held in Alicante. Congratulations Daniela! 🔗 c.madrid/17pbb

IMDEA Software @software.imdea.org · 30/06/2026

🔵 #IMDEATalk at IMDEA Software Institute 🗣️Antonio García Marqués (Universidad Rey Juan Carlos) 📅 Wednesday, Jul 01 ⏰ 12:00 CET 🔎 Connecting the dots: how to use graph signal processing to learn graphs from nodal observations 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

100

IMDEA Software @software.imdea.org · 22/06/2026

🔵 "My I[M]DEA Software: Poster Competition" 👤 Last week we celebrated our annual gathering, where our youngest researchers showcased their scientific progress and took on the challenge of explaining it in under-a-minute pitches. Want to find out who this year's winners are? 🔗https://c.madrid/j3usl

IMDEA Software @software.imdea.org · 09/06/2026

💪 There’s no obstacle too big for the IMDEA Software team! 🎽 Last Sunday, we traded algorithms and admin tasks for the mud of the #SurvivorRace2026. 14 teammates from research, systems, and administration ran, climbed, jumped over fire, and showed what real teamwork is all about. 🔗 c.madrid/gv7lw

IMDEA Software @software.imdea.org · 05/06/2026

🎓 IMDEA Software is hiring a Systems Administrator/ Devops Engineer for Software Heritage! 🔹 Experience in Linux system administration (Debian/Ubuntu), TCP/IP networking, scripting (Bash), and infrastructure management. ⏳ Start date: ASAP 📍 Madrid, Spain 🗓️ DL: June 12th 🔗 Apply: c.madrid/cnbdl

040

IMDEA Software @software.imdea.org · 05/06/2026

🎓 IMDEA Software is hiring a Project Scientist for UrbanSwarm! Join the #UrbanSwarm project with Antonio Fernández Anta and help tackle major urban challenges through AI-driven, nature-based solutions. ⏳ Start date: ASAP 📍 Madrid, Spain 🗓️ DL: June 13th 🔗 Apply here: c.madrid/usqt7

000

IMDEA Software @software.imdea.org · 28/05/2026

🔵 MADQuantum-CM comes to a close with a pioneering quantum network in Madrid 🤝 Alongside a great consortium, our #REDIMadrid team at IMDEA Software has been key to building MadQCI, the network connecting universities and tech companies. 🔗 c.madrid/vl88w

000

IMDEA Software @software.imdea.org · 22/05/2026

🔵 IMDEA Software is offering a PhD position in Microarchitectural Attacks and Defenses with Marco Guarnieri! ⏳ Duration: Full PhD program  📍 Location: Madrid, Spain  🗓️ Application deadline: June 5th, 2026  🔗 Apply here: software.imdea.org/careers/2026...

031

IMDEA Software @software.imdea.org · 22/05/2026

🔵 #IMDEATalk at IMDEA Software Institute 🗣️Mahesh Sreekumar Rajasree (CISPA Helmholtz Center for Information Security) 📅 Monday, May 25 ⏰ 11:00 CET 🔎 Limits of Black-Box Constructions of Pseudorandom Codes 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

IMDEA Software @software.imdea.org · 21/05/2026

🔵 IMDEA Software is hiring a Senior Network Engineer to join REDIMadrid Team! ⏳ Start date: ASAP 📍 Location: Madrid, Spain 🗓️ Application deadline: May 31st, 2026 🔗 Apply here: software.imdea.org/careers/2026...

000

IMDEA Software @software.imdea.org · 12/05/2026

📍 SOMMa Connect 2026 | 22-23 sept, Barcelona Ciencia de excelencia, empresa, inversión e innovación en un mismo encuentro, organizado por SOMMa y el CRGenomica. 🎟 Inscripción gratuita hasta el 31 de mayo 👉 sommaconnect.es/registro/ #SOMMaConnect2026

IMDEA Software @software.imdea.org · 07/05/2026

🎨 ¡Es el momento de que tu creatividad pase del papel a la tela! 👕 Si no pueden parar de crear, esta es tu oportunidad. Lanzamos el concurso de diseño de camisetas para la Poster Competition 2026 de IMDEA Software. 👉 ¡Tienes hasta el 24 de mayo para enviarnos tu diseño! 🔗 c.madrid/u7khw

IMDEA Software @software.imdea.org · 05/05/2026

🔵 Thaleia Dimitra Doudali’s team participated in EuroSys 2026, Europe's premier conference on computer systems. 👉 The group presented their latest research on multimodal LLM inference, Cloud resource management, and system security. 📰 Read the full article here: c.madrid/3v8mw

IMDEA Software @software.imdea.org · 04/05/2026

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Runtao Ren (City University of Hong Kong & Mines Paris-PSL) 📅 Tuesday, May 5 ⏰ 11:00 CET 🔎 Human-Machine Co-Creation: Using Large language model for patent concept generation 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/4911012202 🔐 @s3

020

IMDEA Software @software.imdea.org · 22/04/2026

🔵 Georgios Portokalidis, has been recognized as a Senior Member of ACM and IEEE, two of the world’s leading organizations in computing and engineering. 👾 His work in cybersecurity continues to push the boundaries of making software more secure and resilient. 📰 c.madrid/mzfts

IMDEA Software @software.imdea.org · 15/04/2026

🤝Our researcher Juan Caballero recently took part in the Technology Transfer Forum in Las Rozas, where innovative ideas met real-world business challenges in fast-paced exchanges. 👀Curious to see how collaboration opportunities are shaping up? 📰Full article: c.madrid/ikr7g

IMDEA Software @software.imdea.org · 15/04/2026

🔵 #IMDEATalk at IMDEA Software Institute 🗣️Gregory Chockler (University of Surrey) 📅 Tuesday, April 21 ⏰ 11:00 CET 🔎 Proving Linearizability of Fault-Tolerant Register Protocols: Dependency Graph Approach 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

000

IMDEA Software @software.imdea.org · 13/04/2026

🎓 IMDEA Software Institute is offering an Internship in LLM-Assisted Network Protocol Fuzzing! Juan Caballero is looking for applicants for an intern position. ⏳ Duration: 3–6 months  📍 Location: Madrid, Spain  🗓️ Deadline: April 24  🔗 Apply: c.madrid/pi3p8

IMDEA Software @software.imdea.org · 23/03/2026

🧪 Un año más, IMDEA Software participó en la feria #MadridesCiencia, acercando la informática a estudiantes y familias a través de retos y actividades interactivas. 📰Si quieres descubrir cómo fue la experiencia, ya puedes leer la noticia en nuestra web: c.madrid/94udw

000

IMDEA Software @software.imdea.org · 23/03/2026

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Hana Chockler (King's College London) 📅 Tuesday, Mar 24 ⏰ 11:00 CET 🔎 Using actual causality for debugging and explainability 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/4911012202 🔐 @s3

000

IMDEA Software @software.imdea.org · 21/03/2026

🎉 Muchas gracias a todas las personas que han pasado por los stands de IMDEA y han hecho nuestras actividades. 👋¡Esperamos volver a veros el año que viene!

IMDEA Software @software.imdea.org · 21/03/2026

🧪 Nos despedimos un año más de otra edición de la Feria #MadridesCiencia llena de experimentos, ciencia y, sobre todo, ¡mucho software!

IMDEA Software @software.imdea.org · 21/03/2026

🧪 ¡Última oportunidad para visitar #MadridesCiencia 2026! 👉 Desde el IMDEA Software te proponemos: 🧙‍♂️ Akinator adivina tu personaje 🎨 Dibujo algorítmico 📨 Mensajes encriptados 🧩 Las Torres de Hanoi 🗣️ Compartiendo secretos sin revelarlos 🤖 Robots constructores 📍Stand A05, de 10:00 a 19:00.

IMDEA Software @software.imdea.org · 20/03/2026

🧪 Segundo día de ciencia y experimentos en vivo en la Feria #MadridesCiencia 2026… ¿y tú, ya nos has visitado? 🧮 Actividades, retos y demostraciones para descubrir en nuestro stand cómo funciona el #software, la #criptografía o la #IA. 📍 Stand A05 🕙 10:00–19:00 ¡Ven a visitarnos!

110

IMDEA Software @software.imdea.org · 20/03/2026

🔵 Isabel Díaz Ayuso, presidenta de la Comunidad de Madrid, inauguro ayer la feria #MadridesCiencia 2026. 👉Acompañada por la consejera de Educación, Ciencia y Universidades CM, Mercedes Zarzalejo han recorrido los stands de los institutos IMDEA.

IMDEA Software @software.imdea.org · 20/03/2026

🔵 Segundo día de #MadridesCiencia 2026. 👉Ven a La Nave y descubre: 🧙‍♂️Akinator adivina tu personaje 🎨 ⁠Dibujo algorítmico ⁠📨Mensajes encriptados 🧩 ⁠Las Torres de Hanoi 🗣️ ⁠Compartiendo secretos sin revelarlos 🤖 ⁠Robots constructores ¡Te esperamos!