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

Internship in Fast Synthesis Modulo Simple 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
Procurement Operations & Digital Transformation Intern
ESML SD Iberia Holding S A U —Madrid, Madrid provincia
- Jornada completa
- Microsoft Powerpoint
- Español
- Microsoft Excel
Solicitud rápida
Transformation Office Intern
ESML SD Iberia Holding S A U —Pozuelo de Alarcón, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Microsoft Powerpoint
- Español
- Microsoft Excel
- Teletrabajo opcional
Solicitud rápida
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
8d
Accounting Trainee
Nadara —Madrid, Madrid provincia
- Media jornada
- Inglés
- Contabilidad
- Contabilidad
Stagiaire Achat Madrid (H/F)
Louvre Hotels Group —Madrid, Madrid provincia
- Microsoft Excel
Solicitud rápida
Technical Advisory Trainee
Nadara —Madrid, Madrid provincia
- Media jornada
- AutoCAD
- Español
- Inglés
Electrical Trainee
Nadara —Madrid, Madrid provincia
- Media jornada
- AutoCAD
- Español
- Inglés
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
5d
Consultant solutions cloud (H/F)
OJC Conseil —Madrid, Madrid provincia
- Sistemas ERP
- SQL
- HTML

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 Supply Chain Specialist en Madrid, Madrid Provincia

Empleos de Operations Intern en Madrid, Madrid 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 Back Office en Puerto De Bilbao, Vizcaya Provincia

Empleos de Home Office en Alicante Provincia

Empleos de Back Office en Girona, Girona 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 Accountant en Zaragoza, Zaragoza Provincia

Empleos de Accountant en Almería, Almería Provincia

Empleos de Accountant en Arenys De Mar, Barcelona Provincia

Empleos de Accountant en Toldanos, León Provincia

Empleos de Accountant en 11009 Cádiz, Cádiz 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

Internship in Fast Synthesis Modulo Simple 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 for specifications over bounded integer domains, such as fixed-width bitvectors, is typically handled by discretization via “bit-blasting”: each bit of the bounded integer is encoded as an independent Boolean signal, and the resulting specification is solved with plain LTL synthesis tools. While bit-blasting is simple and reuses existing solvers, it destroys the arithmetic structure of the domain, and the state space explored during synthesis grows exponentially with the bitwidth, making synthesis impractical for all but the smallest domains.

LTL Modulo Theories (LTL^T) generalizes reactive synthesis to reason about theory atoms directly rather than plain Booleans, and has been shown to scale to infinite domains, such as integers and reals, using SMT-based reasoning. Bounded domains, such as bitvectors, pose a different challenge: because the domain is finite and equipped with a specific modular and bit-level structure, decision procedures specialized for bounded integer arithmetic may enable synthesis algorithms that avoid the cost of bit-blasting while remaining decidable and efficient.

In this internship we will explore reactive synthesis modulo bounded integer theories, such as bitvectors, using theory reasoning over the bounded domain directly rather than blasting it into individual bits, aiming for synthesis algorithms whose cost scales much more gently with the bitwidth. We will then investigate which other “simple theories” admit decidable and practically efficient synthesis procedures, with the goal of building a family of fast, specialized synthesis tools for these 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-fastsynth. 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 Fast Synthesis Modulo Simple Theories

Intern Supply Chain

Procurement Operations & Digital Transformation Intern

Transformation Office Intern

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)

Accounting Trainee

Stagiaire Achat Madrid (H/F)

Technical Advisory Trainee

Electrical Trainee

Accountant and Tax Supervisor

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

Consultant solutions cloud (H/F)

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