W3C home > Mailing lists > Public > www-math@w3.org > January 2014

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

From: Roberto Sebastiani <rseba@disi.unitn.it>
Date: Fri, 17 Jan 2014 22:17:39 +0100
To: www-math@w3.org
Message-ID: <20140117211739.GA31764@disi.unitn.it>
---------------------------------------------------------------------------
    [[[ 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.

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
Received on Friday, 17 January 2014 21:18:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:46 UTC