🔵 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 🔗 https://t.co/nTQd6MhYYK @IMDEAInstitutes

🔵Our Director, Manuel Carro, took part in the opening conference of the Tech-Hub 6G meeting, highlighting the origins and impact of the @IMDEAInstitutes in driving scientific and technological innovation in the Madrid region. 📰 Read the full article here:

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Enrico Lipparini, post-doctoral researcher (University of Cagliari, Italy) 📅 Tuesday, November 11 ⏰ 11:00 CET 🔎 Formal Verification for Decentralized Finance: state-of-the art, challanges, and future directions 📍 302-Mountain

💻 IMDEA Software Institute is offering an Internship in Distributed Computing! IMDEA Software, invites applications for intern positions under the supervision of Alexey Gotsman. Successful candidates will contribute to the design and implementation of distributed protocols for

🔵 #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:

🔵 #INVITEDTalk at IMDEA Software Institute 🗣️ Alexandru Popa, Professor in the Department of Computer Science (University of Bucharest) 📅 Tuesday, November 4 ⏰ 11:00 CET 🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms 📍 302-Mountain View & Zoom 🔴

🆘 Es necesario reducir coste y consumo energético de la construcción de sistemas de IA. 💻 Y en ello trabajan en @IMDEA_Software, como escribió uno de sus investigadores, Facundo Molina, hace un tiempo. ▶️ Vía @Conversation_E ➽ https://t.co/4UXxWg6bTF

💻 Reducir el coste y el consumo energético de los sistemas de #IA es un reto clave para una tecnología más sostenible. Interesante artículo de nuestros colegas de @IMDEA_Software sobre cómo avanzar hacia una #InteligenciaArtificial más eficiente. 🔗

🔵 ¡Ya puedes leer cómo fueron las XX Jornadas de #REDIMadrid! 🤝El pasado 21 de octubre, el Instituto IMDEA Software acogió la vigésima edición de estas jornadas, un encuentro que reunió a la comunidad científica y tecnológica de la región para debatir sobre el presente y el

💼 IMDEA Software is looking for an HR Technician! IMDEA Software Institute is offering an #HRTechnician position for proactive and detail-oriented candidates interested in the complete employee lifecycle, payroll, and labor compliance. 📍 Campus Montegancedo (Madrid) 🗓️

Workshops kicking off this morning with a parallel session Solid Code with Liquid Types! Hosted by @IMDEA_Software presented by Alessio Ferrarini & Pablo Castellanos #Workshops #Lambdaworld #functional_programming

@ComunidadMadrid @La_UPM @CSIC @UAM_Madrid @IMDEA_Networks 🔵 Concluimos las XX #JornadasREDIMadrid. 🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica. 🎉 ¡Gracias a

@ComunidadMadrid @La_UPM @CSIC @UAM_Madrid 🔵En la última ponencia del día, Aniketh Girish, de @IMDEA_Networks, advierte que muchos dispositivos Android recopilan señales WiFi y Bluetooth sin que los usuarios lo sepan, permitiendo su localización. 🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".

@ComunidadMadrid @La_UPM @CSIC @UAM_Madrid 🔵Pablo Molinero ha hecho una introducción sobre cómo protegerse frente a ataques avanzados a redes de telecomunicaciones. 🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a

@ComunidadMadrid @La_UPM @CSIC @UAM_Madrid 🔵Juan Caballero, IMDEA Software, analiza ataques de ransomware contra bases de datos que en realidad son estafas sin malware. 🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los

@ComunidadMadrid @La_UPM @CSIC 🔵Shadi Motaali, de la @UAM_Madrid analizó anomalías BGP en 4 fases con Random Forest y XGBoost. 🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".

👩‍🔬 Bacterias que depuran agua, biomateriales impresos en 3D para "tejer" el cerebro, comunicación cuántica segura, gymkhana de software... 🤔 Si te interesan estos y otros muchos temas, ven a los #IMDEAInstitutes en la #SemanaCienciaInnovación. + Inf.: https://t.co/nByPbwzqmD

@ComunidadMadrid @La_UPM @CSIC 🔵 Alberto Sebastián, de @La_UPM, ofrece una panorámica de las comunicaciones cuánticas en Madrid, destacando los siguientes datos de la QCI: 29 localizaciones en 19 instituciones, 32 sistemas cuánticos de 10 fabricantes diferentes y 10 escenarios beyond-QDK con el objetivo de

@ComunidadMadrid @La_UPM Alberto Compañ y Juan Manuel Bolaño, del @CSIC, hablaron sobre el uso de herramientas de la red, destacando que la combinación de varias herramientas complementarias permite una gestión más eficiente.

@ComunidadMadrid @La_UPM 🔵Rolando González, de Ruijie, presenta el futuro de las redes de campus con cableados híbridos ópticos/eléctricos, así como la agregación y mejora de las autenticaciones en la red. 🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta