From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id F12225D4 for ; Fri, 20 Jul 2018 13:37:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,379,1526335200"; d="scan'208";a="339689729" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jul 2018 15:37:18 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7EF9B824B5; Fri, 20 Jul 2018 15:37:18 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 486B781792 for ; Fri, 20 Jul 2018 15:33:08 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=roberto.sebastiani@unitn.it; spf=Pass smtp.mailfrom=roberto.sebastiani@unitn.it; spf=None smtp.helo=postmaster@mail-wm0-f67.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AjLtlchRgApKzeiR0S/0i8CMBTNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYBGN2/xhgRfzUJnB7Loc0qyK6/6mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbJ/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mLZhMNsg6xUrw+vqRxhzYPPfIGYNuBzcr/Bcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF/ABPeFDoIbjvVsOsRy+CRO3BOzx0TBHnGT23bE70+s7FwHG3RctH88IsH?= =?us-ascii?q?TVsNX1Mr0eUeGpzKTO0D7NYfRW2TLn54jJdBAsue2MXahufsrX1UkvFgXFjlKK?= =?us-ascii?q?pYz5ODOZzvgNs2me7+V+TuKvi28nqw5xojex3McjlJTGhp8JxV/e6SV5wYE1Jd?= =?us-ascii?q?uiREFnZt6kFYNctzycN4t3XsMiRXtkuCcmyrEepJG6cjIFyIo5yB7Ea/2HaJKE?= =?us-ascii?q?7Q7kVOaUJzpzmXFreKqnihuw/kWs0PDwWte03VpQrSdJjMPAu3EP2hDL98SKTv?= =?us-ascii?q?Vw8l2/1TqT1w3f8P9ILV0omabBKZMszbg9nYcJv0vZBC/5gkD2gbeWdko6/uio?= =?us-ascii?q?7PzqYrD8qZ+dM494kw//MqEylsCmD+Q1MwoDU3KU+eS7073j8kn5T6tQgvIqla?= =?us-ascii?q?nZtYjWJcUdpqGnHw9YyoQu5hmlAzu7ztgVnWMLIVFbdB6djoXkOUnCIPXiAve+?= =?us-ascii?q?h1Ssni1rx/fDPrD5GJXNKWPMn6n7fbZh7E5Q0hEzws5E6J1OEbEBPPPzVVX3tN?= =?us-ascii?q?zZFRI5Lgq0w+f7CNV7zI8eWH6PDreDMKzOqV+I+v4vI+6UaYAJojn9Lvwl6+fq?= =?us-ascii?q?jX84gl8dYbKk3YAXaXC9BvRpOV+VYXvqgtcbEGcFpBAyTOLwiA7KbTkGbH+3W+?= =?us-ascii?q?c45yonIIOgF4bKAI63xO+vxiC+S4dRbG1cFlfKCnrifp6YWv4KaQqPJM59lHoF?= =?us-ascii?q?SevyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFjkmg2?= =?us-ascii?q?UJWzlw3bwt+BUhmGfG6rBxhrljLfIW/+lAC19oKJjd0+o8CsygAlucLOfMc06v?= =?us-ascii?q?R5CdOR90Tt81xIVTMUN0GtHnkRWbmiT0XPkakLuEAJFy+aXZjSD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B5CABc41Fbf0NSfUpcHgEjB4MHgREDg?= =?us-ascii?q?SSDfpQzgwGMK4gwgWYLJ4FQgnWDDhkHAQQ0FAECAQECAQEBAQETAQEJCwsIGww?= =?us-ascii?q?lDII1IoJkJR0BAScBEDQCIwMCNgEFAQsBKRUBgwuBfwQLnms8ihtugS6CcwEBB?= =?us-ascii?q?YUPgj4ICQEIeYU3gkCCFoERghMSNwUCgisBgRALAwEYgQoJARIBOIJoLYIoh2y?= =?us-ascii?q?FLy6MJQcChhGCZYd/Q4NPgjoPhVKGHnqDKoEohhACBAIEBQIFDyGBN4ECcYQpC?= =?us-ascii?q?YV4gm6EZ4MdTwGLCYI6AQE?= X-IPAS-Result: =?us-ascii?q?A0B5CABc41Fbf0NSfUpcHgEjB4MHgREDgSSDfpQzgwGMK4g?= =?us-ascii?q?wgWYLJ4FQgnWDDhkHAQQ0FAECAQECAQEBAQETAQEJCwsIGwwlDII1IoJkJR0BA?= =?us-ascii?q?ScBEDQCIwMCNgEFAQsBKRUBgwuBfwQLnms8ihtugS6CcwEBBYUPgj4ICQEIeYU?= =?us-ascii?q?3gkCCFoERghMSNwUCgisBgRALAwEYgQoJARIBOIJoLYIoh2yFLy6MJQcChhGCZ?= =?us-ascii?q?Yd/Q4NPgjoPhVKGHnqDKoEohhACBAIEBQIFDyGBN4ECcYQpCYV4gm6EZ4MdTwG?= =?us-ascii?q?LCYI6AQE?= X-IronPort-AV: E=Sophos;i="5.51,379,1526335200"; d="scan'208";a="273612372" Received: from mail-wm0-f67.google.com ([74.125.82.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Jul 2018 15:33:07 +0200 Received: by mail-wm0-f67.google.com with SMTP id v25-v6so9554128wmc.0 for ; Fri, 20 Jul 2018 06:33:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unitn.it; s=google; h=message-id:date:content-transfer-encoding:mime-version:subject:from :to; bh=7WoFUE4POwkYvtqgjAdDtgSAtTOWl+yTl8fvtKdIJFA=; b=CKiszEf3LOFqcHKzFDLrcrN4SlYLd68IS503CZt4TXdcB+ZhRsn+jksHtTmO4EO3mY HBnM005QM4HkOyjl+OuCPXts80qeLMtBTDFr51tj8UonhJJLiX8G5wgrt7fTjiqUehsh Su9pLB/m/D2fG1ae8eRs627Fqop8mT55/nfos= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:date:content-transfer-encoding :mime-version:subject:from:to; bh=7WoFUE4POwkYvtqgjAdDtgSAtTOWl+yTl8fvtKdIJFA=; b=naV3xYf5tDKWnl5+oRKMulBZbEgeuEStwXj4CZz8WBhWgXA4wEJQ+b7aDDhuziUvCr iwxYaiA3lJycEPuV3a6WcqzrE8TLaxExcBBhiEaZT54kcCuIq9HdfSJEDTP60I097gNv +iI9L9CRPWSqe5XhffjTwx1bjHI8Ep/Q5jbNNF1bbKKO7v5i0ZLSQY6pHB0VtL6x+Tjh XaFFzPYoVsCrmvNzdaNEPJtTtNsBh5ii/uON2oc9KARNg7TpKYBNa85dtJssktSj8fQ9 fkJfqc1UTjm9GxmkTWPMutbjMv78RQeugZ4XzADbpswCa3CQW+dr2QSgLzXpQy/6tP7E 4IuA== X-Gm-Message-State: AOUpUlGVC3BA1QZl9EtUjAxpmlDSfApqHaGey7QBwrVWmioEgcTbSH5Y bhpZ5+4FoAz3OpDdk/AcySEcEeSGu+I3RQ== X-Google-Smtp-Source: AAOMgpex5tQioUO6c+HiMQfRZIPPmrpRD1mJyAXeKAQ7PmAG27OUY9dPIfD+HLzG7MagN5IbX9rm9w== X-Received: by 2002:a1c:1c92:: with SMTP id c140-v6mr1448463wmc.155.1532093585273; Fri, 20 Jul 2018 06:33:05 -0700 (PDT) Received: from [127.0.1.1] (nat-polocollina-wired.net.icts.unitn.it. [193.205.210.74]) by smtp.gmail.com with ESMTPSA id a145-v6sm1983109wmd.39.2018.07.20.06.33.02 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 20 Jul 2018 06:33:04 -0700 (PDT) Message-ID: <5b51e490.1c69fb81.739fd.bf44@mx.google.com> Date: Fri, 20 Jul 2018 06:33:04 -0700 (PDT) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit MIME-Version: 1.0 From: roberto.sebastiani@unitn.it To: caml-list@inria.fr, X-Validation-by: roberto.sebastiani@unitn.it Subject: [Caml-list] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" Reply-To: roberto.sebastiani@unitn.it X-Loop: caml-list@inria.fr X-Sequence: 17004 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: -------------------------------------------------------------- [ We apologize if you receive multiple copies of this message] PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Posted: July 4th 2018 One PhD Student Position in Information and Communication Technologies on the research project "Quantum Annealing for SAT Solving (QUASI)" is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani, DISI, University of Trento, sponsored by and in direct collaboration with D-Wave Systems Inc. (http://www.dwavesys.com). The goal of the QuaSI project is to investigate the usage of D-Wave's quantum annealers (QAs) to solve hard propositional satisfiability (SAT) problems --and related NP-Hard problems-- by exploiting quantum effects to cope with the inherent complexity of the problem. The proposed research is to develop effective and efficient encoding procedures from SAT to problems which fit into, and can be solved by, D-Wave's QAs. These procedures will be presumably based on Satisfiability Modulo theories, automated-reasoning and graph-manipulation techniques. The ultimate goal is to solve problems (e.g., from cryptanalysis) which are currently out of the reach of state-of-the-art SAT solvers). 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. CANDIDATE PROFILE 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. NO BACKGROUND KNOWLEDGE IN QUANTUM PHYSICS IS REQUIRED. Background knowledge and/or previous experience is requested in at least one the following areas (in order of preference): - Satisfiability Modulo Theories (SMT) - Propositional Satisfiability (SAT) - Automated reasoning and Computational Logic - Constraint Solving and Optimization - Operational Research The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. The position is subject to the acceptance of the assignment of the ownership of intellectual property to D-Wave Inc. of the research results. APPLICATIONS AND INQUIRIES Interested candidates should inquire for further information and/or apply by sending email to roberto.sebastiani@unitn.it, indicating "PHD on Quasi Project" in the subject. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have as subject the sentence: 'PHD ON QUASI PROJECT' (Emails not complying with the above format have high chances to be ignored.) Eventually they must apply to the international call of the ICT school of DISI (http://ict.unitn.it), which is expected to appear by the end of July 2018 (application deadline: end of August 2018). PROPONENT AND CONTACT PERSON Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy mailto: roberto[dot]sebastiani[at]unitn[dot]it url: http://disi.unitn.it/rseba/ CV: http://disi.unitn.it/rseba/inglcurr.pdf ABOUT DISI AND UNIVERSITY OF TRENTO University of Trento (http://www.unitn.it/en) has been recognized as the best university in Italy and #36 in Europe by Europe Teaching Rankings 2018 of Times Higher Education (https://www.timeshighereducation.com/rankings/europe-teaching/2018#!/page/0/length/50/sort_by/rank/sort_order/asc/cols/undefined). DISI (http://disi.unitn.it) 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. ABOUT D-WAVE INC. D-Wave (www.dwavesys.com) 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. LOCATION 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 http://www.trentino.to/home/index.html?_lang=en. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs