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.