🔵En marzo volvimos a disfrutar de la Feria #MadridEsCiencia.
👉Desde IMDEA Software queremos hacer una mención especial a los investigadores que hacen este tipo de eventos posibles.
👏A todas las personas que ayudáis a que la ciencia sea más cercana: ¡Gracias!
www.youtube.com/watch?v=60-S...
🤝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
🔵 #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
🎓 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
🧪 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
🎉 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!
🧪 Nos despedimos un año más de otra edición de la Feria #MadridesCiencia llena de experimentos, ciencia y, sobre todo, ¡mucho software!
🔵 #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
🎉 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!
🧪 Nos despedimos un año más de otra edición de la Feria #MadridesCiencia llena de experimentos, ciencia y, sobre todo, ¡mucho software!
🧪 ¡Ú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.
🧪 ¡Ú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.
🧪 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!
🔵 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.
🔵 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!
🔬 ¡Últimos minutos de la primera jornada de #MadridesCiencia 2026!
Si te has quedado con ganas de descubrir cómo se resuelve el puzzle de Torre de Hanoi, cómo enviaba Julio César sus mensajes encriptados o cómo funciona por dentro una #IA, ¡te esperamos mañana!
📍 Stand A05
🕙 10:00–19:00
🔵 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.
🔵 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!
🔬 ¡Últimos minutos de la primera jornada de #MadridesCiencia 2026!
Si te has quedado con ganas de descubrir cómo se resuelve el puzzle de Torre de Hanoi, cómo enviaba Julio César sus mensajes encriptados o cómo funciona por dentro una #IA, ¡te esperamos mañana!
📍 Stand A05
🕙 10:00–19:00
🧪 ¡Arranca #MadridesCiencia 2026!
👉IMDEA Software te espera en La Nave Madrid para mostrarte cómo el #software forma parte indispensable de tu vida.
🗓️19,20 y 21 de marzo (10–19h)
📍Stand A05
💿Ven a probar actividades interactivas sobre #IA, #criptografía, #algoritmos, #MPC ¡y mucho más!
🎉 Congratulations to our researcher David Martínez Rubio on being awarded a Junior Leader postdoctoral fellowship from “la Caixa” Foundation, one of Europe’s most competitive grants!
👏 A well-deserved recognition of his work.
🔗 c.madrid/qpr39
💻 Esta semana tienes una cita con IMDEA Software en la Feria #MadridEsCiencia
👋 Ven a visitarnos en el stand de los Institutos IMDEA y descubre nuestras actividades de #criptografía, #IA y #MPC entre otros.
📌 La Nave, madrid
🗓️ Del 19 al 21 de marzo
➕Info: c.madrid/MadridEsCien...
🔵 #INVITEDTalk at IMDEA Software
🗣️ Eleni Straitouri, Max Planck Institute for Software Systems
📅 Tuesday, Mar 10
⏰ 11:00 CET
🔎 Designing Systems to Improve Humans, Reliably
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
#imdeasoftware
🔵 Last week, IMDEA Software participated in two key events: Satelec, where we connected with students interested in research and academic opportunities, and Transfiere, where we showcased our projects and explored new collaborations with companies and research centers.
🔗https://c.madrid/1nbrz
⏰¡Este mes vuelve la Feria #MadridesCiencia! El evento científico que no te puedes perder.
👨💻David Balbás, investigador de #IMDEASoftware, nos cuenta cómo el software juega un papel crucial en la investigación.
👉Te esperamos del 19 al 21 de marzo en La Nave
#MadridEsCiencia
🔵 #IMDEATalk at IMDEA Software Institute
🗣️Alessio Mansutti (IMDEA Software)
📅 Monday, March 2
⏰ 15:00 CET
🔎 On the Design of Algorithms for Non-linear Theories of Arithmetic
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🎓 IMDEA Software is looking for a Senior Network Engineer to join #REDIMadrid!
We are looking for an experienced engineer to join the team managing advanced research and education networks and an emerging quantum communication infrastructure.
📍 Madrid, Spain
🗓️ Deadline: March 31st
🔗 c.madrid/j2s5o
🔵Ya estamos en la Feria #Satelec!
👉 Pásate por el stand 32, en la ETSI Telecomunicaciones-UPM y pregunta por nuestra oferta de plazas de #internship y #PhD.
🔵¿Quieres conocernos mejor?
IMDEA Software participa:
👉Feria Satelec (Madrid)
Descubre nuestra oferta de #internship y #PhD.
24 de febrero | ETSIT-UPM (Stand 32).
👉 Foro Transfiere (Málaga)
Conoce nuestros proyectos.
24-26 febrero | Stand @comunidadmadrid.bsky.social, Fycma).
🗓️ ¡Te esperamos!
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Mariana Gama (COSIC, KU Leuven)
📅 Tuesday, February 17
⏰ 11:00 CET
🔎 Accelerating post-quantum zkSNARKs through distribution and private delegation
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
