---------------------------------------------------------------------------
[[[ 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
------------------------------------------------------------------------------
CenturyLink Cloud: The Leader in Enterprise Cloud Services.
Learn Why More Businesses Are Choosing CenturyLink Cloud For
Critical Workloads, Development Environments & Everything In Between.
Get a Quote or Start a Free Trial Today.
http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
