This is a call for expressions of interest for a fully-funded 3-4 year PHD position at the IECS PhD School at DISI, University of Trento, Italy in Automated Reasoning, under the guidance of Prof. Roberto Sebastiani, on the topic:

"Knowledge Compilation Modulo Theories and Applications"

Potentially interested candidates should URGENTLY contact prof. Sebastiani by sending an email to roberto.sebastiani@unitn.it, with header: ‘PhD on Knowledge Compilation Modulo Theories’, with possibly a CV in attachment.

If the candidate profile is of potential interest, then an online meeting will be soon arranged.