One PhD position in ICT on the research project ”Advancing Optimization Modulo Theories” is available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy, under the supervision of prof. Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out within the Software Engineering & Formal Methods Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento.