security; information flow; formal verification
The successful candidate will contribute to the consolidation of the scientific area related to the Software Quality track of the IMT School's PhD programme in Systems Science, contributing to the expansion of both internal collaborations, by means of multidisciplinary research, and external ones by participating in the School's research projects and promoting new collaborations with international research groups. He/she is expected to contribute to the supervision and training of the School's of doctoral students.
The candidate is expected to carry out research and teaching activities related to computer science, in particular concerning security engineering and analysis of computing systems based on formal methods. The successful candidate must demonstrate previous experience with relevant topics in security engineering and formal methods such as software security, system security, information flow, access control, and formal verification.
PhD in a field related to the present call obtained in Italy or abroad. Curriculum with a suitable scientific background for carrying out research activity in the required field.
Ricercatore tempo determinato (legge 240/2010 art. 24 comma 3 lettera a))
Selection procedure and criteria
Selection procedure conditions are transparent and are based on international standards.
A Selection Committee, appointed by the Director, assesses all applications on the basis of the online application form and - if provided - reference letters. Applicants selected on the basis of the preliminary analysis are interviewed at the Job Market Meetings in which the Institute is planning to participate, if applicable to the specific academic sector. Alternatively, individual preliminary interviews may also be conducted at IMT or by conference call. Travel expenses to Lucca for the preliminary interview will not be reimbursed. Shortlisted candidates are invited for a Job Market Presentation open to IMT faculty members and students. Travel expenses for the Job Market Presentation will be reimbursed.
The evaluation criteria are based on: Quality of research activity, including publications in peer-reviewed journals and references; Research organization experience and participation in international/national research projects and research periods in public and private institutions (academic and non-academic); Relevance of the candidate's profile for the development of IMT's research activities; Teaching, mentoring and supervision experience; Motivation; Excellent knowledge of English, both written and spoken; As well as any other requirements as specified in the advertisement.
Before filling in the application form, please read thoroughly the full call and collect all the files you may need:
- Personal info and contact info (compulsory)
- Number of your Identity Document (Passport or Identity Card - compulsory)
- University degree (compulsory) and Ph.D. (obtained, or "ongoing")
- Name, position, institution and email address of three referees (compulsory)
An email, with the instructions on how to upload the reference letters will be automatically sent to your referees.
- The scanned copy of a valid identity document (Passport or Identity Card - compulsory)
- Your CV in English (compulsory);
- One research paper, either a published paper or a working paper (compulsory).
Shortlisted candidates will be asked to present this research paper during the final stage of the selection process.
Additional papers can be submitted for evaluation if desired (to be attached to your application in a single zip file where indicated in the online form). Please check the full call for further information about additional papers.