[TYPES/announce] Postdoctoral Fellowship in Security of Cyber-Physical Systems
Massimo Merro
massimo.merro at univr.it
Wed Jun 1 08:33:45 EDT 2016
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 the
University of Verona, Italy, under the direction of 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
- Automotive security
- Model checking (in particular, Maude)
- verification techniques.
The position is tenable from September 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/20160601/1193ebfa/attachment-0001.html>
More information about the Types-announce
mailing list