PhD: Lazy Coupled Reactive Synthesis Modulo Theories (Pozuelo de Alarcón)

PhD: Lazy Coupled Reactive Synthesis Modulo Theories (Pozuelo de Alarcón)

24 sep
|
IMDEA Software Institute
|
Pozuelo de Alarcón

24 sep

IMDEA Software Institute

Pozuelo de Alarcón

IMDEA Software Institute in Madrid, Spain invites applications for a PhD position focused on Coupled Reactive Synthesis Modulo Theories. The project aims to develop scalable algorithms by coupling automata-theoretic game solving with on-demand theory reasoning.

The candidate will explore lazy SMT-style reasoning integrated into game solving, handle arena descriptions with LTL goals, and work within an international team.

#J-18808-Ljbffr

📌 PhD: Lazy Coupled Reactive Synthesis Modulo Theories (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón

Postulate a este anuncio

Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.

Adjunto/a a la Dirección de División (Madrid)

Adjunto/a a la Dirección de División (Madrid)

25 sep
|
Importante empresa
|
Madrid
  • 25 sep
  • Importante empresa
  • Madrid

¿Buscas un proyecto donde crecer de verdad y generar impacto con lo que haces? Estamos buscando a un/a Adjunto/a a la Dirección de División para formar parte de nuestro equipo de público. ¿Qui� [...]

Controls Engineer (Pamplona)

Controls Engineer (Pamplona)

25 sep
|
Reconocida empresa
|
Pamplona
  • 25 sep
  • Reconocida empresa
  • Pamplona

Controls Engineer North Point Technology is seeking an experienced MES Controls Engineer to support manufacturing operations in a high-volume discrete manufacturing environment. This role focuses on [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: phd: lazy coupled reactive synthesis modulo theories (pozuelo de alarcón) / pozuelo de alarcón

Analista de Operaciones Bancarias Control de Fraude (Madrid)

Analista de Operaciones Bancarias Control de Fraude (Madrid)

25 sep
|
Sin nombre
|
Madrid
  • 25 sep
  • Sin nombre
  • Madrid

¡Hola! En MBC seguimos creciendo y ahora buscamos un Analista de Operaciones Bancarias – Control de Fraude para incorporarse a un proyecto dentro del sector financiero. Sobre MBC May Business Co [...]

Corporate Operations Lead (España)

Corporate Operations Lead (España)

25 sep
|
Reconocida empresa
|
España
  • 25 sep
  • Reconocida empresa
  • España

This position is listed on behalf of a partner company, who manages all applications and next steps. Our partner is looking for a Corporate Operations Lead based in Spain. As a Corporate Operations L [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: phd: lazy coupled reactive synthesis modulo theories (pozuelo de alarcón) / pozuelo de alarcón