[FM-India] Postdoc positions in SAT/SMT-based Verification available in Trento

[Madhavan Mukund]

 From: Roberto Sebastiani <rseba at disi.unitn.it>
 To: fmindia at cmi.ac.in
 Date: Fri, 17 Jan 2014 20:13:22 +0100
 Subject: 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.
 
 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