PhD Position

Deadline: 20 Nov 2026 - 23:59 (Europe/Madrid) Country: Spain Type of Contract: To be defined Job Status: Full-time Is the job funded through the EU Research Framework Programme? Other EU programme Reference Number: 2026-11-phd-lns Is the Job related to staff position within a Research Infrastructure? No Offer Description Machine learning (ML), including reinforcement learning and supervised learning, has shown significant potential for a wide range of synthesis tasks, including controller synthesis and program synthesis. A promising line of work has combined ML with traditional formal verification in a CEGIS-style loop: ML is used to efficiently explore the space of candidate solutions, while formal verification checks their correctness and provides counterexamples to guide further learning. This demonstrates how ML and formal methods can complement each other in a tightly integrated framework, combining the flexibility and scalability of learning with the rigorous guarantees of formal verification. Applications are invited to apply for one phd position at the IMDEA Software Institute, Madrid, Spain. However, existing learning-enabled synthesis frameworks have largely been developed independently for specific domains, resulting in a fragmented landscape of domain-specific techniques. This project aims to take a step towards a more general approach based on Skolem function synthesis, which provides a general formulation of synthesis problems and can encompass problems beyond the domains traditionally considered, including applications such as solving partial differential equations. The goal of this PhD position is therefore to develop a learning-enabled CEGIS framework for Skolem function synthesis, and to use this general framework to address synthesis problems across a range of different domains. The PhD student will be jointly supervised by Kaushik Mallik and Alessio Mansutti . Eligibility Candidates with master’s degrees in CS are welcome to apply. Prior backgrounds in formal verification and/or machine learning will be appreciated but not necessary. Location The positions are 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. How to apply? Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-11-phd-lns . Deadline for applications is November 20th, 2026 . Review of applications will begin immediately. The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment). For enquiries about the position, contact Kaushik Mallik and Alessio Mansutti. Este contrato es parte de la ayuda PID2025-168325OA-I00, financiada por el MICIU/AEI/10.13039/501100011033 y por el FSE+. Requirements Research Field: Computer science Education Level: Master Degree or equivalent Work Location(s) Number of offers available: 1 Company/Institute: IMDEA Software Institute Country: Spain Contact: State/Province: Madrid City: Pozuelo de Alarcón Website: http://software.imdea.org Street: Campus Montegancedo, s/n Postal Code: 28223