19 ago
|
IMDEA Software Institute
|
Pozuelo de Alarcón
19 ago
IMDEA Software Institute
Pozuelo de Alarcón
IMDEA Software Institute in Madrid, Spain invites applications for a 6-month internship focused on reactive synthesis, best-effort synthesis, and LTL modulo theories.
Todos los candidatos deben asegurarse de leer atentamente la siguiente descripción del puesto y la información antes de enviar su solicitud.
Selected candidates will work with César Sánchez and an international team on formal methods, developing algorithms and experiments.
The position requires strong programming ability, solid knowledge of algorithms, teamwork, and excellent English communication. xqbhyrx
Madrid-based internship with travel expense support.
📌 Internship: Best-Effort Synthesis for LTL Modulo Theories (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón