Postdoc in "Security Static Analysis for IoT languages and their applications"

by Ferrara Pietro, Oct. 4, 2017

Security Static Analysis for IoT languages and their applications
University of Verona
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 (, 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 prof. Massimo Merro ( and Pietro Ferrara (