IMDEA Software

@IMDEA_Software

At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient | @ComunidadMadrid

Madrid, Spain

software.imdea.org

Joined September 2013

Replies Reposts Media

Pinned
IMDEA Software
@IMDEA_Software
Sep 10, 2025
🔵 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/202… @IMDEAInstitutes
00:00
IMDEA Software
@IMDEA_Software
Aug 3
🎓 IMDEA Software is hiring an Intern in Fast Synthesis Modulo Simple Theories and an Intern in Best-Effort Synthesis Modulo Theories! Join César Sánchez and an international team of graduate students and researchers focusing on formal methods! 🔹 Who should apply: Candidates
IMDEA Software
@IMDEA_Software
Aug 3
🔵In June, IMDEA Software participates in the annual @SOMM_alliance project management meeting in Tarragona. 👥Juan José Collazo, Project Manager, attended as the institute's representative. 📰If you want to know more, you can read the full article here: c.madrid/vrks6
IMDEA Software
@IMDEA_Software
Jul 14
🔵A delegation of more than twenty Indian companies visited the IMDEA Software yesterday. 👥The meeting is part of a schedule of visits to various innovation centers in the Community of Madrid, organised on the occasion of the official trip to Spain by the Indian Minister of
IMDEA Software
@IMDEA_Software
Jul 14
🔵 #IMDEATalk at IMDEA Software Institute 🗣️Ehsan Kafshdar Goharshady (Institute of Science and Technology Austria) 📅 Tuesday, Jul 14 ⏰ 11:00 CET 🔎 Refuting Equivalence in Probabilistic Programs with Conditioning 📍 302-Mountain View & Zoom 🔴 LIVE on zoom: