Postdoc positions in SAT/SMT-based Verification available in Trento

---------------------------------------------------------------------------
    [[[ We apologize if you receive multiple copies of this message ]]]
---------------------------------------------------------------------------

--------------------------------------------------------------
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.
--------------------------------------------------------------

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.

The research activity will be carried out jointly within the Embedded
Systems (ES) Research Unit of the Center for Scientific and
Technological Research of the Fondazione Bruno Kessler (FBK), Trento,
and the Software Engineering, Formal Methods & Security  Research
Program, at Department of Information Engineering and Computer Science
(DISI) of University of Trento.

Aim and Scope
=============

The research activity will aim at investigating and developing novel
techniques, methodologies and support tools for Satisfiability Modulo
Theories (SMT) for the formal verification of systems.  This work will
be part of the "Advanced SMT Techniques for Word-level Formal