Post
IMDEA Software
software.imdea.org
did:plc:zuxlgvqpogkzzy7uaqnnszdf
🔵 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
🔗 c.madrid/jkbq8
2026-09-21T13:06:17.756Z