PhD position in ICT available in Trento (Italy) on "Quantum Annealing for SAT Solving" under the supervision of prof. Roberto Sebastiani (DISI, University of Trento) in collaboration with D-Wave Systems Inc. (http://www.dwavesys.com) sponsored by Q@TN Project (https://www.quantumtrento.eu) !! Deadline: June 15 th , 2020 !!http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.pdf