Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
IMDEA Software Institute
Closing soon
Just Landed
New Today
PhD in Learning-Enabled Synthesis IMDEA Software Institute in Spain
Degree Level
PhD
Field of study
Computer Science
Funding
Available
Deadline
Nov 20, 2026
Country
Spain
University
IMDEA Software Institute
Apply for this position
Keywords
Suggested positions
About this position
This PhD project at the IMDEA Software Institute in Madrid, Spain explores how machine learning can be combined with formal verification to build a more general synthesis framework. The research focuses on learning-enabled counterexample-guided inductive synthesis (CEGIS), where learning methods help search efficiently through candidate solutions while verification checks correctness and returns counterexamples for further improvement.
The advertised work aims to move beyond domain-specific synthesis techniques by developing a framework based on Skolem function synthesis. This broader formulation can represent a wide range of synthesis problems, including applications beyond the most common software settings. The student will investigate how supervised learning and reinforcement learning can be integrated with formal methods to support synthesis across different domains.
The project is hosted by the IMDEA Software Institute, an English-speaking research environment in Madrid. The PhD student will be jointly supervised by Kaushik Mallik and Alessio Mansutti.
Funding details
Available
What's required
Candidates should have a master’s degree in computer science or an equivalent degree. Prior background in formal verification and/or machine learning is appreciated but not necessary. The working language is English and knowledge of Spanish is not required.
How to apply
Submit the application through https://careers.software.imdea.org/ using reference code 2026-11-phd-lns. Applications should be submitted by 20 November 2026, and review begins immediately.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.