18 ago
|
IMDEA Software Institute
|
Pozuelo de Alarcón
18 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 modulo bounded integer theories.
Para presentar una candidatura, simplemente lea la siguiente descripción del puesto y asegúrese de adjuntar los documentos pertinentes.
The intern will explore theory reasoning directly over bounded domains and help build fast, specialized synthesis tools. xqbhyrx
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.
#J-18808-Ljbffr
📌 Internship: Reactive Synthesis with Bounded Theories (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón