[TYPES/announce] Postdoctoral position in Security Static Analysis for IoT languages and their applications

[Massimo Merro]

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

Security Static Analysis for IoT languages and their applications - University of Verona, Italy.
One postdoctoral Research Fellowship for 2 Years.


Applications are invited for ONE post-doctoral position for 2 Years to undertake 
research into Security Static Analysis for IoT languages, and in particular Android Things.
The position is within the Department of Computer Science at University of Verona, Italy, 
under the direction of prof. Massimo Merro, and it is part of a joint project with Julia 
SRL (www.juliasoft.com <http://www.juliasoft.com/>), a company specialized on static analysis of Java, Android and 
.NET programs, where Pietro Ferrara leads the research activity.

Applicants should have a PhD in Computer Science, or a closely related
discipline. Candidates with expertise in following areas are
particularly welcomed:
- Static Analysis and its Industrial Applications
- Abstract Interpretation
- Security of IoT
- Information security
- Embedded system security

The position is tenable from January 2018 at a salary commensurate with
the successful candidates' qualifications and experience. Appointments
will be made for a 24 month period. Further particulars of the posts may be 
obtained from the address below, and informal enquiries are also welcomed.

Applications   should include
  - detailed curriculum vitae with the complete list of publications, in pdf format
  - two recommendation letters
  - a statement outlining  the applicant's suitability to the project.

Applications should be sent to Dr. Massimo Merro (massimo.merro at univr.it <mailto:massimo.merro at univr.it>) and Dr. Pietro 
Ferrara (pietro.ferrara at juliasoft.com <mailto:pietro.ferrara at juliasoft.com>).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171009/2634cf0f/attachment.html>