25 sep
|
IMDEA Software Institute
|
Madrid
25 sep
IMDEA Software Institute
Madrid
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. xcskxlj
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 (Madrid)
🏢 IMDEA Software Institute
📍 Madrid