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

Ferruccio Damiani damiani at di.unito.it
Mon Sep 14 11:28:19 CEST 2015

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 
- 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

More information about the ecoop-info mailing list