🎓 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

🔵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

🔵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

🔵 #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

🔵 #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

🔵 #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, 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

🏆 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

🔵 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

🔵 #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

🔵 "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

💪 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 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

🎓 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

🔵 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

🔵 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...

🔵 #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 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...

📍 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

🎨 ¡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

🔵 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

🔵 #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

🔵 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

🔵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...

Feria Madrid es Ciencia 2026

YouTube video by IMDEA Software Institute

youtube.com

🤝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!