IMDEA Software Institute in Madrid, Spain invites applications for a PhD position focused on Coupled Reactive Synthesis Modulo Theories.
Puede obtener más detalles sobre la naturaleza de esta vacante y lo que se espera de los solicitantes leyendo la información a continuación.
The project aims to develop scalable algorithms by coupling automata-theoretic game solving with on-demand theory reasoning. xhfqzwm
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.