25 oct
|
University of Lleida
|
Málaga
25 oct
University of Lleida
Málaga
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.
#J-*-Ljbffr
📌 Phd: Llm-Guided Sat/Maxsat Core Algorithms (Málaga)
🏢 University of Lleida
📍 Málaga