Post

🎓 IMDEA Software is hiring an Intern in Fast Synthesis Modulo Simple Theories and an Intern in Best-Effort Synthesis Modulo Theories! ⏳ Duration: 6 months 📍 Location: Madrid, Spain 🗓️ Application deadline: September 10th, 2026 🔗 Apply here: c.madrid/j2s5o