[TYPES/announce] Postdoctoral Fellowship in Formal Methods for Wireless Systems

[Massimo Merro]

Formal Methods for Wireless Systems - University of Verona
             One postdoctoral Research Fellowship


Applications are invited for ONE post-doctoral position to undertake 
research into Foundations of Wireless Systems. The position is within the 
SPY Lab  of the Department of Computer Science at University of Verona, Italy, 
under the direction of Massimo Merro, which seeks to establish a firm 
mathematical and logical basis for the next generation of wireless networks 
(ad hoc networks, sensor networks, vehicular ad hoc networks, etc).

Applicants should have a PhD in Computer Science, or a closely related
discipline. Candidates with expertise in following areas are
particularly welcome:

- operational semantics
- concurrency theory
- model checking
- verification techniques
- type theory
- program logics


The post is tenable from January 2011 at a salary commensurate with
the successful candidates' qualifications and experience. Appointments
will be made initially for a 12 month period, although there will be
scope for a 12 month extension. Further particulars of the posts may be 
obtained from the address below, and informal enquiries are also welcomed.

Applications   should include
  - detailed curriculum vitae, in pdf format
  - copies of relevant publications, or url-pointers to them
  - the names of two referees
  - a statement outlining  the applicant's suitability to the project.

Applications should be sent to:

Massimo Merro
Dipartimento di Informatica
Ca' Vignal 2
Universita' degli Studi di Verona
37134 Verona
Italy
email: massimo.merro at univr.it
tel: +39 045 802 7992