A 3-year researcher position on Optimization Modulo Theories is available in Trento.

A PhD and expertise in SMT, SAT, CP or MILP is needed.

The position has to be fulfilled urgently.

Please contact Roberto Sebastiani (roberto.sebastiani@unitn.it) for details about the position.