15 publicaciones de empleo destacadas de communication intern madrid en madrid, 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
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
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
Internship - Insurance Financial Advisory Services
Alvarez & Marsal —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Inglés
B2B Online Sales - eCommerce and Marketplaces Internship
Signify —Madrid, Madrid provincia
- Microsoft Powerpoint
- Español
- Microsoft Excel
Procurement Intern (German Speaking)
Nippon Gases —Madrid, Madrid provincia
- Sistemas ERP
- Inglés
- Máster
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
Internship - Insurance Financial Advisory Services
Alvarez and Marsal —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Inglés
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
7d
Stagiaire Achat Madrid (H/F)
Louvre Hotels Group —Madrid, Madrid provincia
- Microsoft Excel
Solicitud rápida
Accountant and Tax Supervisor
Auxadi —Madrid, Madrid provincia
- Sistemas ERP
- Inglés
- Oficina
IT Support Specialist (Level 1) | Automotive Solutions | Ukrainian Market
Bosch Group —Madrid, Madrid provincia
- Jornada completa
- Teletrabajo
- Inglés
- Oficina
- IT
Solicitud rápida
4d
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
Human Resources Intern (Hybrid)
Thales —Madrid, Madrid provincia
- 1.150 € al mes
- Jornada completa
- Teletrabajo
- Microsoft Excel
- Inglés
- Microsoft Office
- Flexibilidad horaria
19h

Quiero recibir la alerta de empleo más reciente de communication intern madrid en madrid, 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 madrid, md

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 Gerente De Recursos Humanos en Valencia, Valencia Provincia

Empleos de Recursos Humanos Junior en Barcelona, Barcelona Provincia

Empleos de Gerente De Operaciones en Comunidad De Madrid

Empleos de Gerente De Recursos Humanos en Coslada, Madrid Provincia

Empleos de Ader Recursos Humanos, E en Ourense, Ourense Provincia

Empleos de Gerente De Recursos Humanos en Pozuelo De Alarcón, Madrid Provincia

Empleos de Director Recursos Humanos en Comunitat Valenciana

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 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

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 madrid, md

Internship in Best-Effort Synthesis Modulo Theories

Tech Portfolio Strategy Trainee

M&A Associate (Tech) - SCIB

Internship - Insurance Financial Advisory Services

B2B Online Sales - eCommerce and Marketplaces Internship

Procurement Intern (German Speaking)

Proposition Management Intern

Internship - Insurance Financial Advisory Services

Car Fleet Operations Internship (m/f/x)

Stagiaire Achat Madrid (H/F)

Accountant and Tax Supervisor

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

Consultant solutions cloud (H/F)

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

Human Resources Intern (Hybrid)

Quiero recibir la alerta de empleo más reciente de communication intern madrid en madrid, 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