🔵 IMDEA Software is hiring a PhD Student in Coupled Reactive Synthesis Modulo Theories!
Join César Sánchez and an international team of graduate students and researchers focusing on formal methods!
⏳ Duration: 4 years
📍 Location: Madrid, Spain
🗓️ Application deadline: October 1st
🔗 https://c.madrid/jkbq8