PhD student
IMDEA Software is hiring a PhD Student in Coupled Reactive Synthesis Modulo Theories
IMDEA Software
Spain
From the post
🔵 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