Logic List Mailing Archive

Associate Professorship in Formal Methods, Bologna (Italy), Deadline: 15 March 2008

The Department of Computer Science (http://www.cs.unibo.it) at the 
University of Bologna invites expressions of interest from qualified 
computer scientists to fill an opening at the associate-professor level. 
The position will have a start date of November 1st, 2008.

We are seeking candidates with a proven research record and a clear 
potential for leading and initiating new research activity preferably in 
(but not limited to) concurrency theory and formal methods.  The candidate
 
will be expected to also contribute to the Department's graduate and 
undergraduate teaching activities in computer science. Applicants must be
 
proficient in spoken Italian. They should already be in possession of an 
associate-professor or equivalent position, or of an Italian "idoneit".

Exceptional candidates holding a full-professor position abroad can be 
considered for an equivalent position at the University of Bologna.

At the conclusion of this enquiry, the University of Bologna will issue an
 
official vacancy declaration and carry out the procedures for filling a 
tenured position.

Expressions of interest, including a detailed CV and list of publications,
 
should be mailed for reception no later than 15 March, 2008 and addressed
 
to profposition@cs.unibo.it. Any enquiry can be directed to the same 
address.

Fabio Panzieri
(Head of Department)
------------------------------
Prof. Fabio Panzieri (PhD)
Universita' di Bologna, Dipartimento di Scienze dell'Informazione,
Mura Anteo Zamboni 7, I - 40127 BOLOGNA
Tel.: +39 051 2094508, Fax: +39 051 2094510
http://www.cs.unibo.it/~panzieri