Graph games lie at the heart of many automated design problems in the synthesis of hardware and software systems. We will study new classes of graph games involving stochastic uncertainties where the uncertainties may not respect apriori predictable bounds. The task will involve theoretical development of algorithms and prototype software tools.
Candidates who are at either bachelor’s or master’s level in CS are welcome to apply. Prior backgrounds in algorithms will be appreciated.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-02-intern-stochgames. Deadline for applications is February 22nd, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Kaushik Mallik directly ().
