Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Publisher
source

IMDEA Software Institute

Closing soon

Just Landed

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 flag

Country

Spain

University

IMDEA Software Institute

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Reinforcement Learning
Self-supervised Learning
Reasoning
ML

Suggested positions

Publisher
source

University College London

Country flag

United Kingdom

SOFAIR is recruiting fully funded PhD students for research in foundational AI at the UCL AI Centre in London. The opportunity is focused on advancing AI theory , novel architectures , open-source models , and trustworthy AI systems , with collaboration alongside researchers from UCL , Oxford , Cambridge , and Edinburgh . This is a 4-year studentship and is described as fully funded . The post does not mention a specific stipend amount, tuition details, or additional benefits, but it clearly ind...

Computer Science
Information Technology
Mathematics
+1 more

1 month ago

Publisher
source

Universidad Autónoma de Madrid

Country flag

Spain

This PhD position is based in the Machine Learning Group in the Computer Science Department at Universidad Autónoma de Madrid . The project focuses on research in machine learning, data analysis and modeling, together with the development of software prototypes and applications. The successful candidate will work within the scope of project PID2025-167768NB-I00 , which aims to advance human-aware machine learning and efficient machine learning , along with related applications. The role combines...

Computer Science
Information Technology
Mathematics
+4 more

Posted Yesterday

Publisher
source

Inria Centre de Recherche Rennes Bretagne Atlantique

Country flag

France

Inria is recruiting a postdoctoral researcher for a 12-month fixed-term position at the Inria Centre at the University of Rennes in Rennes, France . The project sits in security and confidentiality / systems and networks and focuses on AI-based transfer of attacks between datasets . The research idea is to adapt style transfer concepts from image and text generation to network attack datasets. The goal is to preserve the attack behavior and impact while changing environment-specific characterist...

Computer Science
Electrical Engineering
Information Technology
+4 more

1 month ago

Publisher
source

Universitat Ramon Llull

Country flag

Spain

Predoctoral Research Fellowship (FPI) in Physical Acoustics – CharPAL at Universitat Ramon Llull (La Salle Digital Engineering School, Barcelona, Spain). This PhD opportunity is part of the CharPAL project, Experimental and theoretical characterization of flat and curved parametric acoustic loudspeakers for acoustic engineering problems , funded by the Spanish State Plan for Scientific and Technological Research and Innovation 2024–2027. The position is linked to grant PID2025-175028NB-I00 and i...

Computer Science
Mathematics

2 weeks ago

Publisher
source

University of Basel

Country flag

Switzerland

The Rhine AI research group, led by Prof. I. Bogunovic in the Department of Mathematics and Computer Science at the University of Basel , is offering a PhD opportunity in the post-training of diffusion-based large language models (dLLMs). The SNSF-funded project, “Foundations of Post-Training for Reasoning in Diffusion Large Language Models,” investigates how post-training can improve the reasoning capabilities of dLLMs. These models represent an emerging alternative to standard autoregressive l...

Computer Science
Mathematics
Artificial Intelligence
+6 more

1 week ago

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.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.