📍 Madrid | 💼 Competitive salaries | 🌍 World-class research
🗓 Apply by Nov 14
🔗 software.imdea.org/es/careers/2...
💡 We are very proud of this achievement and look forward to seeing great results in the coming years.
👉 Full article: c.madrid/wq31p
💡 We are very proud of this achievement and look forward to seeing great results in the coming years.
👉 Full article: c.madrid/wq31p
🗣️ 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
🗣️ 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
🧪Esta actividad se engloba dentro de la #SemanaCienciaInnovacion
🧪Esta actividad se engloba dentro de la #SemanaCienciaInnovacion
📰 Read the full article here: c.madrid/k0o44
📰 Read the full article here: c.madrid/k0o44
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...
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...
🗣️ 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
🗣️ 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
🗣️ 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
🗣️ 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
📰 c.madrid/sfvt1
📰 c.madrid/sfvt1
Join a leading research institute in Madrid 🇪🇸
software.imdea.org/careers/2025...
#FacultyJob #SystemsResearch #ComputerScience #Madrid
Join a leading research institute in Madrid 🇪🇸
software.imdea.org/careers/2025...
#FacultyJob #SystemsResearch #ComputerScience #Madrid
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
👀¿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
👀¿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
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...
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...
🗣️ 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...
🗣️ 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...
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
🗣️ 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...
🗣️ 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...
🗣️ 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
🗣️ 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
🤝The visit focused on exploring potential collaborations at the intersection of computer science and economics.
📰 software.imdea.org/news/2025/03...
🤝The visit focused on exploring potential collaborations at the intersection of computer science and economics.
📰 software.imdea.org/news/2025/03...
👉 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
👉 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
🧵👇
🧵👇
🎉 Gracias a todas las personas que se acercaron a exponer sus deseos durante esa tarde.
📰 software.imdea.org/es/news/2025...
🎉 Gracias a todas las personas que se acercaron a exponer sus deseos durante esa tarde.
📰 software.imdea.org/es/news/2025...
🗣️ 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
🗣️ 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
🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
🗣️ 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
🗣️ 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