🔵 #INVITEDTalk at IMDEA Software
🗣️ Eleni Straitouri, Max Planck Institute for Software Systems
📅 Tuesday, Mar 10
⏰ 11:00 CET
🔎 Designing Systems to Improve Humans, Reliably
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
#imdeasoftware
🔵 Last week, IMDEA Software participated in two key events: Satelec, where we connected with students interested in research and academic opportunities, and Transfiere, where we showcased our projects and explored new collaborations with companies and research centers.
🔗https://c.madrid/1nbrz
⏰¡Este mes vuelve la Feria #MadridesCiencia! El evento científico que no te puedes perder.
👨💻David Balbás, investigador de #IMDEASoftware, nos cuenta cómo el software juega un papel crucial en la investigación.
👉Te esperamos del 19 al 21 de marzo en La Nave
#MadridEsCiencia
🔵 #IMDEATalk at IMDEA Software Institute
🗣️Alessio Mansutti (IMDEA Software)
📅 Monday, March 2
⏰ 15:00 CET
🔎 On the Design of Algorithms for Non-linear Theories of Arithmetic
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🎓 IMDEA Software is looking for a Senior Network Engineer to join #REDIMadrid!
We are looking for an experienced engineer to join the team managing advanced research and education networks and an emerging quantum communication infrastructure.
📍 Madrid, Spain
🗓️ Deadline: March 31st
🔗 c.madrid/j2s5o
🔵Ya estamos en la Feria #Satelec!
👉 Pásate por el stand 32, en la ETSI Telecomunicaciones-UPM y pregunta por nuestra oferta de plazas de #internship y #PhD.
🔵¿Quieres conocernos mejor?
IMDEA Software participa:
👉Feria Satelec (Madrid)
Descubre nuestra oferta de #internship y #PhD.
24 de febrero | ETSIT-UPM (Stand 32).
👉 Foro Transfiere (Málaga)
Conoce nuestros proyectos.
24-26 febrero | Stand @comunidadmadrid.bsky.social, Fycma).
🗓️ ¡Te esperamos!
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Mariana Gama (COSIC, KU Leuven)
📅 Tuesday, February 17
⏰ 11:00 CET
🔎 Accelerating post-quantum zkSNARKs through distribution and private delegation
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
💜👩💻 #11F Women & Girls in Science
On February 11, IMDEA Software and ETSIInf. UPM hosted “Rewriting Codes: Women & Girls in Science”, inspiring students with panels, workshops, and real-life STEM role models.
🔗Read more about the event in our website: c.madrid/3hbzd
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Dongwei Xiao, Hong Kong University of Science and Technology
📅 Tuesday, February 10
⏰ 10:00 CET
🔎 Towards Dependable Systems for Privacy-Enhancing Technologies
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️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
🎓 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
🎓 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
🗣️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
👩🔬 #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
💼 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
🔵 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
🤖 ¡Ven a visitarnos a #s4industry!
📍Estaremos en La Nave los días 28 y 29 en el stand de la Comunidad de Madrid.
🔵 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
🔵 #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
🔐 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
🔵 #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
🎓 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
🔵 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
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
🎓 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
🎓 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
🚨 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
🔵 #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
🔵 #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
