3年优化模块研究员职位Trento提供了理论。 需要SMT、SAT、CP或MILP的博士学位和专业知识。 必须紧急履行这一职责。 请联系Roberto Sebastiani(roberto.sebastiani@unitn.it)有关该职位的详细信息。