One PhD position in ICT on the research project “Quantum Annealing for SAT Solving (QUASI)” is available at the International Doctorate School in Information and Communication Technologies at The Department of Computer Science and Engineering (DISI) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani. The research activity is sponsored by and is in direct collaboration with D-Wave Systems Inc.. Ph.D. courses will start in Autumn 2018, and the thesis must be completed in three-four years. The selected student should be available for an internship (e.g. 3-month) at D-Wave, in Vancouver (CA). People enrolled in Ph.D. courses are expected to move to Trento, and will receive monetary support during the phases of their activity.