IMDEA Software
banner
imdea-software.bsky.social
IMDEA Software
@imdea-software.bsky.social
At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Pinned
🔵 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...
🔵 Our researcher Kaushik Mallik has been awarded the Ramón y Cajal 2024 Fellowship, granted by the Spanish Ministry of Science, Innovation and Universities.

💡 We are very proud of this achievement and look forward to seeing great results in the coming years.

👉 Full article: c.madrid/wq31p
November 19, 2025 at 2:49 PM
🔵 #ThesisDefense

🗣️ Researcher Fedor Ryabinin, advised by Alexey Gotsman, is making his thesis defence next Tuesday, November 25.

⏰ 10:30
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus de Montegancedo
🔎 Fast State-Machine Replication in Geo-Distributed Systems

#imdeasoftware #ImdeaThesis
November 18, 2025 at 3:37 PM
💻La semana pasada nos visitaron los estudiantes del CEIPSO Padre Garralda para participar en nuestra actividad “Gymkhana: Software Matters” y descubrir de forma divertida cómo el software impulsa el mundo que nos rodea.

🧪Esta actividad se engloba dentro de la #SemanaCienciaInnovacion
November 17, 2025 at 8:51 AM
🔵Our Director, Manuel Carro, took part in the opening conference of the Tech-Hub 6G meeting, highlighting the origins and impact of the IMDEA Institutes in driving scientific and technological innovation in the Madrid region.

📰 Read the full article here: c.madrid/k0o44
November 14, 2025 at 2:42 PM
💻 IMDEA Software internship positions

Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.

👨‍🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...
November 7, 2025 at 3:58 PM
🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)

📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
November 4, 2025 at 8:19 AM
🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)

📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
November 3, 2025 at 9:52 AM
🔵 El 21 de octubre, IMDEA Software acogió las XX Jornadas REDIMadrid, un encuentro que reunió a los socios de la región para debatir sobre el futuro de la red que conecta centros de investigación, universidades y entidades de innovación en la Comunidad de Madrid

📰 c.madrid/sfvt1
October 27, 2025 at 11:31 AM
Reposted by IMDEA Software
We're hiring! @imdea-software.bsky.social is looking for an Assistant Research Professor, including in systems!
Join a leading research institute in Madrid 🇪🇸
software.imdea.org/careers/2025...
#FacultyJob #SystemsResearch #ComputerScience #Madrid
Tenure-track Faculty Positions - The IMDEA Software Institute
Madrid Institute for Advanced Studies in Software Development Technologies
software.imdea.org
October 24, 2025 at 1:12 PM
💼 IMDEA Software is offering an #HRTechnician position for proactive and detail-oriented candidates interested in the complete employee lifecycle, payroll, and labor compliance.

📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
October 24, 2025 at 10:27 AM
🚀¡Damos comienzo a las XX #JornadasREDIMadrid!

▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!

🔗https://www.redimadrid.es/jornadas.html
October 21, 2025 at 7:43 AM
🧪 Este 20 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.

🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
October 17, 2025 at 1:04 PM
⏰ Tic, tac, tic, tac… ¡Comienza la cuenta atrás para las XX #JornadasREDIMadrid!

👀¿Sabías que también puedes seguirlas online?

👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html
October 17, 2025 at 10:47 AM
💼 IMDEA Software is looking for an HR Intern!

IMDEA Software Institute is offering an HR internship position for students interested in the legal, analytical, and administrative core of Human Resources.

📍 Campus Montegancedo (Madrid)
🗓️ Deadline: November 15th
🔗 software.imdea.org/careers/2025...
October 13, 2025 at 3:09 PM
🔵 IMDEA Software at international conferences ICLP, LOPSTR, and PPDP in Italy!

🗣️ Our researchers took part in several logic programming conferences, presenting their latest advances in logic programming, formal verification, and Prolog education.

📰 software.imdea.org/news/2025/10...
October 10, 2025 at 1:14 PM
🔵 On October 23–24 in Cádiz, the global functional programming community will come together at #LambdaWorld25.

👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.

lambda.world
October 9, 2025 at 9:10 AM
🔵 IMDEA Software hosted the 19th edition of the International Conference on Reachability Problems (#RP25)

🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic

📰 Full article: software.imdea.org/news/2025/08...
October 8, 2025 at 11:21 AM
🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Antreas Dionysiou, TU Delft

📅 Tuesday, October 7
⏰ 11:00 CET
🔎 Security at Every Layer: From Password Deception and Machine Learning Attacks to Binary Validation

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
October 6, 2025 at 8:28 AM
🔵 Today we welcomed a delegation from the School of Economics and Management at Beihang University to the IMDEA Software.

🤝The visit focused on exploring potential collaborations at the intersection of computer science and economics.

📰 software.imdea.org/news/2025/03...
October 3, 2025 at 1:26 PM
🔵Visita la web de la XX edición de las Jornadas #REDIMadrid.

👉 Un espacio para debatir el trabajo que se realiza desde REDIMadrid y el papel de las redes telemáticas en el desarrollo de investigación puntera a nivel internacional.

📅 21/10
📍 IMDEA Software

www.redimadrid.es/jornadas.html
October 2, 2025 at 1:55 PM
📢 From October 1–3, the 19th International Conference on Reachability Problems (#RP25) is taking place at the IMDEA Software Institute.

🧵👇
October 1, 2025 at 10:48 AM
🌙 El 26/09, IMDEA Software participó en la XVI #ERN, dentro de la actividad conjunta de los institutos IMDEA: “La ciencia que ayuda al planeta (II)”.

🎉 Gracias a todas las personas que se acercaron a exponer sus deseos durante esa tarde.

📰 software.imdea.org/es/news/2025...
September 29, 2025 at 2:41 PM
🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Oriol Saguillo, PhD student IMDEA Networks

📅 Tuesday, September 30
⏰ 11:00 CET
🔎 Unravelling the Probabilistic Forest: Arbitrage in Prediction Markets

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
September 29, 2025 at 7:44 AM
🌙 Hoy en la Residencia de Estudiantes de Madrid celebramos la #NocheEuropeaInvestigadores2025 de la mano de los 7 #IMDEAInstitutes.

🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
September 26, 2025 at 5:29 PM
🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Eduardo Castelló Ferrer, IE University

📅 Friday, September 26
⏰ 11:00 CET
🔎 Blockchain-based robotics: creating novel interfaces between human and robot societies

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
September 25, 2025 at 9:16 AM