14 publicaciones de empleo destacadas de communication intern madrid en getafe, md (¡Están contratando!)

Internship in Best-Effort Synthesis Modulo Theories
IMDEA Software Institute —Pozuelo de Alarcón, Madrid provincia
- Informática
- Inglés
- Investigación
Intern Supply Chain
Avolta —Madrid, Madrid provincia
- Microsoft Powerpoint
- Español
- Microsoft Excel
Logistic Commercial Project Intern, TikTok Shop (Logistics Procurement, EU) - 2026 Start (BS/MS)
TikTok —Madrid, Madrid provincia
- Microsoft Excel
- Oficina
- Microsoft Office
Tech Portfolio Strategy Trainee
ESML SD Iberia Holding S A U —Pozuelo de Alarcón, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Español
- Inglés
- Oficina
- Teletrabajo opcional
Solicitud rápida
Internship - Insurance Financial Advisory Services
Alvarez & Marsal —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Inglés
M&A Associate (Tech) - SCIB
SCH Banco Santander, S.A. —Madrid, Madrid provincia
- Jornada completa
- Microsoft Powerpoint
- Microsoft Excel
- Informática
- Abono gimnasio
- Seguro de vida
Proposition Management Intern
ESML SD Iberia Holding S A U —Pozuelo de Alarcón, Madrid provincia
- Jornada completa
- Español
- Inglés
- Grado
Solicitud rápida
Car Fleet Operations Internship (m/f/x)
Procter & Gamble —La Moraleja, Madrid provincia
- 1.000 € al mes
- Jornada completa
- Microsoft Powerpoint
- Español
- Microsoft Excel
8d
Internship - Insurance Financial Advisory Services
Alvarez and Marsal —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Inglés
Stagiaire Achat Madrid (H/F)
Louvre Hotels Group —Madrid, Madrid provincia
- Microsoft Excel
Solicitud rápida
IT Support Specialist (Level 1) | Automotive Solutions | Ukrainian Market
Bosch Group —Madrid, Madrid provincia
- Jornada completa
- Teletrabajo
- Inglés
- Oficina
- IT
Solicitud rápida
5d
Accountant and Tax Supervisor
Auxadi —Madrid, Madrid provincia
- Sistemas ERP
- Inglés
- Oficina
Consultant solutions cloud (H/F)
OJC Conseil —Madrid, Madrid provincia
- Sistemas ERP
- SQL
- HTML
Guest Experience Intern - Atipico Madrid (m/f/d)
Future Living Holding GmbH —Madrid, Madrid provincia
- Disponibilidad fin de semana
- Google Suite
- Servicio al cliente
- Hotel
Solicitud rápida

More jobs to discover

Find similar jobs that you might be interested in.

Intern Supply Chain
Avolta —Madrid, Madrid provincia
Support the monitoring of sales trends and assist in updating forecasts to help mitigate stock availability risks. Fluent in English and Spanish.
Logistic Commercial Project Intern, TikTok Shop (Logistics Procurement, EU) - 2026 Start (BS/MS)
TikTok —Madrid, Madrid provincia
Data Analysis & Reporting: Support the team in analysing logistics and supplier performance data, maintaining accurate datasets and trackers, and producing…

Quiero recibir la alerta de empleo más reciente de communication intern madrid en getafe, md

Al iniciar sesión en tu cuenta, aceptas las Condiciones del servicio de SimplyHired, nuestra Política sobre cookies y nuestra Política de privacidad.

Explorar empleos en más ubicaciones

communication intern madrid jobs near getafe, md

Empleos de Supply Chain Specialist en Madrid, Madrid Provincia

Empleos de Guest Service Agent en Barcelona, Barcelona Provincia

Empleos de Appointment Setter, Customer Service en Barcelona, Barcelona Provincia

Empleos de Guest Experience en Ibiza Nueva, Illes Balears Provincia

Empleos de Customer Service Portuguese en Barcelona, Barcelona Provincia

Empleos de Guest Experience en Illes Balears Provincia

Empleos de Service Technician en Sevilla, Sevilla Provincia

Empleos de It Trainee en Barcelona Provincia

