🗣️Lionel Parreaux, Hong Kong University of Science and Technology
📅 Monday, February 9
⏰ 11:00 CET
🔎 The Next Stage of Pattern Matching
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
09.02.2026 08:13 — 👍 0 🔁 0 💬 0 📌 0
🎓 Marco Guarnieri and Thaleia Dimitra Doudali (IMDEA Software) are looking for applicants to join their research team in Security of Agentic Systems.
📍 Madrid, Spain
🗓️ Application deadline: February 20th
🔗 Apply here: c.madrid/j2s5o
06.02.2026 13:29 — 👍 2 🔁 1 💬 0 📌 0
🎓 Dario Fiore (IMDEA Software) is looking for applicants to join the Cryptography research team:
🔹 Open positions:
- Software Engineer
- Research Internship
📍 Madrid, Spain
🗓️ Application deadlines:
* Software Engineer: March 15th
* Research Internship: February 20th
🔗 Apply here: c.madrid/j2s5o
06.02.2026 12:49 — 👍 1 🔁 1 💬 0 📌 0
🗣️Arthur Oliveira, Yale University
📅 Friday, February 6
⏰ 10:00 CET
🔎 Concurrency Abstraction for Compositional Systems Verification
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
06.02.2026 08:09 — 👍 0 🔁 0 💬 0 📌 0
👩🔬 #11F | IMDEA Software y ETSIInf. UPM se unen para presentar “Reescribiendo códigos: Mujeres y niñas en la ciencia”
Una mañana para conocer cómo es la vida real de una investigadora en software.
📅 11/02
🕘 9:30-14:00
📍 ETSI Informática–UPM (Campus Montegancedo)
🔗 Inscríbete aquí: c.madrid/74jp2
02.02.2026 15:12 — 👍 2 🔁 2 💬 0 📌 0
💼 This week we took part in #S4i, promoting knowledge transfer and innovation alongside the #IMDEAinstitutes, companies, and startups. Discover how our research generates economic and social impact.
📰 Read the full article on our website: c.madrid/1vzp8
30.01.2026 12:19 — 👍 1 🔁 0 💬 0 📌 0
🔵 IMDEA Software will host the first Spanish mirror of #SoftwareHeritage, the world’s largest public archive of source code. This milestone was officially marked with the signing of the agreement with INRIA.
👉 Read the full article here:
c.madrid/19vcz
28.01.2026 16:00 — 👍 1 🔁 1 💬 1 📌 0
🔵 ERC Proof of Concept awarded to Dario Fiore for #VERIFHE, a project tackling privacy and correctness in machine learning services.
📰Read the full article here: c.madrid/avts0
#ERCPoC @erc.europa.eu
27.01.2026 15:26 — 👍 1 🔁 0 💬 0 📌 0
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Claudio Battiloro, Harvard T.H. Chan School of Public Health
📅 Tuesday, January 27
⏰ 10:00 CET
🔎 The Shapes of Knowledge: Topological and Geometric Methods to Learn on Complex Networks
📍 302-Mountain View, Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
27.01.2026 08:38 — 👍 1 🔁 0 💬 0 📌 0
🔐 IMDEA Software joins #SONIC, a new European project where our researcher @gportokalidis.bsky.social will lead key areas, aiming to make cybersecurity faster and easier with a marketplace of ready-to-use SOC tools.
📰 You can read the full article here: c.madrid/vmj59
26.01.2026 11:22 — 👍 1 🔁 1 💬 0 📌 0
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Thomas Humphries, University of Waterloo
📅 Monday, January 26
⏰ 10:00 CET
🔎 Evolving Privacy Trade-offs for Deployable AI Systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
26.01.2026 08:45 — 👍 0 🔁 0 💬 0 📌 0
🎓 IMDEA Software Institute is offering an Internship in Neurosymbolic Shielding!
Work with César Sánchez on safe reinforcement learning: design “producers” that ensure RL controllers act safely using a mix of machine learning and formal methods.
📍 Madrid, Spain
🗓️ DL: Feb 10
🔗 c.madrid/j2s5o
23.01.2026 15:40 — 👍 0 🔁 0 💬 0 📌 0
Ya existe una red de comunicación cuántica en Madrid
Madrid ya opera MadQCI, una red cuántica con una extensión de 700 km que conecta 25 nodos. Es el primer paso hacia el internet cuántico europeo, centrado en comunicaciones y claves ultraseguras.
🔵 David Rincón, coordinador de #REDIMadrid, nos explica en The Conversation, cómo desde IMDEA Software estamos impulsando el proyecto MadQuantum-CM, la red de comunicaciones cuánticas de Madrid.
🗣️“MadQCI representa 700 km de red y un primer paso hacia el internet cuántico europeo”
👉 c.madrid/7ffnc
23.01.2026 10:06 — 👍 1 🔁 1 💬 0 📌 0
Ya existe una red de comunicación cuántica en Madrid | madrimasd
Esta red cuántica no es un prototipo de laboratorio, sino una red real, que ya realiza ensayos dirigidos a diseñar las comunicaciones del futuro
Ya existe una red de comunicación cuántica en Madrid
Esta red cuántica no es un prototipo de laboratorio, sino una red real, que ya realiza ensayos dirigidos a diseñar las comunicaciones del futuro
www.madrimasd.org/notiweb/noti...
@imdea-software.bsky.social
22.01.2026 11:51 — 👍 2 🔁 2 💬 1 📌 0
🎓 IMDEA Software is offering 4 positions in Software Systems & Security
The #MadriSec group invites applications for 3 Research Internships and 1 PhD position under the supervision of @gportokalidis.bsky.social
📍 Location: Madrid, Spain
🗓️ Application DL: February 13th
🔗 Apply here: c.madrid/j2s5o
22.01.2026 10:25 — 👍 1 🔁 2 💬 0 📌 0
🎓 IMDEA Software is offering a PhD position in Safe and Verified Cyber-Physical Systems!
IMDEA Software invites applications for one #PhD position under the supervision of Kaushik Mallik.
📍 Location: Madrid, Spain
🗓️ Application deadline: February 10th, 2026
🔗 Apply here: c.madrid/2lvhu
22.01.2026 09:54 — 👍 0 🔁 1 💬 0 📌 0
🚨 Hiring! 🚨 I have multiple internship and PhD positions in systems & software security at @imdea-software.bsky.social 🇪🇸 Join us to work on research in sandboxing, binary analysis, hardening, and more. 🔗 tinyurl.com/v8vkecy2 #Security #PhD #Internship #SystemsSecurity #ResearchJobs
21.01.2026 16:23 — 👍 1 🔁 1 💬 0 📌 0
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Ignacio de la Serna, Max Planck Institute
📅 Tuesday, January 20
⏰ 11:00 CET
🔎 Bias in Deep Face Models
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
19.01.2026 08:26 — 👍 0 🔁 0 💬 0 📌 0
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Miguel Á. Carreira-Perpiñán
📅 Monday, January 19
⏰ 11:00 CET
🔎 Oblique decision trees as an image model for segmentation and other tasks
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
16.01.2026 14:37 — 👍 0 🔁 0 💬 0 📌 0
👋 We welcome David Martínez Rubio! Our new PhD researcher at IMDEA Software.
📰 Read his full interview on our website and discover his work in optimisation and machine learning:
c.madrid/2eiao
16.01.2026 12:16 — 👍 1 🔁 0 💬 0 📌 0
YouTube video by IMDEA Software Institute
XX Jornadas REDIMadrid
🤔¿Te perdiste las XX Jornadas de #REDIMadrid?
👉Ya puedes ver el encuentro completo en nuestro canal de YouTube ¡No te lo pierdas!
youtu.be/1OlMxu8aJyk?...
15.01.2026 09:49 — 👍 1 🔁 1 💬 0 📌 0
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Xinyue Shen
📅 Thursday, January 15
⏰ 10:00 CET
🔎 Securing AI Systems Against Real-World Misuse
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
14.01.2026 12:50 — 👍 0 🔁 0 💬 0 📌 0
🏆 Georgios Portokalidis has received the Test of Time Award at the Annual Computer Security Applications Conference (#ACSAC) in Hawaii for the paper “Paranoid Android: Versatile Protection for Smartphones”.
👏Congratulations to Georgios and his co-authors!
📰Full article here: c.madrid/a1zvb
22.12.2025 11:02 — 👍 2 🔁 1 💬 0 📌 0
🔵IMDEA Software takes part in the Carrera de las Empresas.
🏃Researchers, IT and administrative staff ran this weekend along Paseo de la Castellana, sharing sports and teamwork.
📰You can read more on our website: c.madrid/9vrfa
15.12.2025 14:32 — 👍 1 🔁 0 💬 0 📌 0
🔵 Marco Guarnieri, associate research professor at IMDEA Software, has been awarded an #ERCCoG to develop his project PRIMULA.
👏 We celebrate this achievement and warmly congratulate Marco for reaching this important milestone.
📰 You can read the full article here: c.madrid/wozpp
@erc.europa.eu
10.12.2025 09:37 — 👍 3 🔁 1 💬 0 📌 0
🔵 #ThesisDefense
🗣️ Researcher David Balbás is making his thesis defense next Wednesday, December 17.
⏰ 15:00
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus de Montegancedo
🔎 Cryptography for a Verifiable World: Foundations and Applications of Succinct Proof Systems
04.12.2025 12:47 — 👍 2 🔁 1 💬 0 📌 0
🔵 #ThesisDefense
🗣️ Researcher Alejandro Naser is making his thesis defense next Tuesday, December 16.
⏰ 15:00
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus de Montegancedo
🔎 Fault-Tolerant Computing with Unreliable Channels
04.12.2025 12:45 — 👍 0 🔁 0 💬 0 📌 0
🏆 Our researcher Dimitrios Kolonelos has been awarded for his PhD thesis at UPM.
📚 His work on “Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments” has received one of the most prestigious recognitions for young researchers
👉 Read more here: c.madrid/jvqum
04.12.2025 09:10 — 👍 1 🔁 1 💬 0 📌 0
From Environment to Health
From Science to Policy-Making
All about software and security!
Associate Research Professor @imdea-software.bsky.social
PhD, postdoc, internship positions available https://tinyurl.com/ycyp64j6
We collect, preserve, and share #software #sourcecode for present and future generations. #swh #softwarecommons #freesoftware #opensource
PhD Student at IMDEA Networks Institute. Blockchains. Choosing Curiosity.
"Conectar Dados, Potenciar Ciência"
Consortium to promote the research data management and sharing in Portugal under the call for expressions of interest – RI/00138/2024
Museu d'Art Contemporani | Modern Art Museum | Museo de Arte Contemporáneo | Barcelona
www.museutapies.org
Sociedad creada con el objetivo de fomentar la investigación, transferencia y divulgación de la Nanomedicina en España
Organization created with the aim of promoting research, transfer, and dissemination of Nanomedicine in Spain
he/him
ms in cybersecurity @uni-saarland.de
researcher @cispa.de
future phd candidate
trying to understand the world one packet and page at a time. eternally optimistic.
https://alan.chung-ma.com
@purdueece.bsky.social alumn
Licenciada en Física. Técnica experta en Protección Radiologica. Divulgadora y editora científica. #GigantasEnVerso
Ciencia de la Comunicación Científica en FECYT.
Hace años estudié farmacia y pasé por un laboratorio.
Anti-racista y feminista interseccional.
Consultora de comunicación y marketing en empresas tecnológicas e innovadoras | Docente | @StateIVLP fellow | Fundadora @SevillaUP | Mentora @OpenFuture_And
Nuestro objetivo: lograr la plena e igualitaria participación de las mujeres en el sistema de ciencia español.
Nuestra web: https://amit-es.org/
Periodista de información científica. "Lo bueno de la ciencia es que es cierta, creas o no en ella", Neil deGrasse Tyson.
La Delegación del CSIC en Castilla y León está conformada por cinco centros de investigación, varias unidades asociadas y una bioincubadora de empresas 👩🔬🧪 Promueve la I+D+i, la transferencia de conocimiento y la cultura científica en la región.
The Michael Sars Centre, University of Bergen, is an international community of scientists studying the molecular and cellular biology of marine organisms.
https://linktr.ee/michaelsarscentre
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
