01 sep
|
IMDEA Software Institute
|
Madrid
01 sep
IMDEA Software Institute
Madrid
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. xcskxlj
Madrid-based internship with travel expense support.
#J-18808-Ljbffr
📌 Internship: Best-Effort Synthesis for LTL Modulo Theories (Madrid)
🏢 IMDEA Software Institute
📍 Madrid