23 oct
|
University of Lleida
|
Lérida
23 oct
University of Lleida
Lérida
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-18808-Ljbffr
📌 PhD: LLM-Guided SAT/MaxSAT Core Algorithms (Lérida)
🏢 University of Lleida
📍 Lérida