🔵 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/career… @IMDEAInstitutes

🌙 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 @ComunidadMadrid? #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

⛑️ Un científico también tiene su parte de héroe, como los #BomberosCM a los que podrás conocer esta tarde en la Residencia de Estudiantes. 📍 Acompáñanos y podrás charlar con ellos sobre cómo ayuda la ciencia a afrontar los desastres naturales. ℹ️ c.madrid/j2lah

👨🏻‍💻 ¿Qué pueden hacer la IA o el Internet de las cosas ante desastres naturales? 🧑🏽‍🚒 Annika Coll y Agustín de la Herrán, #BomberosCM, estarán atentos a las respuestas de Antonio Fernández y José Aguilar, @IMDEA_Software, en la Residencia de Estudiantes. ℹ️ c.madrid/j2lah

👩‍🚒🥼 ¿Bomberos y científicos en un mismo escenario? 🔬🛘 ¡Claro! ¿Qué mejor forma de demostrar el importante papel de la ciencia ante los desastres naturales? 🔔 ¡Mañana en la Residencia de Estudiantes! 🔗 Reservas: tinyurl.com/ERN26-IMDEA

🔵 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! In this project, you will develop scalable algorithms for reactive synthesis modulo theories by coupling automata-theoretic game solving with on-demand theory reasoning. 👉 Who should apply: Candidates with an excellent MSc or BSc degree (or close to completing one) in Computer Science, Mathematics, or a related discipline. Strong commitment to research, top programming skills, ability to understand and develop algorithms, and excellent spoken and written English are required. ⏳ Duration: 4 years 📍 Location: Madrid, Spain 🗓️ Application deadline: October 1st 🔗 Apply here: 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

🚒 Los Institutos IMDEA se unen a los Bomberos de la @ComunidadMadrid en su actividad para resaltar el valor de este importante cuerpo y del uso de la ciencia para evitar catástrofes o paliar sus efectos negativos @IMDEA_Software #EuropeanResearchersNight

📢 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 Reg: Nov 25, 2026 (AoE) 📄 Paper Deadline: Dec 2, 2026 (AoE) CFP & details: 🔗 eurosp2027.ieee-security.org… #EuroSP27

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…

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

🔵 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. 🗓️ Ya está abierto el plazo de inscripción para las actividades de La Noche Europea de los Investigadores ¡No te quedes sin tu plaza! 🔗 Lee la noticia completa e inscríbete aquí: c.madrid/3d68n

🎓 IMDEA Software is hiring a PhD Student in Machine Learning in Synthesis! Join Kaushik Mallik and Alessio Mansutti to work on combining machine learning with formal verification. This project aims to develop a general, learning-enabled CEGIS framework for Skolem function synthesis to tackle complex synthesis problems across a variety of domains, including solving partial differential equations. 🔹 Who should apply: Candidates holding a Master’s degree in Computer Science (or close to completing one). Prior background in formal verification and/or machine learning is appreciated, but not required. 📍 Location: Madrid, Spain 🗓️ Application deadline: September 30th 🔗 Apply here: c.madrid/45zb2

🔬 🧑🏽‍🚒 La ciencia ante los desastres naturales es el título de la actividad que #IMDEAInstitutes preparamos para el 25 de septiembre en el marco de #NightMadrid, con la colaboración de #BomberosCM. + Inf.: c.madrid/j2lah @educacmadrid @MAmbienteCM

🔵 The paper “BlockMeNot” was a runner-up for the “Distinguished Paper Award” at USENIX 2026. 👥 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. 📰 Read more about this news in the article: c.madrid/u90alx

⏳ ¡En nada llega el 25 de septiembre! 👩‍🚒 Y con él la #NocheEuropeaInvestigadores, en la que este año los #IMDEAInstitutes colaboraremos con #BomberosCM. 🚶 Ven a conocer el papel de la ciencia en la prevención y ayuda ante desastres naturales. ℹ️ c.madrid/r448n

📡 La @ComunidadMadrid ha culminado el proyecto para crear una red de comunicaciones cuánticas pionera en España. 💻 El proyecto MADQuantum-CM, en el que han colaborado @IMDEA_Networks y @IMDEA_Software se inició en 2022. c.madrid/s517g

👉 La Comunidad de Madrid culmina el proyecto para crear una red de comunicaciones cuánticas pionera en España. ✅ @IMDEA_Networks y @IMDEA_Software han colaborado en MADQuantum-CM. +Info: c.madrid/s517g

🤝 Meet our partner, @IMDEA_Software Institute! 🛡️ 14th in Europe by CSRankings and the 1st Spanish research institution in Computer Security, Cryptography & Programming Languages, IMDEA hosts 70+ global researchers! 🚀💻 🔗 sonic-project.eu/ #SONICProject #IMDEA