A fully-funded, four-year PhD position is available at the Logic and Artificial Intelligence group (https://imae.udg.edu/recerca/lai/) in the University of Girona.

The position is linked to the project "Reasoning and learning" (PID2021-122274OB-I00), funded by the Spanish Ministry of Science and Innovation (https://www.aei.gob.es/en/announcements/announcements-finder/proyectos-generacion-conocimiento-2021).

The project aims at adapting SAT and SMT technology to planning and scheduling problems.

We seek motivated candidates with a strong background in computer science, with excellent programming skills and some previous knowledge and experience in solving combinatorial optimisation problems.

The application dates are from January 12th to January 26th. Please see https://www.aei.gob.es/en/announcements/announcements-finder/ayudas-contratos-predoctorales-formacion-doctoresas-2022 for more information and instructions on how to apply.

Informal enquiries are welcome and may be sent to miquel.bofill@udg.edu