IMDEA Software Institute in Madrid, Spain, invites applications for a 6-month internship focused on reactive synthesis modulo bounded integer theories. The intern will explore theory reasoning directly over bounded domains and help build fast, specialized synthesis tools.
The project will be conducted with César Sánchez and an international team of graduate students and researchers, and excellent spoken and written English is required.
📌 Internship: reactive synthesis with bounded theories (Comunidad de Madrid)
🏢 IMDEA Software Institute
📍 Comunidad de 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.