02 nov
|
University of Lleida
|
España
02 nov
University of Lleida
España
The University of Lleida invites applications for a fully funded PhD position in the Logic & Optimization group, under Dr.
Los candidatos deben tomarse el tiempo de leer atentamente todos los elementos de este anuncio de empleo. Por favor, envíen su solicitud sin demora.
Carlos Ansótegui.
The successful candidate will research at the intersection of SAT, MaxSAT, proof complexity, and large language models. xqbhyrx
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 (España)
🏢 University of Lleida
📍 España