19 publicaciones de empleo destacadas de communication intern madrid en getafe, 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
Procurement Support Intern
ESML SD Iberia Holding S A U —Pozuelo de Alarcón, Madrid provincia
- Jornada completa
- Español
- Microsoft Excel
- Oracle
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
B2B Online Sales - eCommerce and Marketplaces Internship
Signify —Madrid, Madrid provincia
- Microsoft Powerpoint
- Español
- Microsoft Excel
Intern Supply Chain
Avolta —Madrid, Madrid provincia
- Microsoft Powerpoint
- Español
- Microsoft Excel
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
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
11d
Stagiaire Achat Madrid (H/F)
Louvre Hotels Group —Madrid, Madrid provincia
- Microsoft Excel
Solicitud rápida
Accounting Trainee
Nadara —Madrid, Madrid provincia
- Media jornada
- Inglés
- Contabilidad
- Contabilidad
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
Consultant solutions cloud (H/F)
OJC Conseil —Madrid, Madrid provincia
- Sistemas ERP
- SQL
- HTML
Sales Internship (Trade Repository)
SIX Group AG —Madrid, Madrid provincia
- Teletrabajo
- Microsoft Powerpoint
- Español
- Microsoft Excel
6h
Group Senior Talent Acquisition Specialist
Verisure Sàrl —Pozuelo de Alarcón, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Inglés
- Oficina
- Teletrabajo opcional
Solicitud rápida
1h

Related jobs to explore

Based on your search for communication intern madrid

Community Host Intern
HOSPITALITY CONNECTION BARCELONA SL —Madrid, Madrid provincia
Located in The Netherlands, Germany, Austria, Italy, France and Spain with several new openings on the way, this hybrid hospitality concept may take root in the…
Havas FirstGen - Prácticas en Havas Village Madrid | Data & Tech
Havas Group —Madrid, Madrid provincia
Disponibilidad para incorporarse el 5 de octubre, y hacer prácticas durante 6 meses. Ser estudiante de último curso o máster relacionado con Matemáticas,…

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 Senior Talent Acquisition Specialist en Barcelona, Barcelona Provincia

Empleos de Talent en Sagunto, Valencia Provincia

Empleos de Brand Specialist 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 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

Empleos de Accountant en Zaragoza, Zaragoza Provincia

Empleos de Accountant en Almería, Almería 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 getafe, md

Internship in Fast Synthesis Modulo Simple Theories

Procurement Support Intern

Transformation Office Intern

B2B Online Sales - eCommerce and Marketplaces Internship

Intern Supply Chain

Tech Portfolio Strategy Trainee

Internship - Insurance Financial Advisory Services

M&A Associate (Tech) - SCIB

Proposition Management Intern

Internship - Insurance Financial Advisory Services

Car Fleet Operations Internship (m/f/x)

Stagiaire Achat Madrid (H/F)

Accounting Trainee

Technical Advisory Trainee

Electrical Trainee

Accountant and Tax Supervisor

Consultant solutions cloud (H/F)

Sales Internship (Trade Repository)

Group Senior Talent Acquisition Specialist

Related jobs to explore

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