Education Professors and Supervisors in Spain

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 syn...

This PhD opening at the Autonomous University of Madrid is centered on singularity theory at the intersection of topology and complex algebraic geometry . The project invites a doctoral researcher to work on mathematical questions related to the geometry and topology of complex varieties, with a particular emphasis on singular phenomena and their structure. The advertised research themes include applications of Hodge theory to singularities and the topological properties of smooth quasiprojectiv...

This PhD project is part of the Collaborative Doctoral Partnership between the Universidad de Sevilla and the European Commission’s Joint Research Centre . The doctoral candidate will work at the intersection of artificial intelligence, simulation, sustainable transport, energy systems and policy support for decarbonisation. At the Universidad de Sevilla, the student will join the Robotics and Computer Technology Laboratory (RTC) within the Architecture and Computer Technology (ATC) Department ....