20 publicaciones de empleo destacadas de science internship 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
AI Developer Intern
Zurich Insurance —Madrid, Madrid provincia
- Media jornada
- Español
- Azure
- Informática
Internship Programme 2027: Software Engineer (Frontend)
Revolut —Madrid, Madrid provincia
- 9.500 € al mes
- Jornada completa
- Informática
- Inglés
- Oficina
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 Programme 2027: Software Engineer (Java)
Revolut —Madrid, Madrid provincia
- 9.500 € al mes
- Jornada completa
- Informática
- Inglés
- Oficina
Marketing Technology & AI Intern
Verisure Sàrl —Madrid, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Informática
- Inglés
- Oficina
- Teletrabajo opcional
Solicitud rápida
Internship Programme 2027: Software Engineer (Android)
Revolut —Madrid, Madrid provincia
- 9.500 € al mes
- Jornada completa
- Informática
- Inglés
- Oficina
AI Transformation Analyst - WM&I
SCH Banco Santander, S.A. —Madrid, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Microsoft Powerpoint
- Español
- Microsoft Excel
- Seguro de vida
9d
Marketing Intern
Medtronic —Madrid, Madrid provincia
- 1.000 € al mes
- Jornada completa
- Trabajo híbrido
- Microsoft Powerpoint
- Microsoft Word
- Microsoft Excel
1d
Logistic Operations Project Intern (TikTok Shop-Logistics EU) - 2026 Start (BS/MS)
TikTok —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Informática
Graduate Programme 2027: Product Owner (UX)
Revolut —Madrid, Madrid provincia
- Jornada completa
- Informática
- Inglés
- Oficina
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
Marketing Intern, Neuromodulation- Madrid
Boston Scientific —Madrid, Madrid provincia
- Microsoft Powerpoint
- Microsoft Word
- Español
Research Engineer Intern (Multimodal LLM)
Tether Operations Limited —Madrid, Madrid provincia
- Jornada completa
- Teletrabajo
- Doctorado
- Informática
- Inglés
Internship Programme 2027: Product Owner (Technical)
Revolut —Madrid, Madrid provincia
- Jornada completa
- Informática
- Inglés
- Oficina
Senior Careers & Internship Advisor (m/f/d)
GUS Germany GmbH —Madrid, Madrid provincia
- De 40.000 € a 45.000 € al año
- Jornada completa
- Español
- Inglés
- Microsoft Office
Solicitud rápida
Intern AI & Management Consulting (Competitive Engagement)
Celonis —Madrid, Madrid provincia
- Jornada completa
- Trabajo híbrido
- Informática
- Inglés
- Oficina
- Vacaciones pagadas
Logistic Operations (Italian Speaker) Project Intern (TikTok Shop-Logistics EU) - 2026 Start
TikTok —Madrid, Madrid provincia
- Microsoft Excel
- Informática
- Inglés
Logistics PMO Project Intern, TikTok Shop (Logistics EU) - 2026 Start (BS/MS)
TikTok —Madrid, Madrid provincia
- Español
- Microsoft Excel
- Informática
Campaign Analysis Ops Project Intern (TikTok LIVE) - 2026 Start (BS/MS)
TikTok —Madrid, Madrid provincia
- Español
- Inglés
- Oficina

Quiero recibir la alerta de empleo más reciente de science internship 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

science internship jobs near madrid, md

Empleos de Operations Intern en Madrid, Madrid Provincia

Empleos de Marketing Intern en Madrid, Madrid Provincia

Empleos de Software Engineer en Madrid, Madrid Provincia

Empleos de Product Owner en Madrid, Madrid Provincia

Empleos de Research Intern en Madrid, Madrid Provincia

Empleos de Java Developer en Valdemoro, Madrid Provincia

Empleos de Java Developer en 03550 Benimagrell, Alicante Provincia

Empleos de Java Developer en Son Vida, Illes Balears Provincia

Empleos de Programador Junior, Java en Bilbao, Vizcaya Provincia

Empleos de Unity Developer en Barcelona Provincia

Empleos de Java Developer en Santa Ponça, Illes Balears Provincia

Empleos de Intern en Agoncillo, LA Rioja Provincia

Empleos de Intern en Sama De Abajo, Asturias Provincia

Empleos de Operations Intern en Mallorca, Illes Balears Provincia

Empleos de Intern en Elgoibar, Guipúzcoa Provincia

Empleos de Operations Intern en Barcelona, Barcelona Provincia

Empleos de Marketing Intern en Casares (gijon), Asturias Provincia

Empleos de Promoción, Marketing, Publicidad en Almería, Almería Provincia

Empleos de Marketing Intern en Cabrera De Mar, Barcelona Provincia

Empleos de Marketing en A Coruña, A Coruñ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

science internship empleos en madrid, md

Internship in Fast Synthesis Modulo Simple Theories

AI Developer Intern

Internship Programme 2027: Software Engineer (Frontend)

Tech Portfolio Strategy Trainee

Internship Programme 2027: Software Engineer (Java)

Marketing Technology & AI Intern

Internship Programme 2027: Software Engineer (Android)

AI Transformation Analyst - WM&I

Marketing Intern

Logistic Operations Project Intern (TikTok Shop-Logistics EU) - 2026 Start (BS/MS)

Graduate Programme 2027: Product Owner (UX)

Transformation Office Intern

Marketing Intern, Neuromodulation- Madrid

Research Engineer Intern (Multimodal LLM)

Internship Programme 2027: Product Owner (Technical)

Senior Careers & Internship Advisor (m/f/d)

Intern AI & Management Consulting (Competitive Engagement)

Logistic Operations (Italian Speaker) Project Intern (TikTok Shop-Logistics EU) - 2026 Start

Logistics PMO Project Intern, TikTok Shop (Logistics EU) - 2026 Start (BS/MS)

Campaign Analysis Ops Project Intern (TikTok LIVE) - 2026 Start (BS/MS)

Quiero recibir la alerta de empleo más reciente de science internship 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