19 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
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
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
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
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
Stagiaire Achat Madrid (H/F)
Louvre Hotels Group —Madrid, Madrid provincia
- Microsoft Excel
Solicitud rápida
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 —Alcobendas, Madrid provincia
- Jornada completa
- Teletrabajo
- Inglés
- Oficina
- IT
Solicitud rápida
8d
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
7h
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
2h

Related jobs to explore

Based on your search for communication intern madrid

People & Talent (intern)
idealista —Madrid, Madrid provincia
Knowledge and experience with HR best practices. Se valorará positivamente buen nivel de inglés y es un plus tener conocimientos de portugués y/o de italiano.
Havas FirstGen - Prácticas en Havas Village Madrid | Data & Tech
Havas Group —Madrid, Madrid provincia
We are an equal opportunity employer and welcome applicants irrespective of age, sex, race, ethnicity, disability and other factors that have no bearing on an…

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

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

Transformation Office Intern

Tech Portfolio Strategy Trainee

M&A Associate (Tech) - SCIB

Internship - Insurance Financial Advisory Services

B2B Online Sales - eCommerce and Marketplaces Internship

Proposition Management Intern

Internship - Insurance Financial Advisory Services

Car Fleet Operations Internship (m/f/x)

Accounting Trainee

Technical Advisory Trainee

Stagiaire Achat Madrid (H/F)

Electrical Trainee

Accountant and Tax Supervisor

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

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