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...
📍 Madrid | 💼 Competitive salaries | 🌍 World-class research
🗓 Apply by Nov 14
🔗 software.imdea.org/es/careers/2...
💻 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...
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
💻 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...
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...
🔵 #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
🗣️ 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
🗣️ 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
🔵 #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
🗣️ 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
🔵 #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
🗣️ 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
🔵 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
📰 c.madrid/sfvt1
October 27, 2025 at 11:31 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
📰 c.madrid/sfvt1
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
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
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
Join a leading research institute in Madrid 🇪🇸
software.imdea.org/careers/2025...
#FacultyJob #SystemsResearch #ComputerScience #Madrid
💼 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...
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
October 24, 2025 at 10:27 AM
💼 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...
📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...
🚀¡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
▶️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
🚀¡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
▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!
🔗https://www.redimadrid.es/jornadas.html
🧪 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...
🤖 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
🧪 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...
🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.
🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...
⏰ 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
👀¿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
⏰ 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
👀¿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 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...
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 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...
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 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...
🗣️ 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
🔵 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...
🗣️ 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...
🔵 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
👥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
🔵 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
👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event.
lambda.world
🔵 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...
🗣️ 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
🔵 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...
🗣️ 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...
🔵 #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
🗣️ 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
🔵 #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
🗣️ 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
🔵 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...
🤝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
🔵 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...
🤝The visit focused on exploring potential collaborations at the intersection of computer science and economics.
📰 software.imdea.org/news/2025/03...
🔵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
👉 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
🔵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
👉 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
📢 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
📢 From October 1–3, the 19th International Conference on Reachability Problems (#RP25) is taking place at the IMDEA Software Institute.
🧵👇
🧵👇
🌙 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...
🎉 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
🌙 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...
🎉 Gracias a todas las personas que se acercaron a exponer sus deseos durante esa tarde.
📰 software.imdea.org/es/news/2025...
🔵 #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
🗣️ 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
🔵 #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
🗣️ 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
🌙 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?
🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
September 26, 2025 at 5:29 PM
🌙 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?
🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
🔵 #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
🗣️ 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
🔵 #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
🗣️ 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
Reposted by IMDEA Software
🔵 19th International Conference on Reachability Problems
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
September 11, 2025 at 9:15 AM
🔵 19th International Conference on Reachability Problems
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Julia Lawall, researcher at Inria Paris
📅 Friday, September 19
⏰ 15:00 CET
🔎 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Julia Lawall, researcher at Inria Paris
📅 Friday, September 19
⏰ 15:00 CET
🔎 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
September 18, 2025 at 10:54 AM
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Julia Lawall, researcher at Inria Paris
📅 Friday, September 19
⏰ 15:00 CET
🔎 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🗣️ Julia Lawall, researcher at Inria Paris
📅 Friday, September 19
⏰ 15:00 CET
🔎 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INTERNSHIP | IMDEA Software invites applications for 2 research internships in Software Systems & Security. Supervisor: Georgios Portokalidis.
1️⃣ Software Systems & Security (#C2Rust)
📅 DL: 13 Oct.
2️⃣ Software Systems & Security (#DockerFilter)
📅 DL: 27 Oct.
📩 Apply: software.imdea.org/careers/
1️⃣ Software Systems & Security (#C2Rust)
📅 DL: 13 Oct.
2️⃣ Software Systems & Security (#DockerFilter)
📅 DL: 27 Oct.
📩 Apply: software.imdea.org/careers/
September 18, 2025 at 8:40 AM
🔵 #INTERNSHIP | IMDEA Software invites applications for 2 research internships in Software Systems & Security. Supervisor: Georgios Portokalidis.
1️⃣ Software Systems & Security (#C2Rust)
📅 DL: 13 Oct.
2️⃣ Software Systems & Security (#DockerFilter)
📅 DL: 27 Oct.
📩 Apply: software.imdea.org/careers/
1️⃣ Software Systems & Security (#C2Rust)
📅 DL: 13 Oct.
2️⃣ Software Systems & Security (#DockerFilter)
📅 DL: 27 Oct.
📩 Apply: software.imdea.org/careers/
🔵 Our PhD student, Georgia Christofidi, spent three months at Google’s Seattle office as a student researcher, working on lifetime-aware virtual machine scheduling.
👉 Read the full story on our website: software.imdea.org/news/2025/15...
👉 Read the full story on our website: software.imdea.org/news/2025/15...
September 15, 2025 at 11:37 AM
🔵 Our PhD student, Georgia Christofidi, spent three months at Google’s Seattle office as a student researcher, working on lifetime-aware virtual machine scheduling.
👉 Read the full story on our website: software.imdea.org/news/2025/15...
👉 Read the full story on our website: software.imdea.org/news/2025/15...