IMDEA Software
@imdea-software.bsky.social
At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
💻 IMDEA Software internship positions
Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.
👨🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...
Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.
👨🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...
November 7, 2025 at 3:58 PM
💻 IMDEA Software internship positions
Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.
👨🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...
Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.
👨🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)
📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)
📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
November 4, 2025 at 8:19 AM
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)
📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)
📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)
📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)
📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
November 3, 2025 at 9:52 AM
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)
📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)
📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 El 21 de octubre, IMDEA Software acogió las XX Jornadas REDIMadrid, un encuentro que reunió a los socios de la región para debatir sobre el futuro de la red que conecta centros de investigación, universidades y entidades de innovación en la Comunidad de Madrid
📰 c.madrid/sfvt1
📰 c.madrid/sfvt1
October 27, 2025 at 11:31 AM
🔵 El 21 de octubre, IMDEA Software acogió las XX Jornadas REDIMadrid, un encuentro que reunió a los socios de la región para debatir sobre el futuro de la red que conecta centros de investigación, universidades y entidades de innovación en la Comunidad de Madrid
📰 c.madrid/sfvt1
📰 c.madrid/sfvt1
💼 IMDEA Software is offering an #HRTechnician position for proactive and detail-oriented candidates interested in the complete employee lifecycle, payroll, and labor compliance.
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
October 24, 2025 at 10:27 AM
💼 IMDEA Software is offering an #HRTechnician position for proactive and detail-oriented candidates interested in the complete employee lifecycle, payroll, and labor compliance.
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
🔵 Concluimos las XX #JornadasREDIMadrid.
🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica.
🎉 ¡Gracias a todos por participar!
🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica.
🎉 ¡Gracias a todos por participar!
October 21, 2025 at 3:01 PM
🔵 Concluimos las XX #JornadasREDIMadrid.
🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica.
🎉 ¡Gracias a todos por participar!
🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica.
🎉 ¡Gracias a todos por participar!
🔵En la última ponencia del día, Aniketh Girish, de IMDEA Networks, advierte que muchos dispositivos Android recopilan señales WiFi y Bluetooth sin que los usuarios lo sepan, permitiendo su localización.
🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".
🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".
October 21, 2025 at 2:55 PM
🔵En la última ponencia del día, Aniketh Girish, de IMDEA Networks, advierte que muchos dispositivos Android recopilan señales WiFi y Bluetooth sin que los usuarios lo sepan, permitiendo su localización.
🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".
🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".
🔵Pablo Molinero ha hecho una introducción sobre cómo protegerse frente a ataques avanzados a redes de telecomunicaciones.
🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a solo 12 horas”.
🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a solo 12 horas”.
October 21, 2025 at 2:23 PM
🔵Pablo Molinero ha hecho una introducción sobre cómo protegerse frente a ataques avanzados a redes de telecomunicaciones.
🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a solo 12 horas”.
🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a solo 12 horas”.
🔵Juan Caballero, IMDEA Software, analiza ataques de ransomware contra bases de datos que en realidad son estafas sin malware.
🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los ataques".
🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los ataques".
October 21, 2025 at 2:05 PM
🔵Juan Caballero, IMDEA Software, analiza ataques de ransomware contra bases de datos que en realidad son estafas sin malware.
🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los ataques".
🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los ataques".
🔵Shadi Motaali, de la UAM, analizó anomalías BGP en 4 fases con Random Forest y XGBoost.
🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".
🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".
October 21, 2025 at 1:29 PM
🔵Shadi Motaali, de la UAM, analizó anomalías BGP en 4 fases con Random Forest y XGBoost.
🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".
🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".
🔵 Alberto Sebastián, UPM, ofrece una panorámica de las comunicaciones cuánticas en Madrid, destacando los siguientes datos de la QCI: 29 localizaciones en 19 instituciones, 32 sistemas cuánticos de 10 fabricantes diferentes y 10 escenarios beyond-QDK.
October 21, 2025 at 11:49 AM
🔵 Alberto Sebastián, UPM, ofrece una panorámica de las comunicaciones cuánticas en Madrid, destacando los siguientes datos de la QCI: 29 localizaciones en 19 instituciones, 32 sistemas cuánticos de 10 fabricantes diferentes y 10 escenarios beyond-QDK.
Alberto Compañ y Juan Manuel Bolaño, del CSIC, hablaron sobre el uso de herramientas de la red, destacando que la combinación de varias herramientas complementarias permite una gestión más eficiente.
October 21, 2025 at 11:43 AM
Alberto Compañ y Juan Manuel Bolaño, del CSIC, hablaron sobre el uso de herramientas de la red, destacando que la combinación de varias herramientas complementarias permite una gestión más eficiente.
🔵Rolando González, Ruijie, presenta el futuro de las redes de campus con cableados híbridos ópticos/eléctricos.
🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta dispositivos con huella acústica nula, ideales para aulas y otros entornos sensibles al ruido”.
🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta dispositivos con huella acústica nula, ideales para aulas y otros entornos sensibles al ruido”.
October 21, 2025 at 10:53 AM
🔵Rolando González, Ruijie, presenta el futuro de las redes de campus con cableados híbridos ópticos/eléctricos.
🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta dispositivos con huella acústica nula, ideales para aulas y otros entornos sensibles al ruido”.
🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta dispositivos con huella acústica nula, ideales para aulas y otros entornos sensibles al ruido”.
🔵José Lucas y Ana Risueño, de Axians | Juniper, destacan la herramienta Agentic AI: “La gestión de redes puede ser como la música: instrumentos que actúan solos bajo un director que los guía, todo de forma autónoma gracias a la inteligencia artificial Agentic”.
October 21, 2025 at 10:49 AM
🔵José Lucas y Ana Risueño, de Axians | Juniper, destacan la herramienta Agentic AI: “La gestión de redes puede ser como la música: instrumentos que actúan solos bajo un director que los guía, todo de forma autónoma gracias a la inteligencia artificial Agentic”.
🔵Juan Quemada, de la UPM , ofreció una perspectiva histórica con motivo del 40º aniversario de la primera conexión española a Internet.
👉En 1985, Juan, junto a Fernando Fournon, revolucionó la historia de las comunicaciones en España al desplegar el primer servidor de correo en #EUNET.
👉En 1985, Juan, junto a Fernando Fournon, revolucionó la historia de las comunicaciones en España al desplegar el primer servidor de correo en #EUNET.
October 21, 2025 at 10:15 AM
🔵Juan Quemada, de la UPM , ofreció una perspectiva histórica con motivo del 40º aniversario de la primera conexión española a Internet.
👉En 1985, Juan, junto a Fernando Fournon, revolucionó la historia de las comunicaciones en España al desplegar el primer servidor de correo en #EUNET.
👉En 1985, Juan, junto a Fernando Fournon, revolucionó la historia de las comunicaciones en España al desplegar el primer servidor de correo en #EUNET.
🔵César Sánchez, Director de #REDIMadrid, ha realizado una revisión del estado de la red y ha solicitado que, en la nueva Ley de la Ciencia, se tengan en cuenta los adecuados dimensionamientos y atribuciones de los cargos en los diferentes niveles de la infraestructura de investigación.
October 21, 2025 at 10:02 AM
🔵César Sánchez, Director de #REDIMadrid, ha realizado una revisión del estado de la red y ha solicitado que, en la nueva Ley de la Ciencia, se tengan en cuenta los adecuados dimensionamientos y atribuciones de los cargos en los diferentes niveles de la infraestructura de investigación.
🔵El Director Adjunto de #IMDEASoftware, Antonio Fernández, ha tomado el relevo de Marina para reflexionar sobre la labor que se realiza desde #REDIMadrid con el fin de garantizar el funcionamiento ininterrumpido del servicio.
October 21, 2025 at 9:55 AM
🔵El Director Adjunto de #IMDEASoftware, Antonio Fernández, ha tomado el relevo de Marina para reflexionar sobre la labor que se realiza desde #REDIMadrid con el fin de garantizar el funcionamiento ininterrumpido del servicio.
🔵 Marina Villegas, Dir.ª Gral. de Investigación e Innovación Tecnológica, ha dado comienzo a estas jornadas destacando la contribución de #REDIMadrid para que universidades y entidades públicas y privadas conviertan sus avances científicos en una realidad.
October 21, 2025 at 9:47 AM
🔵 Marina Villegas, Dir.ª Gral. de Investigación e Innovación Tecnológica, ha dado comienzo a estas jornadas destacando la contribución de #REDIMadrid para que universidades y entidades públicas y privadas conviertan sus avances científicos en una realidad.
🚀¡Damos comienzo a las XX #JornadasREDIMadrid!
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
October 21, 2025 at 7:43 AM
🚀¡Damos comienzo a las XX #JornadasREDIMadrid!
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
🧪 Este 20 de octubre a las 9h se abre el registro de reservas para las actividades de la Semana de la Ciencia de Madrid.
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
October 17, 2025 at 1:04 PM
🧪 Este 20 de octubre a las 9h se abre el registro de reservas para las actividades de la Semana de la Ciencia de Madrid.
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
⏰ Tic, tac, tic, tac… ¡Comienza la cuenta atrás para las XX #JornadasREDIMadrid!
👀¿Sabías que también puedes seguirlas online?
👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html
👀¿Sabías que también puedes seguirlas online?
👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html
October 17, 2025 at 10:47 AM
⏰ Tic, tac, tic, tac… ¡Comienza la cuenta atrás para las XX #JornadasREDIMadrid!
👀¿Sabías que también puedes seguirlas online?
👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html
👀¿Sabías que también puedes seguirlas online?
👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html
💼 IMDEA Software is looking for an HR Intern!
IMDEA Software Institute is offering an HR internship position for students interested in the legal, analytical, and administrative core of Human Resources.
📍 Campus Montegancedo (Madrid)
🗓️ Deadline: November 15th
🔗 software.imdea.org/careers/2025...
IMDEA Software Institute is offering an HR internship position for students interested in the legal, analytical, and administrative core of Human Resources.
📍 Campus Montegancedo (Madrid)
🗓️ Deadline: November 15th
🔗 software.imdea.org/careers/2025...
October 13, 2025 at 3:09 PM
💼 IMDEA Software is looking for an HR Intern!
IMDEA Software Institute is offering an HR internship position for students interested in the legal, analytical, and administrative core of Human Resources.
📍 Campus Montegancedo (Madrid)
🗓️ Deadline: November 15th
🔗 software.imdea.org/careers/2025...
IMDEA Software Institute is offering an HR internship position for students interested in the legal, analytical, and administrative core of Human Resources.
📍 Campus Montegancedo (Madrid)
🗓️ Deadline: November 15th
🔗 software.imdea.org/careers/2025...
🔵 IMDEA Software at international conferences ICLP, LOPSTR, and PPDP in Italy!
🗣️ Our researchers took part in several logic programming conferences, presenting their latest advances in logic programming, formal verification, and Prolog education.
📰 software.imdea.org/news/2025/10...
🗣️ Our researchers took part in several logic programming conferences, presenting their latest advances in logic programming, formal verification, and Prolog education.
📰 software.imdea.org/news/2025/10...
October 10, 2025 at 1:14 PM
🔵 IMDEA Software at international conferences ICLP, LOPSTR, and PPDP in Italy!
🗣️ Our researchers took part in several logic programming conferences, presenting their latest advances in logic programming, formal verification, and Prolog education.
📰 software.imdea.org/news/2025/10...
🗣️ Our researchers took part in several logic programming conferences, presenting their latest advances in logic programming, formal verification, and Prolog education.
📰 software.imdea.org/news/2025/10...
🔵 On October 23–24 in Cádiz, the global functional programming community will come together at #LambdaWorld25.
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
October 9, 2025 at 9:10 AM
🔵 On October 23–24 in Cádiz, the global functional programming community will come together at #LambdaWorld25.
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
🔵 IMDEA Software hosted the 19th edition of the International Conference on Reachability Problems (#RP25)
🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic
📰 Full article: software.imdea.org/news/2025/08...
🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic
📰 Full article: software.imdea.org/news/2025/08...
October 8, 2025 at 11:21 AM
🔵 IMDEA Software hosted the 19th edition of the International Conference on Reachability Problems (#RP25)
🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic
📰 Full article: software.imdea.org/news/2025/08...
🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic
📰 Full article: software.imdea.org/news/2025/08...