One post-doc position in ICT on the research project

"Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"

is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento.

This is a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in collaboration with major HW companies.

The details of the call are available at http://disi.unitn.it/~rseba/WOLF-Recruit-postdoc.txt