Empleos de Check In Agent en Aeropuerto De Barcelona, Barcelona Provincia

Empleos de Agent Civic en Abrera, Barcelona Provincia

Empleos de Project Manager en Alicante Provincia

Empleos de Project Intern en Cádiz Provincia

Empleos de Construction Project Manager en Barcelona, Barcelona Provincia

Empleos de Product Manager en Sevilla, Sevilla Provincia

Empleos de Account Manager en En Remoto

Empleos de Manager en Santa Cruz De Tenerife Provincia

Empleos de Sales Manager en Sevilla, Sevilla Provincia

Empleos de Bilingual Assistant English, Spanish English en Granada, Granada Provincia

Empleos de Trilingual Assistant Polish, Spanish English en Málaga, Málaga Provincia

Empleos de Marketing Assistant en Madrid, Madrid Provincia

Internship in Best-Effort Synthesis Modulo Theories

IMDEA Software Institute
Pozuelo de Alarcón, Madrid provincia

Solicitar ahora

Detalles del empleo

Contrato en prácticas

Cualificaciones

Informática
Inglés
Investigación
Máster

Descripción completa del empleo

Reactive synthesis typically asks for a strategy that guarantees a temporal specification against every possible behavior of an adversarial environment. When no such strategy exists, that is, when the specification is unrealizable, classical synthesis algorithms simply report failure, even though a controller that performs well against the environments that actually occur in practice may still be valuable.

Best-effort synthesis addresses this limitation: rather than giving up when a winning strategy does not exist, it produces a strategy that is guaranteed to do as well as possible given how the environment actually behaves, winning whenever winning is still possible at each point of the interaction. This notion has recently been studied for LTLf (LTL on finite traces), including settings with multiple or layered environment specifications. A complementary notion, maximally permissive controller synthesis, instead seeks, among all strategies that do guarantee the specification, the one that restricts the system’s behavior as little as possible.

In this internship we will adapt best-effort synthesis from LTLf to LTL modulo theories, where specifications combine temporal goals with constraints over data, and compare the resulting notion and algorithms against our recent work on maximally permissive controller synthesis. We will study the relationship between these two notions of doing well under uncertainty, and explore unified or complementary synthesis procedures for LTL modulo theories.

Applications are invited to apply for an intern position at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work with César Sánchez and an international team of graduate students and researchers focusing on formal methods.

Who should apply?

Candidates should have an excellent MSc or BSc degree (or be close to complete one) in computer science, mathematics, or a related discipline, with an interest in the above area, and a strong commitment to research. Proven top programming skills as well as ability to understand and develop algorithms are required. Good teamwork and communication skills, including excellent spoken and written English are also required.

Working at IMDEA Software

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the IMDEA Software Institute is English.

Dates

The duration of the position will be 6 months.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-07-intern-besteffortsynth. Deadline for applications is September 10th, 2026. Review of applications will begin immediately.

The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment).

For inquiries about the position, please contact: .

Solicitar ahora

Refina tu búsqueda

communication intern madrid empleos en getafe, md

Internship in Best-Effort Synthesis Modulo Theories

Intern Supply Chain

Logistic Commercial Project Intern, TikTok Shop (Logistics Procurement, EU) - 2026 Start (BS/MS)

Tech Portfolio Strategy Trainee

Internship - Insurance Financial Advisory Services

M&A Associate (Tech) - SCIB

Proposition Management Intern

Car Fleet Operations Internship (m/f/x)

Internship - Insurance Financial Advisory Services

Stagiaire Achat Madrid (H/F)

IT Support Specialist (Level 1) | Automotive Solutions | Ukrainian Market

Accountant and Tax Supervisor

Consultant solutions cloud (H/F)

Guest Experience Intern - Atipico Madrid (m/f/d)

More jobs to discover

Quiero recibir la alerta de empleo más reciente de communication intern madrid en getafe, md

Related Searches

Explorar empleos en más ubicaciones

Who should apply?

Working at IMDEA Software

Dates

How to apply?

Herramientas para candidatos

Herramientas para empresas

Buscar

Mantener la conexión