CINXE.COM
The IMDEA Software Institute
<!DOCTYPE html> <!-- _ __ __ ____ _____ _ ____ __ _ | || \/ | _ \| ____| / \ / ___| ___ / _| |___ ____ _ _ __ ___ | || |\/| | | | | _| / _ \ \___ \ / _ \| |_| __\ \ /\ / / _' | '__/ _ \ | || | | | |_| | |___ / ___ \ ___) | (_) | _| |_ \ V V / (_| | | | __/ |_||_| |_|____/|_____/_/ \_\ |____/ \___/|_| \__| \_/\_/ \__,_|_| \___| _ _ _ _ _ | | _ __ ___| |_(_) |_ _ _| |_ ___ | || '_ \/ __| __| | __| | | | __/ _ \ | || | | \__ \ |_| | |_| |_| | || __/ |_||_| |_|___/\__|_|\__|\__,_|\__\___| --> <html lang="en"> <head> <meta name="generator" content="Hugo 0.111.3"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <title>The IMDEA Software Institute</title> <link rel="icon" href="/img/favicon.png"> <link rel="alternate" type="application/rss+xml" href="https://software.imdea.org/index.xml" title="The IMDEA Software Institute"> <meta name="description" content="Madrid Institute for Advanced Studies in Software Development Technologies"> <meta name="keywords" content="Research, Software, IMDEA, IMDEA Software, IMDEA Software Institute, Computer Science"> <meta name="author" content="IMDEA Software Institute: Cesar Sanchez, Juan Cespedes, Roberto Lumbreras"> <meta name="robots" content="index, follow"> <link rel="stylesheet" type="text/css" href="/css/960.min.css"> <link rel="stylesheet" type="text/css" href="/css/imdea.min.css"> <script src="/js/jquery-3.7.0.min.js"></script> <script src="/js/jquery.flexslider.min.js"></script> <script src="/js/jquery.carouFredSel-6.2.0.min.js"></script> <link rel="stylesheet" type="text/css" href="/css/flexslider.min.css"> <script> $(document).ready(function() { $('.flexslider').flexslider({}); }); </script> <script> $(function() { $('#highlights_carousel').carouFredSel({ circular : true, infinite : true, responsive : false, items : { visible : 3 } , scroll : { duration : 2000 }, align : "center" }); $('#careers_carousel').carouFredSel({ circular : true, infinite : true, responsive : false, items : { visible : 3 } , scroll : { duration : 2012 }, align : "center" }); }); </script> </head> <body> <div class="container_12 header"> <div class="grid_3 height_75"> <a href="/" title="IMDEA Software"><img id="logocm" alt="IMDEA Software" src="/img/logos/imdeasw-cm.svg"></a> </div> <div class="grid_9 height_75"> <div id="block-language"> <ul> <li><a class="active" href="/">English</a></li> <li><a href="/es/">Español</a></li> </ul> </div> <p id="imdea-initiative"> <a href="https://www.imdea.org/en" title="IMDEA initiative">IMDEA initiative</a> </p> <div id="block-search"> <form action="/search/" id="cse-search-box"> <div> <input type="hidden" name="cx" value="006298786654040992202:ktqatst7koy"> <input type="hidden" name="cof" value="FORID:9"> <input type="hidden" name="ie" value="UTF-8"> <input class="search-text" type="text" name="q" size="20" value=""> <input class="search-submit" type="submit" name="sa" value="Search"> </div> </form> <script src="https://www.google.com/coop/cse/brand?form=cse-search-box&lang=en"></script> </div> </div> </div> <div id="zone-menu" class="container_12"> <div class="grid_12"> <ul class="sf-menu"> <li><a href="/about/">About</a> <ul> <li><a href="/about/legal-status/">Legal Status</a></li> <li><a href="/about/organizational-structure/">Organizational Structure</a></li> <li><a href="/about/board-of-trustees/">Board of Trustees</a></li> <li><a href="/about/scientific-advisory-board/">Scientific Advisory Board</a></li> <li><a href="/about/annual-reports/">Annual Reports</a></li> <li><a href="/about/antifraud/">Anti-Fraud Measures</a></li> </ul> </li> <li><a href="/partners/industrial/">Partners</a> <ul> <li><a href="/partners/industrial/">Industrial Partnership</a></li> <li><a href="/partners/academic/">Academic Agreements</a></li> <li><a href="/partners/eit-digital/">EIT Digital</a></li> <li><a href="/partners/microsoft-research/">Microsoft Research Joint Research Center</a></li> <li><a href="/partners/telefonica/">Telefónica Joint Research Unit</a></li> <li><a href="/partners/redimadrid/">REDIMadrid</a></li> </ul> </li> <li><a href="/people/">People</a> <ul> <li><a href="/people/#faculty">Faculty</a></li> <li><a href="/people/#postdocs">Postdocs</a></li> <li><a href="/people/#phd-students">Research Students</a></li> <li><a href="/people/#interns">Interns</a></li> <li><a href="/people/#administration">Administration</a></li> <li><a href="/people/#project-staff">Project Staff</a></li> <li><a href="/people/#technicians">Technicians</a></li> <li><a href="/people/former-visitors/">Former Visitors</a></li> <li><a href="/people/former-researchers/">Former Researchers</a></li> <li><a href="/people/alumni/">Alumni</a></li> <li><a href="/files/imdea-software-gender-equality-plan-english.pdf">Gender Equality Plan</a></li> <li><a href="/people/hrs4r/">HRS4R</a></li> </ul> </li> <li><a href="/careers/">Open Positions</a> <ul> <li><a href="/careers/call-for-faculty/">Faculty</a></li> <li><a href="/careers/call-for-postdocs/">Postdoctoral Researchers</a></li> <li><a href="/careers/call-for-phd-students/">PhD Students</a></li> <li><a href="/careers/call-for-internships/">Internships</a></li> <li><a href="/careers/call-for-curricular-internships/">Curricular Internships</a></li> </ul> </li> <li><a href="/research/">Research</a> <ul> <li><a href="/research/tools/">Tools</a></li> <li><a href="/research/publications/">Publications</a></li> <li><a href="/research/projects/">Projects</a></li> </ul> </li> <li><a href="/events/">Events</a> <ul> <li><a href="/events/invited-talks/">Invited Talks</a></li> <li><a href="/events/software-seminars/">Software Seminar Series (S3)</a></li> <li><a href="/events/transversal-talks/">Activities towards transversal capabilities</a></li> </ul> </li> <li><a href="/contact/">Contact</a> <ul> </ul> </li> <li><a href="/transparency/">Transparency Portal</a> <ul> <li><a href="/transparency/institutional-information/">Institutional Information</a></li> <li><a href="/transparency/economic-information/">Economic and Statistical Information</a></li> <li><a href="/transparency/information-request/">Information Request</a></li> <li><a href="/transparency/personal-data/">Personal Data</a></li> </ul> </li> </ul> </div> </div> <div class="container_12"> <div class="grid_12"> <div class="flexslider"> <ul class="slides"> <li><img alt="" src="/img/slider-science-technology-devel-soft.jpg"></li> <li><img alt="" src="/img/slider-software-building.jpg"></li> <li><img alt="" src="/img/slider-programming.jpg"></li> <li><img alt="" src="/img/slider-research.jpg"></li> <li><img alt="" src="/img/slider-performance.jpg"></li> <li><img alt="" src="/img/slider-resources.jpg"></li> <li><img alt="" src="/img/slider-reliable.jpg"></li> <li><img alt="" src="/img/slider-secure.jpg"></li> </ul> </div> </div> <div class="grid_12"> <h2 class="block-title"><a href="news/">news & events</a></h2> </div> <div class="preface-wrapper clearfix"> <div class="grid_6"> <div class="home-block home-block-top"> <div class="img-home-block"> <img src="/img/logos/bracket.png" width="80" height="90" alt=""> </div> <div class="title-home-block"> <a href="https://software.imdea.org/news/2024/12-31-kaushik-interview/"> Kaushik Mallik: "I develop algorithmic design principles for CPS software that come with formal correctness guarantees" </a> </div> <div class="date-home-block"> December 31, 2024 </div> <div class="body-home-block"> The newest assistant professor of the IMDEA Software Institute comes from Kolkata in India, and is passionate about food, travel, and science and technologies. </div> <div class="view-footer"> <p><a href="https://software.imdea.org/news/2024/12-31-kaushik-interview/">+ more</a></p> </div> </div> <div class="home-block home-block-bottom"> <div class="img-home-block"> <img src="/img/logos/blockchain.png" width="80" height="90" alt=""> </div> <div class="title-home-block"> <a href="https://software.imdea.org/news/2024/12-23-floating-wind-energy/"> Cryptographic protocol enables secure data sharing in the floating wind energy sector </a> </div> <div class="date-home-block"> December 30, 2024 </div> <div class="body-home-block"> This breakthrough seeks to foster collaboration between industry and academia, driving innovation in floating wind technologies. </div> <div class="view-footer"> <p><a href="https://software.imdea.org/news/2024/12-23-floating-wind-energy/">+ more</a></p> </div> </div> </div> <div class="grid_6"> <div class="home-block home-block-top"> <div class="img-home-block"> <img src="/img/logos/paper.png" width="80" height="90" alt=""> </div> <div class="title-home-block"> <a href="https://software.imdea.org/news/2024/12-12-mixbuy-protocol/"> IMDEA Software researchers present MixBuy, a protocol for secure and privacy-preserving digital purchases </a> </div> <div class="date-home-block"> December 12, 2024 </div> <div class="body-home-block"> MixBuy is the first cryptographic protocol that simultaneously ensures a secure digital purchase and hides the relationship between store and customer. </div> <div class="view-footer"> <p><a href="https://software.imdea.org/news/2024/12-12-mixbuy-protocol/">+ more</a></p> </div> </div> <div class="home-block home-block-bottom"> <div class="img-home-block"> <img src="/img/logos/thesis.png" width="80" height="90" alt=""> </div> <div class="title-home-block"> <a href="https://software.imdea.org/news/2024/12-09-thaleia-cesar-nombela-grant/"> Thaleia Doudali receives the 2024 ‘Cesar Nombela’ Award Grant </a> </div> <div class="date-home-block"> December 9, 2024 </div> <div class="body-home-block"> This grant will provide her with 420,000 euros for 5 years to attract outstanding and talented young researchers from abroad and help them integrate into the Spanish research ecosystem. </div> <div class="view-footer"> <p><a href="https://software.imdea.org/news/2024/12-09-thaleia-cesar-nombela-grant/">+ more</a></p> </div> </div> </div> </div> <div class="postscript-wrapper clearfix"> <div class="grid_6"> <h2 class="block-title">highlights</h2> <div class="list_carousel"> <ul id="highlights_carousel"> <li><a href="/files/2021-annual-report.pdf"><img src="/img/2021-annual-report.png" alt=""></a></li> <li><a href="research/"><img src="/img/research-areas.png" alt=""></a></li> <li><a href="research/publications/"><img src="/img/new-publications.png" alt=""></a></li> <li><a href="https://www.eitdigital.eu/"><img src="/img/eit-digital-highlights.jpg" alt=""></a></li> <li><a href="https://www.imdea.org"><img src="/img/memoria_general.png" alt=""></a></li> <li><a href="events/"><img src="/img/events_highlights.png" alt=""></a></li> </ul> </div> </div> <div class="grid_6"> <h2 class="block-title">careers</h2> <div class="list_carousel"> <ul id="careers_carousel"> <li><a href="/files/guidelines-foreign-researcher.pdf"><img src="/img/guia_investigador_extranjero_mid_en.png" alt="" width="130"></a></li> <li><a href="careers/"><img src="/img/ban_work.png" alt="" width="130"></a></li> <li><a href="people/hrs4r/"><img src="/img/logos/HR.png" alt="" width="130"></a></li> </ul> </div> </div> </div> </div> <div id="zone-footer" class="container_12"> <div class="imdea-general-logo"> <a href="https://imdea.org/en" target="_blank" ><img alt="IMDEA" src="/img/logos/imdea-cm.png"></a> </div> <ul class="footer-block"> <li><a href="/tenders/">Public Tenders</a></li> <li><a href="/contact/">Contact</a></li> </ul> <ul class="footer-block"> <li><a href="/transparency/">Transparency</a></li> <li><a href="/faq/">FAQ</a></li> </ul> <div class="footer-block"> <small>Follow us:</small><br> <a href="https://twitter.com/IMDEA_Software" target="_blank"><img class="social-media" alt="Twitter" title="Twitter" src="/img/icon-twitter.png" height="32" width="32"></a> <a href="https://www.facebook.com/IMDEA.Software" target="_blank"><img class="social-media" alt="Facebook" title="Facebook" src="/img/icon-facebook.png" height="32" width="32"></a> <a href="https://www.linkedin.com/company/imdea-software-institute/" target="_blank"><img class="social-media" alt="Linkedin" title="Linkedin" src="/img/icon-linkedin.png" height="32" width="32"></a> <a href="https://www.instagram.com/imdea_software/" target="_blank"><img class="social-media" alt="Instagram" title="Instagram" src="/img/icon-instagram.png" height="32" width="32"></a> <a href="https://www.youtube.com/channel/UCPijnjJkoDfOOlY8vp1wpAQ" target="_blank"><img class="social-media" alt="YouTube" title="YouTube" src="/img/icon-youtube.png" height="32" width="32"></a> <a href="https://github.com/IMDEA-Software" target="_blank"><img class="social-media" alt="GitHub" title="GitHub" src="/img/icon-github.png" height="32" width="32"></a> </div> <div class="eu-mad-logos"> <a href="http://www.madrid.org"><img alt="Madrid" src="/img/logos/cm-2019.png"></a> <img alt="UE" src="/img/logos/UE.png"> </div> <div class="footer-links-bottom"> <small> <em> <a href="https://www.imdea.org/en/eduroam/" target="_blank">eduroam</a> | <a href="https://www.imdea.org/en/disclaimer/" target="_blank">Disclaimer</a> | <a href="https://www.imdea.org/en/privacy-policy/" target="_blank">Privacy Policy</a> | <a href="https://www.imdea.org/en/accessibility/" target="_blank">Accessibility</a> | <a href="/transparency/personal-data/">Personal data</a> | <a href="https://software.imdea.org/intranet/">Intranet</a> </em> </small> </div> <div class="footer-address"> <small>IMDEA Software Institute | Campus Montegancedo, s/n | 28223 Pozuelo de Alarcón (Madrid) Spain</small> </div> <div class="footer-copyright"> <small> <em>© 2025 Fundación IMDEA Software</em> </small> </div> </div> </body> </html>