The University of Lleida invites applications for a fully funded PhD position in the Logic & Optimization group, under Dr. Carlos Ansótegui.
The successful candidate will research at the intersection of SAT, MaxSAT, proof complexity, and large language models. This three-year MSCA-funded project aims to transform natural-language problem descriptions into formal MaxSAT models, explore core sequences in core-guided MaxSAT, and apply results to interpretable machine learning problems.
📌 PhD: LLM-Guided SAT/MaxSAT Core Algorithms (España)
🏢 University of Lleida
📍 España
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.