[TYPES/announce] Postdoctoral position in Security of Cyber-Physical Systems

[Massimo Merro]

I apologize if you receive multiple copies of this mail.
Please distribute to anyone who may be interested.
=======================================================================

Foundations on Security of Cyber-Physical Systems - University of Verona
             One postdoctoral Research Fellowship


Applications are invited for ONE post-doctoral position to undertake 
research into Foundations on Security of Cyber-physical systems. 
The position is within the the Department of Computer Science at University of Verona, Italy, 
under the direction of Dr. Massimo Merro. 

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

- Semantics
- Concurrency theory
- Information security
- Embedded system security
- Security of Cyber-Physical Systems
- Model checking (in particular, knowledge of UPPAAL, Maude and/or Ariadne)
- verification techniques
The position is tenable from October 2016 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 <http://lists.seas.upenn.edu/mailman/listinfo/types-announce>
tel: +39 045 802 7992

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160825/7f77001d/attachment.html>