IMDEA Software Institute in Madrid, Spain invites applications for a 6-month internship focused on reactive synthesis, best-effort synthesis, and LTL modulo theories. 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. Madrid-based internship with travel expense support.
#J-18808-Ljbffr
📌 Internship: Best-Effort Synthesis for LTL Modulo Theories - Pozuelo de Alarcón, Comunidad de Madrid, Spain
🏢 IMDEA Software Institute
📍 Madrid
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.