Quantum Annealing for SAT Solving

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
http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.txt
https://ict.unitn.it/education/admission/reserved-topic-scholarships#C2