[ecoop-info] Post-doctoral positions in Formal Methods, University of Torino

[Ferruccio Damiani]

Two post-doctoral positions are available at the
Department of Computer Science of the University of Torino.

1) Topic: Formal methods for software modeling, verification and reuse
    Duration: 17 months
    Starting date: January 1, 2016

2) Topic: Formal methods for the Internet of Things
    Duration: 12 months
    Starting date: January 1, 2016

Both the positions will participate in the research group for System 
Modelling, Verification and Reuse (http://di.unito.it/movere). The ideal 
candidates would have a background in formal methods and/or software 
product-line engineering.

Contact for inquiries or applications (preferably NO LATER THAN *October 
5*):
- Prof. Ferruccio Damiani (damiani at di.unito.it)

Please forward this email to possible applicants.

-- 
Prof. Dr. Ferruccio Damiani
Università degli Studi di Torino |Phone: (+39) 011 670 6719
Dipartimento di Informatica      |Fax  : (+39) 011 75 16 03
C.so Svizzera 185                |Email: damiani at di.unito.it
I-10149 Torino, Italy            |URL  : http://www.di.unito.it/~damiani