IMDEA Software

🔵 The IMDEA Software Institute is #hiring Tenure-Track Assistant Professors in ML, Privacy, Quantum Computing, Software Engineering & Systems. 📍 Madrid | 💼 Competitive salaries | 🌍 World-class research 🗓 Apply by Nov 14 🔗 software.imdea.org/es/careers/2...

🔴 XXI Jornadas REDIMadrid 🤝The event brought together leading research and technology professionals from the region to discuss network evolution, cybersecurity, telephony, and artificial intelligence. 🔗 Read the full article on our website c.madrid/iqaml

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Jose Felipe Ortega Soto (URJC) 📅 Tuesday, 27 October ⏰ 11:00 CET 🔎 A memory-efficient distributed algorithm for ANN search with arbitrary distances 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/4911012202 🔐 @s3

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Jason Hemann (Assistant Professor of Computer Science at Seton Hall University) 📅 Thursday, 22 October ⏰ 11:00 CET 🔎 Multi-stage Relational Programming     📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/4911012202 🔐 @s3

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Charalambos Mitropoulos (Technical University of Crete) 📅 Thursday, 15 October ⏰ 11:00 CET 🔎 Strengthening the Solidity Ecosystem Through Empirical Analysis and Feedback-driven Methods  📍 302-Mountain View

🔵 #IMDEATalk at IMDEA Software Institute 🗣️Javier Gómez 📅 Wednesday, Oct 14 ⏰ 11:00 CET 🔎 Blockchain Protocols across Heterogeneous Cryptocurrencies 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

🔵 The Thaleia Doudali team at IMDEA Software participated in #SOSP2026. 👥 Georgia Christofidi and Panagiotis Pennas presented their work on sustainability in microservices and security in LLMs. 🔗 You can read the full article here: c.madrid/3kqc9

💡El lunes 19 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. 🔗 Más información: c.madrid/urqm0

💡El lunes 19 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. 🔗 Más información: c.madrid/urqm0

🔵 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

🔵 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

🔵 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

🌙 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

🌙 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

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

🔵 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

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

📢 The Call for Papers for EuroS&P 2027 is live! Join us in Madrid, Spain (July 5–9,2027) for the 12th IEEE European Symposium on Security and Privacy 🇪🇸 🗓️ Abstract Registration: Nov 25, 2026 (AoE) 📄 Paper Deadline: Dec 2, 2026 (AoE) CFP & details: 🔗 eurosp2027.ieee-security.org/cfp.html #EuroSP27

Before we say goodbye, we pass the torch to Juan Caballero and Juan Tapiador! Best of luck as they prepare for IEEE EuroS&P 2027 in Madrid. We can't wait to see you all there! 🇪🇸 #EuroSP27 #IEEEEuroSP

Next year's 12th EuroS&P is looking for new PC members! If you want to nominate yourself, please fill in the Google form: docs.google.com/forms/d/e/1F...

🔵 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

🎓 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

🔵 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

🎓 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