<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">One PhD Student Position in Information and Communication Technologies on the research project:</div>
<div class=""><br class="">
</div>
<div class="">"Making Quantum Annealing Useful for Real: Compiling Effectively and Efficiently Very-Hard Combinatorial Problems into Ising Problems"</div>
<div class=""><br class="">
</div>
<div class="">is available at International Doctorate School in Information and Communication Technologies (<a href="http://www.ict.unitn.it/" class="">http://www.ict.unitn.it/</a>) of the University of Trento, ITALY.</div>
<div class=""><br class="">
</div>
<div class="">PROPONENT/SUPERVISOR: Prof. Roberto Sebastiani</div>
<div class="">(<a href="mailto:roberto.sebastiani@unitn.it" class="">email: roberto.sebastiani@unitn.it</a>, url:
<a href="http://disi.unitn.it/rseba" class="">http://disi.unitn.it/rseba</a>)</div>
<div class="">in collaboration with: D-Wave Systems Inc., Burnaby (CA) (<a href="http://dwavesys.com" class="">http://dwavesys.com</a>).</div>
<div class=""><br class="">
</div>
<div class="">URL: <a href="https://ict.unitn.it/education/admission/reserved-topic-scholarships#C2" class="">
https://ict.unitn.it/education/admission/reserved-topic-scholarships#C2</a></div>
<div class=""><br class="">
</div>
<div class="">SPONSORED BY: "Q@TN Project" (<a href="https://www.quantumtrento.eu/" class="">https://www.quantumtrento.eu/</a>)</div>
<div class=""><br class="">
</div>
<div class="">APPLICATION DEADLINE: JUNE 15th 2020 (!!)</div>
<div class=""><br class="">
</div>
<div class="">DURATION & SUPPORT: Ph.D. program will start in late Autumn 2020, 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.</div>
<div class=""><br class="">
</div>
<div class="">RESEARCH DESCRIPTION</div>
<div class=""><br class="">
</div>
<div class="">We plan to investigate the usage of quantum annealers (QAs) "for real", that is, to actually solve very-hard though relatively-small SAT/MaxSAT problems (and eventually SAT/MaxSAT-encoded Constraint-Satisfiability/Optimization problems). The idea
is to develop encodings from SAT/MaxSAT to Ising-minimization problems which fit into, and can be solved by, D-Wave's Pegasus QAs (or other QAs, when/if available). These encodings must be performed both effectively (i.e., in a way that uses only the limited
number of qubits and connections available within the QA topology, while optimizing the performance of the QA algorithm), and efficiently (i.e., using a limited computational budget for computing the encoding).</div>
<div class=""><br class="">
</div>
<div class="">This work is intended as a follow up of ongoing activity in collaboration with D-Wave Systems Inc. The PhD candidate initially will extend the approach we have begun with D-Wave's Chimera topology. The main encoding scheme consists of a combination
of offline and on-the-fly processes, the former performed by means of automated reasoning procedures (SMT, OMT), the latter by means of place-and-route or graph-embedding procedures.</div>
<div class=""><br class="">
</div>
<div class="">The encoded problems will be tested on D-Wave's new Pegasus quantum annealers. The ultimate goal is to solve by QAs problems which are very challenging or even out of the reach of current SAT/MaxSAT tools. We envisage an internship at D-Wave.</div>
<div class=""><br class="">
</div>
<div class="">CANDIDATE PROFILE</div>
<div class=""><br class="">
</div>
<div class="">The ideal candidate should have an MS or equivalent degree in computer science or engineering, mathematics or electronic engineering, and combine solid theoretical background (algorithms, logic) and excellent software development skills. </div>
<div class="">NO BACKGROUND KNOWLEDGE IN QUANTUM PHYSICS IS REQUIRED.</div>
<div class="">Background knowledge and/or previous experience is requested in at least one the following areas (in order of preference):</div>
<div class="">- Satisfiability Modulo Theories (SMT)</div>
<div class="">- Propositional Satisfiability (SAT)</div>
<div class="">- Automated reasoning and Computational Logic</div>
<div class="">- Constraint Solving and Optimization</div>
<div class="">- Graph manipulation Algorithms</div>
<div class="">- Operational Research</div>
<div class=""><br class="">
</div>
<div class="">The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. </div>
<div class=""><br class="">
</div>
<div class="">APPLICATIONS AND INQUIRIES</div>
<div class=""><br class="">
</div>
<div class="">Interested candidates should both:</div>
<div class=""><br class="">
</div>
<div class="">1) inquire for further information and/or apply by sending email to
<a href="mailto:roberto.sebastiani@unitn.it" class="">roberto.sebastiani@unitn.it</a>, indicating "PHD on Q@TN Project" in the subject. Applications should contain a statement of interest, with a Curriculum Vitae, and possibly names & addresses of up to three
reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have as subject the sentence: 'PHD ON Q@TN PROJECT'. (Emails not complying with the above format have high chances to be ignored.)</div>
<div class=""><br class="">
</div>
<div class="">2) apply to the international call of the ICT school of DISI (<a href="http://ict.unitn.it" class="">http://ict.unitn.it</a>) indicating explicitly your choice for grant C2. Application Deadline: June 15th 2020.</div>
<div class=""><br class="">
</div>
<div class="">PROPONENT AND CONTACT PERSON</div>
<div class=""><br class="">
</div>
<div class="">Prof. ROBERTO SEBASTIANI </div>
<div class=""> Software Engineering & Formal Methods Research Program</div>
<div class=""> DISI, University of Trento, </div>
<div class=""> via Sommarive 14, I-38100 Povo, Trento, Italy</div>
<div class=""> mailto: <a href="mailto:roberto.sebastiani@unitn.it" class="">roberto.sebastiani@unitn.it</a></div>
<div class=""> url: <a href="http://disi.unitn.it/rseba/" class="">http://disi.unitn.it/rseba/</a></div>
<div class=""> CV: <a href="http://disi.unitn.it/rseba/inglcurr.pdf" class="">http://disi.unitn.it/rseba/inglcurr.pdf</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">ABOUT DISI AND UNIVERSITY OF TRENTO</div>
<div class=""><br class="">
</div>
<div class="">University of Trento (<a href="http://www.unitn.it/en" class="">http://www.unitn.it/en</a>) has been recognized as the best university in Italy and #36 in Europe by Europe Teaching Rankings 2018 of Times Higher Education (<a href="https://www.timeshighereducation.com/rankings/europe-teaching/2018#!/page/0/length/50/sort_by/rank/sort_order/asc/cols/undefined" class="">https://www.timeshighereducation.com/rankings/europe-teaching/2018#!/page/0/length/50/sort_by/rank/sort_order/asc/cols/undefined</a>).
DISI (<a href="http://disi.unitn.it" class="">http://disi.unitn.it</a>) has been recognized among the top three ICT University Department in Italy. DISI currently consists of ~40 faculties, ~70 research staff and support people, ~20 postdocs and ~140 Doctoral
students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications.</div>
<div class=""><br class="">
</div>
<div class="">ABOUT D-WAVE INC.</div>
<div class=""><br class="">
</div>
<div class="">D-Wave (<a href="http://www.dwavesys.com" class="">www.dwavesys.com</a>) is the world's only commercial supplier of quantum computers. D-Wave's systems are being used by some of the world's most advanced organizations and D-Wave is the leader
in the development and delivery of quantum and hybrid quantum-classical computing systems and software. D-Wave's technology is focused on annealing-based quantum computing.</div>
<div class=""><br class="">
</div>
<div class="">LOCATION</div>
<div class=""><br class="">
</div>
<div class="">Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento
enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at
<a href="http://www.trentino.to/home/index.html?_lang=en" class="">http://www.trentino.to/home/index.html?_lang=en</a>.</div>
<div class=""><br class="">
</div>
<div class="">DEALING WITH COVID-19 EMERGENCY</div>
<div class=""><br class="">
</div>
<div class="">You may be wondering whether your application to the PhD programme will be affected by the COVID-19 emergency. The ICT School, DISI and University of Trento is in constant contact with the competent authorities to monitor the development of the
COVID-19 emergency to provide the adequate preventive actions for the university community. It is possible that by November 2020, when the PhD programme starts, some restrictive measures may be in place: the university will support new students to go through
the initial process as smoothly as possible.</div>
<div class=""><br class="">
</div>
</body>
</html>